Preview
Unable to display preview. Download preview PDF.
References
Brauer, W. (editor), Net theory and its applications, Lecture notes in Comp. Sc. No. 84, Springer-Verlag (1979).
Goltz, U. and Reisig, W., Processes of Place/Transition Nets. Icalp 83.
Hoare, C.A.R., Brookes, S.D., and Roscoe, A.W., A Theory of Communicating Processes. Technical Report PRG-16, Programming Research Group, Oxford University (1981).
Lauer, P.E., Shields, M.W. and Cotronis, J.Y., Formal behaviour specification of concurrent systems without globality assumptions. Springer-Verlag Lecture notes in Comp. Sc. vol. 107 (1981).
Maclane, S., Categories for the Working Mathematician. Graduate Texts in Mathematics, Springer-Verlag (1972).
Milner, R., A Calculus of Communicating Systems. Springer-Verlag Lecture Notes in Comp. Sc. vol. 92 (1980).
Nielsen, M., Plotkin, G., Winskel, G., Petri nets, Event structures and Domains. Proc. Conf. on Semantics of Concurrent Computation, Evian, Springer-Verlag Lecture Notes in Comp. Sc. 70 (1979).
Nielsen, M., Plotkin, G., Winskel G., Petri nets, Event structures and Domains, part 1. Theoretical Computer Science, vol. 13 (1981) pp. 85–108.
Peterson, J.L., Petri Net Theory and the Modelling of Systems. Prentice-Hall (1981).
Winskel, G., Events in Computation. Ph.D. thesis, University of Edinburgh (1980).
Winskel, G., Event structure semantics of CCS and related languages, Springer-Verlag Lecture Notes in Comp. Sc. 140 (1982). Also as a full version in Report of the Computer Sc. Dept., University of Aarhus, Denmark (1982).
Winskel, G., Synchronisation trees. ICALP '83, Springer-Verlag Lecture Notes in Comp. Sc. and fully in Technical Report, Comp. Sc. Dept., Carnegie-Mellon University (1983).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Winskel, G. (1984). A new definition of morphism on Petri nets. In: Fontet, M., Mehlhorn, K. (eds) STACS 84. STACS 1984. Lecture Notes in Computer Science, vol 166. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-12920-0_13
Download citation
DOI: https://doi.org/10.1007/3-540-12920-0_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12920-2
Online ISBN: 978-3-540-38805-0
eBook Packages: Springer Book Archive