|
Dear List Members,
First of all I would like to thank all the list
members for the overwhelming number of
positive and precious response. I have started learning about the Petri Net
but I get confused about one thing, do we need to use temporal logic and
petri nets together for model checking. What is the relation between these two
methods. What academic knowledges are required to complete a PLC autogeneration
project. Looking forward to your positive response.
Thanking you.
Devinder Thapa
PhD Student
AJOU University,
South Korea.
Tel: 082-31-219-2429
|
---- [[ 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] ]]
