Specification of Asynchronous Component Systems with Modal I/O-Petri Nets.
Serge HaddadRolf HennickerMikael H. MøllerPublished in: TGC (2013)
Keyphrases
- petri net
- state machines
- discrete event systems
- reactive systems
- colored petri nets
- embedded real time systems
- asynchronous circuits
- distributed systems
- complex systems
- fuzzy petri net
- manufacturing systems
- knowledge based systems
- state machine
- sequence diagrams
- petri net model
- knowledge base
- input output
- expert systems