High-level Colored Time Petri Nets for true concurrency modeling in real-time software.
Imane HaurJean-Luc BéchennecOlivier H. RouxPublished in: CoDIT (2022)
Keyphrases
- petri net
- colored petri nets
- real time
- embedded real time systems
- high level
- stochastic petri net
- petri net model
- real time systems
- sequence diagrams
- manufacturing systems
- discrete event systems
- software systems
- reactive systems
- data flow
- fuzzy petri net
- ims ld
- service composition
- software development
- web services
- programmable logic controller
- embedded systems
- software architecture
- state machines
- computer systems
- concurrent systems
- control system
- artificial intelligence