Frey, G.:
An Integrated Approach for the Development of Logic Controllers Based on Signal Interpreted Petri Nets.
Proceedings of IEEE MMAR 2003, Miedzyzdroje (PL), pp 831-836, Aug. 2003.

    In this contribution an integrated design approach for logic control systems is presented. The approach is based on Signal Interpreted Petri Nets (SIPN), a Petri Net model extending condition event nets with means for the input and output of signals. The presented method starts from an informal description of the controller and proceeds over the steps design, formal verification and validation (V&V), evaluation of software quality, simulative validation, and automatic code generation for PLCs to an implemented controller. After implementation, the monitoring of the running controller by visualization of the token flow in the Petri net is possible.