Petri net are an abstract system description formalism that can be used in serveral field, such as performance evaluation, communication protocols, control systems, multiprocessor and data flow computer architecture and fault tolerance.
The goal of t...
Petri net are an abstract system description formalism that can be used in serveral field, such as performance evaluation, communication protocols, control systems, multiprocessor and data flow computer architecture and fault tolerance.
The goal of this paper is to achieve a method of realizing logic controllers from the petri net in factory automation. This approach of controller synthesis assigns a D flip-flop for each state in the petri net, and then logic to represent the state. This becomes a typical two level AND-OR gate logic.