Dear Sirs,
We have generated PLC IEC61131 ST code from High-Level Petri Nets (Extended
Version of Coloured Petri Nets) models of an assembly cell.
The approach was implemented at the University of Erlangen-Nuernberg,
Germany, in 1997-98. We edited the HLPN-model, which was validated from
structural and behavioural point of views. Then, by means of a grammar, we
translated the HLPN-specification in IEC 61131 ST code.
Finally, we used Siemens S7-400 as hardware to control an assembly cell.
The PLC program was automatically generated from the formally validated
HLPN-model.
Information about the approach and also about the results can be found in:
Colombo, A. W.: ”Development and Implementation of Hierarchical Control
Structures of Flexible Production Systems Using High-Level Petri Nets”. In
”Manufacturing Automation Series”. Klaus Feldmann (Ed.) / PhD-Thesis. 216
pages, 86 figures, MeisenbachVerlag Bamberg. 1998.
- Feldmann, K; Colombo, A. W.; Schnur, C.; Stoeckel, T.: ”Specification,
Design and Implementation of Logic Controllers based on Coloured Petri Net
Models and the Standard IEC1131. Part I: Specification and Design”. IEEE
Trans. on Control Systems Technology, pp. 657-665, November 1999.
- Feldmann, K; Colombo, A. W.; Schnur, C.; Stoeckel, T.: ”Specification,
Design and Implementation of Logic Controllers based on Coloured Petri Net
Models and the Standard IEC1131. Part II: Design and Implementation”. IEEE
Trans. on Control Systems Technology, pp. 666-674, November 1999.
Greetings
Dr. Armando Walter Colombo
******************************************************************************
Dr.-Ing. Armando Walter Colombo
Schneider Electric GmbH
P&T / H&O HUB
Management Anticipation & Advanced Projects (France/Germany/EU)
Steinheimer Str. 117
63500 Seligenstadt
Germany
Phone: +49 6182 81-2269
Mobil-phone: +49 (0) 172 6596428
Fax: +49 6182 81-2157
Assistant: +49 6182 81-2667
E-Mail: [EMAIL PROTECTED]; [EMAIL PROTECTED]
******************************************************************************
----- Forwarded by Dr. Armando Colombo/Aut/Schneider on 09.02.2006 13:57
-----
"Ira Baxter"
<[EMAIL PROTECTED]> To: César J. Murillo
<[EMAIL PROTECTED]>,
Sent by:
<[email protected]>
[EMAIL PROTECTED] cc:
-hamburg.de Subject: RE: (PN)
HIGH LEVEL PETRI NETS, PLC-CODE AND VALIDATION MODEL TOOLS
08.02.2006 21:22
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
-----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.
________________________________________________________________________
This email has been scanned for SPAM content and Viruses by the MessageL
abs Email Security System.
________________________________________________________________________
----
[[ 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] ]]
----
[[ 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] ]]
