Abstract
A simple formalism for omitting details of CE-systems called projection is presented. Projections work with the PrT-net representation of CE-systems and allow to look at a CE-system from a partially quantitative point of view. They provide an unified approach to ordinary PT-nets and to PrT-nets avoiding multisets in the beginning. Their main use is for eliminating individual variables that occur in the coefficients of S-invariants of PrT-nets.
This work was done in part while the author was with the Computer Science Department of the University of Nijmegen, The Netherlands.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Genrich, H.J.; Lautenbach, K.: Synchronisationsgraphen. Acta Informatica 2 (1973) 143–161 (in German)
Genrich, H.J.; Lautenbach, K.: The Analysis of Distributed Systems by means of Predicate/Transition-Nets. In: Semantics of Concurrent Computation (G. Kahn, Ed.), LNCS 70, Springer-Verlag (1979) 123–146
Genrich, H.J.; Lautenbach, K.: System Modelling with High-Level Petri Nets. TCS 13 (1981) 109–136
Devillers, R.: The Semantics of Capacities in P/T Nets: A First Look. In: Proceedings of the 6th European Workshop on Applications and Theory of Petri Nets. Helsinki University of Technology, Espoo (Finland) 1985
Durchholz, R.: A Note on Multiplicity. Newsletter SIG Petri Nets and Related System Models vol. 21, Gesellschaft für Informatik (June 1985)
Genrich, H.J.; Stankiewicz-Wiechno, E.: A Dictionary of Some Basic Notions of Net Theory. In: Net Theory and Applications (W. Brauer, Ed.) LNCS 84, Springer-Verlag (1980) 519–537
Gerhards, B.: S-Invarianten in Prädikat/Transitionsnetzen. Diplomarbeit, Universität Bonn (1982) (in German)
Halmos, P.R.: Naive Set Theory. Springer-Verlag (1974)
Holt, A.W.; Commoner, F.; Even, S.; Pnueli, A.: Marked Directed Graphs. J. Comp. Sys. Sc. 5 (1971) 511–523
Jensen, K.: Coloured Petri Nets and the Invariant Method. TCS 14 (1981) 317–336
Reisig, W.: Petri Nets. Springer-Verlag (1985)
Smullyan, R.M.: First-Order Logic. Springer-Verlag (1968)
Thiagarajan, P.S.: Some Aspects of Net Theory. Arbeitspapiere der GMD Nr. 55, Gesellschaft für Mathematik und Datenverarbeitung (1983)
Vautherin, J.; Memmi, G.: Computation of Flows for Unary-Predicate/Transition-Nets. In: Proceedings of the 5th European Workshop on Applications and Theory of Petri Nets. Aarhus University, Aarhus (Denmark) 1984
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Genrich, H.J. (1986). Projections of CE-systems. In: Rozenberg, G. (eds) Advances in Petri Nets 1985. APN 1985. Lecture Notes in Computer Science, vol 222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016214
Download citation
DOI: https://doi.org/10.1007/BFb0016214
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16480-7
Online ISBN: 978-3-540-39822-6
eBook Packages: Springer Book Archive