Towards a petri net based semantics definition for message sequence charts (1993)

by P Graubmann, E Rudolph, J Grabowski
Venue:In Proceedings 6th SDL Forum (SDL ’93