Object Oriented Petri Nets
- An Object-Oriented Petri
Net is defined on a collection of elements
comprising constants, variables, net elements (i.e. places and
transitions), class elements (i.e. object nets, method nets, synchronous
ports, and message selectors), classes, object identifiers, and method net
instance identifiers.
- Object Nets
consist of places and transitions.
- Method Nets are
similar to object nets but, additionally, each of them has a
set of parameter places and a return place.
Method nets can access places of the appropriate object nets,
which allows running methods to modify the states of the
objects which they are running in.
- A Class
is given by its object net, its sets of
method nets and synchronous ports, and a set of message
selectors corresponding to its methods and ports.
