Login / Signup
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets.
Agata Janowska
Wojciech Penczek
Agata Pólrola
Andrzej Zbrzezny
Published in:
Trans. Petri Nets Other Model. Concurr. (2013)
Keyphrases
</>
petri net
discrete event systems
petri net model
manufacturing systems
high level petri nets
service composition
fuzzy petri net
stochastic petri net
colored petri nets
process model
temporal logic
ims ld
state machines
discrete dynamical systems
epistemic logic
programmable logic controller