A Methodology for Mapping Live Sequence Chart to Coloured Petri Net
AMORIM, L. ; MACIEL, P. R. M. ; OLIVEIRA JUNIOR, M. N. ; BARRETO, R. S. ; TAVARES, E. A. G. . A Methodology for Mapping Live Sequence Chart to Coloured Petri Net. In: IEEE Conference on Systems, Man and Cibernetics (SMC'05), 2005, Havai. IEEE Conference on Systems, Man and Cibernetics (SMC'05), 2005.
2005