Liveness of Disjunctive and Strict Single-Type Automated Manufacturing System: An ROPN Approach
The resource-oriented Petri net (ROPN) modeling method is applied in this paper to model a class of automated manufacturing systems (AMS) named disjunctive and strict single-type AMSs (DS-AMS), where multiple units of a single resource type are required to support a processing stage.This modeling method is more compact and intuitive than the existi