Structural Translation from Time Petri Nets to Timed Automata.
Franck CassezOlivier H. RouxPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- petri net
- timed automata
- model checking
- reachability analysis
- petri net model
- theorem prover
- discrete event systems
- manufacturing systems
- fuzzy petri net
- theorem proving
- ims ld
- colored petri nets
- first order logic
- stochastic petri net
- real time systems
- service composition
- state machines
- neural network
- temporal logic
- sequence diagrams
- concurrent systems