Fundamenta Informaticae > 2008 > Vol. 85, nr 1-4 > 329-342
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Brown, C., Gurr, D.: A categorical linear framework for Petri nets., Information and Computation, 122(2), 1995, 268-285.
-
[2] Bruni, R., Montanari, U.: Zero-Safe Nets - or transition synchronization made simple, Electronic Notes in Theoretical Computer Science: Proceedings of EXPRESS'97, 4th workshop on Expressiveness in Concurrency, 7, 1997, 1-19.
-
[3] Bruni, R., Montanari, U.: Zero-safe nets: The individual token approach, WADT (F. Parisi-Presicce, Ed.), 1376, Springer-Verlag, 1997, ISBN 3-540-64299-4.