Login / Signup
Semantic Embedding of Petri Nets into Event-B
J. Christian Attiogbé
Published in:
CoRR (2005)
Keyphrases
</>
petri net
petri net model
manufacturing systems
discrete event systems
colored petri nets
ims ld
stochastic petri net
high level petri nets
service composition
fuzzy petri net
neural network
decision making
knowledge acquisition
process model
concurrent systems