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]

Authors

Pascale Möller

This author has not been identified. Look up 'Pascale Möller' in Google

Michael Haustermann

This author has not been identified. Look up 'Michael Haustermann' in Google

David Mosteller

This author has not been identified. Look up 'David Mosteller' in Google

Dennis Schmitz

This author has not been identified. Look up 'Dennis Schmitz' in Google