We
haven't generated PLC code from Petri Nets,
but we
have generated code Rockwell PLCs
using
a formal transformational process and
formal
descriiptions of input and output languages.
The
output langauge was actually two targets,
both
PLC/5 and ControlLogix. The input language
was a
factory process that mapped states, sequences,
and
events into actions.
This
was all based on our DMS Software Reengineering
Toolkit, which can process some 35 langauges
and
carry out formal transformations on them.
See
the website for more details.
We're
pretty interested in HLPN translation work.
Ira D. Baxter, CEO
512-250-1018
www.semanticdesigns.com
www.semanticdesigns.com
-----Original Message-----
From: César J. Murillo [mailto:[EMAIL PROTECTED]
Sent: Wednesday, February 08, 2006 1:05 PM
To: [email protected]
Subject: (PN) HIGH LEVEL PETRI NETS, PLC-CODE AND VALIDATION MODEL TOOLS [bcc][faked-from]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.
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] ]]
