A new definition of morphism on Petri nets

Extended abstract
  • Glynn Winskel
Contibuted Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 166)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Br]
    Brauer, W. (editor), Net theory and its applications, Lecture notes in Comp. Sc. No. 84, Springer-Verlag (1979).Google Scholar
  2. [GR]
    Goltz, U. and Reisig, W., Processes of Place/Transition Nets. Icalp 83.Google Scholar
  3. [HBR]
    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).Google Scholar
  4. [LSC]
    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).Google Scholar
  5. [Mac]
    Maclane, S., Categories for the Working Mathematician. Graduate Texts in Mathematics, Springer-Verlag (1972).Google Scholar
  6. [M]
    Milner, R., A Calculus of Communicating Systems. Springer-Verlag Lecture Notes in Comp. Sc. vol. 92 (1980).Google Scholar
  7. [NPW1]
    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).Google Scholar
  8. [NPW2]
    Nielsen, M., Plotkin, G., Winskel G., Petri nets, Event structures and Domains, part 1. Theoretical Computer Science, vol. 13 (1981) pp. 85–108.Google Scholar
  9. [Pe]
    Peterson, J.L., Petri Net Theory and the Modelling of Systems. Prentice-Hall (1981).Google Scholar
  10. [W]
    Winskel, G., Events in Computation. Ph.D. thesis, University of Edinburgh (1980).Google Scholar
  11. [W1]
    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).Google Scholar
  12. [W2]
    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).Google Scholar

Copyright information

© Springer-Verlag 1984

Authors and Affiliations

  • Glynn Winskel
    • 1
  1. 1.University of Cambridge Computer LaboratoryCambridge

Personalised recommendations