TCTL-preserving translations from timed-arc Petri nets to networks of timed automata.
Joakim BygMorten JacobsenLasse JacobsenKenneth Yrke JørgensenMikael Harkjær MøllerJirí SrbaPublished in: Theor. Comput. Sci. (2014)
Keyphrases
- petri net
- timed automata
- model checking
- petri net model
- discrete event systems
- reachability analysis
- manufacturing systems
- social networks
- colored petri nets
- stochastic petri net
- service composition
- theorem prover
- first order logic
- real time systems
- concurrent systems
- state machines
- discrete dynamical systems
- artificial intelligence
- ims ld
- temporal logic
- low cost
- fuzzy inference
- finite state machines
- fuzzy sets
- concurrent processes
- real time
- programmable logic controller