Abstract
Category theory has been applied to Petri nets in two distinct ways. The first approach is to define a category whose objects are Petri nets and whose morphisms represent the refinement of one net by another. The second approach is to define a category whose objects are themselves categories representing the possible computations of the net.
We establish a close connection between these two approaches by exhibiting a reflection between a category of nets and a category of behaviour categories. The morphisms in our categories have an appealing computational interpretation in terms of simulation, which is closely related to the notion of simulation in process algebra.
Supported by ESPRIT CEDISYS and CLICS and Danish DART grants.
This article was processed using the LATEX macro package with LLNCS style
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
C. T. Brown and D. J. Gurr, Timing Petri nets, manuscript, Dec 1990.
C. T. Brown and D. J. Gurr, Timing Petri nets Categorically, to appear in Proc. ICALP, 1992.
C. T. Brown, D. J. Gurr, and V. C. V. de Paiva, A Linear Specification Language for Petri Nets, Technical Report DAIMI PB-363, Århus University, 1991.
P. Degano, J. Meseguer, and U. Montanari, Axiomatizing Net Computations and Processes, in Proc. LICS, 1989.
K. Jensen, Coloured Petri nets: a high level language for system design analysis, in G. Rozenberg, editor, Proc. Advances in Petri nets, 1990, LNCS 483, Springer-Verlag.
J. Meseguer and U. Montanari, Petri nets are Monoids: A new algebraic foundation for net theory, Technical Report SRI-CSL-88-3, C.S. Lab., SRI International, January 1988.
M. Mukund, A Transition System Characterisation of Petri nets, Technical Report TCS-91-02, School of Mathematics, SPIC Science Foundation, Madras, 1991.
V. C. V. de Paiva, A Category of Multirelations, Technical report 255, Univ. of Cambridge, 1991.
M. Nielsen and G. Winskel, Concurrency, 1991, to appear in the Handbook of Theoretical Computer Science.
E.-R. Olderog, Nets, Terms and Formulas, CUP, 1991.
W. Reisig, Petri Nets: an Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.
G. Winskel, Categories of Models for Concurrency, in S.D. Brookes, A.W. Roscoe, and G. Winskel, editors, Proc. Seminar on Semantics of Concurrency (CMU, Pittsburgh), 1984, LNCS 197, Springer-Verlag.
G. Winskel, Petri nets, algebras, morphisms, and compositionality, in Information and Computation, 72:197–238, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brown, C., Gurr, D. (1992). Refinement and simulation of nets — a categorical characterisation. In: Jensen, K. (eds) Application and Theory of Petri Nets 1992. ICATPN 1992. Lecture Notes in Computer Science, vol 616. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55676-1_5
Download citation
DOI: https://doi.org/10.1007/3-540-55676-1_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55676-3
Online ISBN: 978-3-540-47270-4
eBook Packages: Springer Book Archive