Simulating Multiple Formalisms Concurrently Based on Reference Nets

Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz. Simulating Multiple Formalisms Concurrently Based on Reference Nets. In Daniel Moldt, Lawrence Cabac, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017. Volume 1846 of CEUR Workshop Proceedings, pages 137-156, CEUR-WS.org, 2017. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: