Abstract
The behaviour of an object allocated and used by a computer program consists of a set of events involving the object which occur in and around a computer during execution of the program. Object behaviour can be modelled by an occurrence net (a Petri net without places), in which each event is a transition (drawn as a box), and the arrows between the transitions represent dependency between the events. The total behaviour of the program is just the sum of the behaviours of the objects which it allocates. A program (perhaps expressed as a Petri net with places) is mathematically defined as just the set of all its possible behaviours, in all its possible environments of execution. An object class is similarly defined as the set of all the possible behaviours of all its possible objects, as used in any possible program.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Brookes, S.D.: A Semantics for Concurrent Separation Logic. Theoretical Computer Science 375(1-3), 227–270 (2007)
Best, E., Devillers, R., Koutny, M.: The Box Algebra = Petri nets + Process Expressions. Information and Computation 178, 44–100 (2002)
Hoare, C.A.R., et al.: Laws of Programming. Commun. ACM 30(8), 672–686 (1987)
Hoare, C.A.R., Wehrman, I., O’Hearn, P.: Graphical Models of Separation Logic. In: Engineering Methods and Tools for Software Safety and Security, pp. 177–202. IOS Press (2009)
Hoare, T., van Staden, S.: In Praise of Algebra, under consideration for publication in Formal Aspects of Computing
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoare, T. (2012). Net Models for Concurrent Object Behaviour. In: Haddad, S., Pomello, L. (eds) Application and Theory of Petri Nets. PETRI NETS 2012. Lecture Notes in Computer Science, vol 7347. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31131-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-31131-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31130-7
Online ISBN: 978-3-642-31131-4
eBook Packages: Computer ScienceComputer Science (R0)