Login / Signup
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets.
Rubén Carvajal-Schiaffino
Giorgio Delzanno
Giovanni Chiola
Published in:
TACAS (2001)
Keyphrases
</>
petri net
petri net model
discrete event systems
manufacturing systems
colored petri nets
fuzzy petri net
high level petri nets
state machines
process model
concurrent systems
ims ld
stochastic petri net
integer programming
service composition