On the Step Branching Time Closure of Free-Choice Petri Nets.

Stephan Mennicke Jens-Wolfhard Schicke-Uffmann Ursula Goltz

Published in: FORTE (2014)

Keyphrases

petri net
petri net model
manufacturing systems
fuzzy petri net
high level petri nets
discrete event systems
state machines
process model
temporal reasoning
colored petri nets
concurrent systems
ims ld
temporal logic
production system
service composition
discrete dynamical systems