Modeling and Verification of Time Dependent Systems Using Time Petri Nets.
Bernard BerthomieuMichel DiazPublished in: IEEE Trans. Software Eng. (1991)
Keyphrases
- petri net
- colored petri nets
- discrete event systems
- petri net model
- stochastic petri net
- embedded real time systems
- concurrent systems
- reactive systems
- distributed systems
- complex systems
- ims ld
- manufacturing systems
- telecommunication networks
- sequence diagrams
- service composition
- state machines
- knowledge based systems
- expert systems
- formal methods
- computer systems