When are Timed Automata weakly timed bisimilar to Time Petri Nets?
Béatrice BérardFranck CassezSerge HaddadDidier LimeOlivier H. RouxPublished in: Theor. Comput. Sci. (2008)
Keyphrases
- petri net
- timed automata
- model checking
- reachability analysis
- theorem prover
- petri net model
- discrete event systems
- theorem proving
- manufacturing systems
- colored petri nets
- first order logic
- ims ld
- service composition
- temporal logic
- fuzzy petri net
- stochastic petri net
- state machines
- real time systems
- concurrent systems
- programmable logic controller
- knowledge representation
- model based diagnosis
- discrete dynamical systems