This work has been partially supported by the Polish grant no. 2 2047 92 03
Preview
Unable to display preview. Download preview PDF.
References
Brown, C., Gurr, D., Timing Petri Nets Categorically, Springer LNCS 623, Proc. of ICALP'92, 1992, pp.571–582
Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in the Proceedings of 4th LICS Symposium, IEEE, 1989, pp. 175–185
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 Press
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag London Limited
About this paper
Cite this paper
Winkowski, J. (1994). An algebraic description of processes of timed Petri nets. In: Cohen, G., Quadrat, JP. (eds) 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0033551
Download citation
DOI: https://doi.org/10.1007/BFb0033551
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19896-3
Online ISBN: 978-3-540-39345-0
eBook Packages: Springer Book Archive