Dear Petri Netter,
At current stage of our research we need to implement invariants methods to
large P/T-nets (place/transition nets) to analyze the reachability property. We
can automatically generate P/T-nets for objects being considered. Given a
P/T-net, whether we can automatically generate related incidence matrix. If it
is so, then which software tool do you recommend to us?
Rza Bashirov
Eastern Mediterranean University
----
[[ 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] ]]
