Advertisement

An algebraic description of processes of timed Petri nets

  • Józef Winkowski
The Petri Net Approach
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 199)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BG 92]
    Brown, C., Gurr, D., Timing Petri Nets Categorically, Springer LNCS 623, Proc. of ICALP'92, 1992, pp.571–582Google Scholar
  2. [DMM 89]
    Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in the Proceedings of 4th LICS Symposium, IEEE, 1989, pp. 175–185Google Scholar
  3. [GMMP 89]
    Ghezzi, C., Mandrioli, D., Morasca, S., Pezze, M., A General Way to Put Time in Petri Nets, Proc. of the 5th Int. Workshop on Software Specifications and Design, Pittsburgh, May 1989, IEEE-CS PressGoogle Scholar

Copyright information

© Springer-Verlag London Limited 1994

Authors and Affiliations

  • Józef Winkowski
    • 1
  1. 1.Instytut Podstaw Informatyki PANWarszawaPoland

Personalised recommendations