Editing, Visualizing, and Implementing Signal Interpreted Petri Nets

In this paper we present a new tool for editing, visualizing, and implementing Signal Interpreted Petri Nets (SIPNs). SIPNs are used to formally specify control algorithms for Programmable Logic Controllers (PLCs). The presented tool allows to automatically transform a graphically edited SIPN into PLC code using the standardized PLC language Instruction List. The tool was implemented using DiaGen, an innovative workbench for generating graphics editors.

[1]  M. Minas,et al.  Application of graph transformation to visual languages , 1999 .

[2]  Lothar Litz,et al.  Transparency analysis of Petri net based logic controllers-a measure for software quality in automation , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[3]  Georg Frey.  Automatic implementation of Petri net based control algorithms on PLC , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[4]  Mark Minas,et al.  Creating Semantic Representations of Diagrams , 1999, AGTIVE.

[5]  Mark Minas,et al.  DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams , 1995, Proceedings of Symposium on Visual Languages.

[6]  Mark Minas,et al.  Generating Diagram Editors Providing Free-Hand Editing as well as Syntax-Directed Editing , 2000 .

[7]  Geoff Cutts,et al.  Using Petri Nets to Develop Programs for PLC Systems , 1992, Application and Theory of Petri Nets.

[8]  M. J. Stanton,et al.  Modelling and Control of Manufacturing Systems Using Petri Nets , 1996 .

[9]  MengChu Zhou,et al.  Discrete Event Control Design for Manufacturing Systems Via Ladder Logic Diagrams and Petri Nets: A Comparative Study , 1995 .

[10]  Lothar Litz,et al.  Correctness analysis of Petri net based logic controllers , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[11]  R. W. Lewis,et al.  Programming Industrial Control Systems Using IEC 1131-3 , 1995 .

[12]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[13]  Mark Minas.  Diagram editing with hypergraph parser support , 1997, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180).