Login / Signup
State Class Constructions for Branching Analysis of Time Petri Nets.
Bernard Berthomieu
François Vernadat
Published in:
TACAS (2003)
Keyphrases
</>
petri net
colored petri nets
discrete event systems
data analysis
state space
manufacturing systems
state machines
petri net model
high level petri nets
low cost
complex systems
description language