Functional abstractions of Petri net models of primary components of flexible manufacturing systems

In this paper, we extend the method proposed previously (1991, 1993) to allow one to construct functional abstractions of Petri net models involving nested, a combination of sequential and nested, and overlapping nontrivially firing-dependent transitions which model interactions between a model and its environment. The proposed extensions allow for obtaining functional abstractions of Petri net models of more realistic, in terms of their functionality, components of FMS systems