Stubborn Sets for Real-Time Petri Nets.

Robert H. Sloan Ugo A. Buy

Published in: Formal Methods Syst. Des. (1997)

Keyphrases

petri net
real time
petri net model
manufacturing systems
colored petri nets
discrete event systems
fuzzy petri net
weighted average
state machines
population size
discrete dynamical systems
stochastic petri net
control system
ims ld
concurrent processes
real time systems
data analysis