Marking estimation of Time Petri nets with unobservable transitions.

Francesco Basile Maria Paola Cabasino Carla Seatzu

Published in: ETFA (2013)

Keyphrases

petri net
manufacturing systems
petri net model
high level petri nets
discrete event systems
colored petri nets
service composition
fuzzy petri net
ims ld
state machines
process model
stochastic petri net
sequence diagrams
concurrent systems
discrete dynamical systems
programmable logic controller
control system