Petri nets as intermediate representation between VHDL and symbolic transition systems.
Gert DöhmenPublished in: EURO-DAC (1994)
Keyphrases
- intermediate representation
- petri net
- transition systems
- concurrent systems
- intermediate level
- reactive systems
- model checking
- manufacturing systems
- low level
- fuzzy petri net
- temporal logic
- finite state
- control flow
- tightly coupled
- control structure
- service composition
- colored petri nets
- process model
- object models
- practical reasoning
- high level
- model checker
- model based diagnosis
- data flow
- fine grained