Comparison of the Expressiveness of Timed Automata and Time Petri Nets.
Béatrice BérardFranck CassezSerge HaddadDidier LimeOlivier H. RouxPublished in: FORMATS (2005)
Keyphrases
- petri net
- timed automata
- discrete event systems
- petri net model
- model checking
- manufacturing systems
- service composition
- state machines
- reachability analysis
- stochastic petri net
- colored petri nets
- fuzzy petri net
- ims ld
- concurrent systems
- artificial intelligence
- programmable logic controller
- real time systems
- fuzzy logic