Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets

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

Abstract is missing.