Synthesis of Embedded Software Using Free-Choice Petri Nets.
Marco SgroiLuciano LavagnoPublished in: DAC (1999)
Keyphrases
- petri net
- embedded software
- sequence diagrams
- discrete event systems
- embedded systems
- petri net model
- manufacturing systems
- development projects
- software architecture
- colored petri nets
- process model
- service composition
- fuzzy petri net
- stochastic petri net
- programmable logic controller
- data mining
- open source
- decision making