Hello Everyone,
I would like to know if there is any existing literature on generating PLC-code from High level Petri net models. Also, I wanted to know if any tools are currently available for built automatically High level models for factory automation, formal verification and validation for such models prior PLC implementation.
Any help, suggestions, or references are greatly appreciated.
Regards,
César.
César.
Yahoo! Mail - Helps protect you from nasty viruses.
---- [[ 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] ]]
