ICS PAS Report 686, pages 1-18 pp.. Warsaw, Poland: Polish Academy of Sciences, Institut of Computer Science, 1990.
Abstract: The concept of Petri nets is generalized by allowing inputs for absorbing information and outputs for emitting information. For the structures thus obtained, called seminets, a concept of behaviour similar to that for Petri nets is introduced formally. A partial operation of composing seminets by combining outputs with inputs is introduced such that the behaviour of a seminet which consists of seminets with known behaviours can be obtained by combining these behaviours.
Keywords: generalized net (with) input(s), output(s); composition (of) seminet(s); composition (of) behaviour(s).