Affiliations: [a] Dipartimento di Informatica, Universitià di Pisa, I-56100 Pisa, Corso Italia 40, Italy | [b] Instytut Podstaw Informatyki PAN, 00-901 Warsaw, PKiN, Skr. p. 22, Poland
Note: [1] This work has been done in the framework of a research agreement between CNR and PAN and the research project CPBP.02.17.
Abstract: Timed Petri nets and their behaviours are considered. A concept of a seminet is introduced. which generalizes the concept of a net, and suitable operations on seminets are defined, which allow constructing seminets from atoms corresponding to places and transitions. The behaviours of seminets are given in the form of so called configuration systems, a notion close to labelled event structures. Such behaviours can be combined with the aid of operations corresponding to those on seminets. In particular, the behaviour of a compound seminet can be obtained by combining the behaviours of components.
