Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions.

Francesco Basile Roberto Cordone Luigi Piroddi

Published in: ECC (2013)

Keyphrases

petri net
stochastic petri net
petri net model
web service composition
process model
manufacturing systems
reactive systems
neural network
expert systems
discrete event systems
high level petri nets
decision making
access control
multistage
fuzzy petri net