Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets.

Published in: Int. J. Control (2022)

Keyphrases

petri net
reachability analysis
petri net model
manufacturing systems
discrete event systems
process model
model checking
service composition
fuzzy petri net
real time
colored petri nets
stochastic petri net
state space
fuzzy logic
embedded systems
timed automata