Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets.
Francesca SagliettiPublished in: SAFECOMP (1998)
Keyphrases
- petri net
- embedded systems
- embedded real time systems
- low cost
- computing power
- embedded devices
- discrete event systems
- petri net model
- colored petri nets
- resource limited
- manufacturing systems
- real time systems
- fuzzy petri net
- embedded software
- service composition
- stochastic petri net
- artificial intelligence
- concurrent processes
- cyber physical systems
- field programmable gate array
- ims ld
- machine learning
- fault tolerant
- knowledge based systems