Property-preserving subnet reductions for designing manufacturing systems with shared resources

https://doi.org/10.1016/j.tcs.2004.12.010Get rights and content
Under an Elsevier user license
open archive

Abstract

This paper handles two problems in manufacturing system design: resource sharing and system abstraction. In a manufacturing system, resources such as robots, machines, etc. are shared by several processes. When the resources are switched from one process to another, they may need some modifications such as cleaning oil, adding equipments and so on. Previous designing methods assume that the resources have no intermediate modifications. Hence, they need to be extended to handle such kinds of resource-sharing problems. As for abstraction, modeling operations with single places in manufacturing system design is very popular. From the viewpoint of verification, the objective is to verify whether the reduced model has the same desirable properties as the original one. This paper presents three kinds of property-preserving subnet reduction methods. For each reduction method, conditions are presented for ensuring that the properties liveness, boundedness and reversibility are preserved. Applications of these reduction methods to handling the above resource sharing and system abstraction problems are illustrated with an example from the manufacturing system.

Keywords

Manufacturing system
Petri net
Property-preserving
Reduction
System design
Transformation
Verification

Cited by (0)

This work was financially supported by National Natural Science Foundation of China under Grants No. 60435020, No. 60473007 and No. 60223005.