Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required Behavior.
Jochen BeisterRalf WollowskiPublished in: Synthesis for Control Dominated Circuits (1992)
Keyphrases
- petri net
- programmable logic controller
- state machines
- colored petri nets
- petri net model
- discrete event systems
- asynchronous circuits
- manufacturing systems
- reactive systems
- high level synthesis
- sequence diagrams
- fuzzy petri net
- delay insensitive
- specification language
- circuit design
- service composition
- web service composition
- hardware and software
- concurrent systems
- process model
- control method
- shift register
- control system