From Time Petri Nets to Timed Automata: An Untimed Approach.
Davide D'AprileSusanna DonatelliArnaud SangnierJeremy SprostonPublished in: TACAS (2007)
Keyphrases
- petri net
- timed automata
- model checking
- reachability analysis
- theorem prover
- discrete event systems
- petri net model
- manufacturing systems
- colored petri nets
- first order logic
- fuzzy petri net
- service composition
- theorem proving
- real time systems
- stochastic petri net
- concurrent systems
- discrete dynamical systems
- temporal logic
- state machines
- ims ld
- learning environment
- machine learning
- neural network
- real time