Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.
Giacomo BucciLuigi SassoliEnrico VicarioPublished in: IEEE Trans. Software Eng. (2005)
Keyphrases
- petri net
- real time systems
- petri net model
- colored petri nets
- concurrent systems
- embedded real time systems
- distributed systems
- real time
- embedded systems
- real time database systems
- discrete event systems
- manufacturing systems
- ims ld
- fuzzy petri net
- scheduling problem
- service composition
- process model
- scheduling algorithm
- state machines
- model checking
- architectural model
- real time embedded
- formal methods
- production process
- sequence diagrams
- service oriented
- programmable logic controller
- web services