E. Smith;W. Reisig
-;-
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Flexibility in Algebraic Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets