C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Constructing Coverability Graphs for Time Basic Petri Nets.
Matteo Camilli
Published in:
CoRR (2014)
Keyphrases
</>
petri net
petri net model
discrete event systems
high level petri nets
colored petri nets
manufacturing systems
process model
state machines
fuzzy petri net
service composition
discrete dynamical systems
ims ld
stochastic petri net
cellular automata
sequence diagrams