Petri nets as supporting formalism within Embedded Systems Co-design.
Luís GomesAnikó CostaPublished in: IES (2006)
Keyphrases
- petri net
- embedded systems
- embedded real time systems
- low cost
- petri net model
- discrete event systems
- embedded devices
- computing power
- embedded software
- fuzzy petri net
- software systems
- colored petri nets
- resource limited
- real time systems
- sequence diagrams
- field programmable gate array
- ims ld
- concurrent systems
- stochastic petri net
- hw sw
- service composition
- knowledge representation
- service oriented
- programmable logic controller