Login / Signup
A methodology for mapping live sequence chart to coloured Petri net.
Leonardo Amorim
Paulo Romero Martins Maciel
Meuse N. Nogueira Jr.
Raimundo S. Barreto
Eduardo Tavares
Published in:
SMC (2005)
Keyphrases
</>
petri net
petri net model
discrete event systems
high level petri nets
service composition
process model
manufacturing systems
web service composition
stochastic petri net
fuzzy petri net
ims ld
colored petri nets
e learning
reactive systems
concurrent systems
neural network
knowledge acquisition
high dimensional