A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets.
Patrice BonhommePublished in: CASE (2011)
Keyphrases
- real time systems
- petri net
- embedded real time systems
- real time
- petri net model
- distributed systems
- manufacturing systems
- discrete event systems
- embedded systems
- colored petri nets
- reactive systems
- state machines
- architectural model
- programmable logic controller
- symbolic representation
- ims ld
- service composition
- sequence diagrams
- fuzzy petri net
- stochastic petri net
- artificial intelligence