Posted on behalf of Gianmaria De Tommasi ([email protected]) ----- Hi,
I got a problem and I was wondering if someone on the PN ML could help me. Fact #1 - A live and bounded PN system is strongly connected and it is covered by one T-invariant that can be obtained as the sum of all the minimal support T-invariants Fact #2 - If a live and bounded PN is not reversible, then it has an home state If I consider a live and bounded net system , and I call S the sequence that is enabled under the initial marking m0, and whose firing brings the net in the home state, I would like to prove that the corresponding firing count vector is covered by the T-invariant that covers the whole net. To be onest I'm not sure that the previous statement is true, but I'm not able to find a counterexample, that's why I'm trying to prove it. Any hints ? Thank you G. -- Gianmaria De Tommasi, PhD Dipartimento di Informatica e Sistemistica Universita' degli Studi di Napoli Federico II Via Claudio, 21 80125 Napoli (ITALY) Phone: (+39) 081 7683853 e-mail: [email protected] http://wpage.unina.it/detommas ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
