In: Decentralized and Distributed Systems, pages 213-224. Elsevier Science B.V. (North Holland), Amsterdam, The Netherlands, 1993.
Also in: International Conference on Decentralized and Distributed Systems, ICDDS'93, Palma de Mallorca (Balearic Islands, Spain). 1993.
Abstract: In order to overcome the state explosion problem, inherent to the analysis of concurrent systems, one of the indigenous techniques within the field of Petri nets is the so called structure theory, often restricting the models under consideration. Most of the studied subclasses are ordinary. Nevertheless weights are a modelling convenience in many situations. In this paper we propose a formal model for a subclass of concurrent systems with bulk services and arrivals which structurally forbids conflicts: Choice-free, or structurally persistent, systems, and we present several structural techniques to deal with them.