In: Jensen, K.: Proceedings of the 6th european Workshop on Application and Theory of Petri Nets, Espoo, Finland, pages 141-170. June 1985.
Abstract: For lack of a Data Structure, Petri nets are not suitable for modelling systems such as Information Systems, where data have an effect on the behavior. In the High Level Petri Net formalism introduced in this paper, tokens become entities defined by means of a model closely related to those of Database theory. In order to take into account the value of entities, a Precondition and an Action may be associated to each transition. This data structure sets forth new net properties, which are analysed through Program Theory techniques, whereas a lot of results gained by Linear Algebra remain valid. Namely, computation of invariants may be done.