In: Zesz. Nauk. Uniw. Jagiellon., Vo. 818, Pr. Inf. 3, pages 48-70. 1987. In Polish.
Abstract: The paper presents a formalism which enables defining different kinds of Petri nets in a uniform way. This allows to compare nets and their classes with respect to their structures and behaviour. The notion of generalized net introduced here precisely describes static and dynamic net structure. The commonly known types of nets (condition/event nets, testing Petri nets, place/transition nets, coloured Petri nets, high-level Petri nets) are defined as generalized nets and relations between them are presented.
Keywords: generalized net; comparison (of) net classes; condition/event net; testing net; coloured net; high-level net.