Modular functional modelling of Petri nets with individual tokens

Manfred Broy, Thomas Streicher. Modular functional modelling of Petri nets with individual tokens. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1992, The DEMON Project. Volume 609 of Lecture Notes in Computer Science, pages 70-88, Springer, 1992.

Abstract

Abstract is missing.