Login / Signup
Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals.
Enrique Teruel
José Manuel Colom
Manuel Silva Suárez
Published in:
IEEE Trans. Syst. Man Cybern. Part A (1997)
Keyphrases
</>
petri net
concurrent systems
colored petri nets
process algebra
fuzzy petri net
process model
temporal logic
simulation model
high level petri nets
expert systems
model checking
formal specification
petri net model