Abstract
We present some mathematical results on modelling processes with possibly infinite pasts. We intend the word “process” to be close in spirit to “real process” in [Pet] and “process” in [Bes]. They do not assume a process to have an initial state. As in [Nie], where an initial state was assumed, we work with event structures rather than causal nets. The event structures will be essentially causal nets without conditions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Best, E. (1979) Aspects of occurrence nets. Advanced Course on General Net Theory of Processes and Systems, Lecture Notes in Computer Science, Springer-Verlag (to appear).
Nielsen, M., Plotkin, G.D. and Winskel, G. (1979) Petri nets, event structures and domains. Proc. of the Symposium on Semantics of Concurrent Computation (ed. G. Kahn) Lecture Notes in Computer Science, Vol. 70, Springer-Verlag.
Petri, C.A. (1976) Nichtsequentielle Prozesse, Arbeitsberichte des IMMD, Bd. 9, Heft. 8, Universität Erlangen-Nürnberg. Also: Non-sequential processes, Translation P. Krause and J. Low. Internal Report GMP-ISF-77-05, Bonn (1977).
Winskel, G. (1980) Events in computation. Ph.D. thesis, University of Edinburgh.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Winskel, G. (1982). An Exercise in Processes with Infinite Pasts. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive