When to Move to Transfer Nets - On the Limits of Petri Nets as Models for Process Calculi

Gianluigi Zavattaro. When to Move to Transfer Nets - On the Limits of Petri Nets as Models for Process Calculi. In Chiara Bodei, Gian Luigi Ferrari, Corrado Priami, editors, Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Volume 9465 of Lecture Notes in Computer Science, pages 339-353, Springer, 2015. [doi]

Abstract

Abstract is missing.