|
Dear All,
Can somebody suggest me some web where can I find a
simple example of petri net model checking written in C++.
Thanking you in advance.
Devinder Thapa
PhD student
Control & Automation System
AJOU University
South Korea
|
---- [[ 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] ]]
