Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz. Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets. T. Petri Nets and Other Models of Concurrency, 13:93-115, 2018. [doi]
Abstract is missing.