Using Petri Nets to Develop Programs for PLC Systems.
Geoff CuttsShaun RattiganPublished in: Application and Theory of Petri Nets (1992)
Keyphrases
- petri net
- discrete event systems
- programmable logic controller
- manufacturing systems
- hardware and software
- petri net model
- reactive systems
- state machines
- expert systems
- complex systems
- formal methods
- embedded real time systems
- knowledge base
- stochastic petri net
- colored petri nets
- sequence diagrams
- telecommunication networks
- ims ld
- computer systems
- control system