A concurrency-preserving translation from time Petri nets to networks of timed automata.
Sandie BalaguerThomas ChatainStefan HaarPublished in: Formal Methods Syst. Des. (2012)
Keyphrases
- petri net
- timed automata
- model checking
- petri net model
- manufacturing systems
- discrete event systems
- fuzzy petri net
- reachability analysis
- colored petri nets
- ims ld
- stochastic petri net
- state machines
- service composition
- theorem proving
- theorem prover
- concurrent systems
- telecommunication networks
- social networks
- concurrency control
- web services
- first order logic
- data analysis