Title :
ERCN-merged nets and their analysis using siphons
Author :
Xie, Xiaolan ; Jeng, MuDer
Author_Institution :
INRIA, Metz, France
fDate :
8/1/1999 12:00:00 AM
Abstract :
This paper generalizes the modular approach proposed by Jeng and DiCesare (1995) for modeling manufacturing systems with shared resources. First, the-dynamic behavior of each resource is modeled separately using extended resource control nets (ERCNs). An important feature of ERCNs is their capability to express explicitly assembly operations and parallel processes, which is not possible with resource control nets. Interactions among the resources are then modeled through merging of common transitions and common transition subnets. This paper provides conditions, expressed in terms of siphons, under which reversibility and liveness of the integrated model are obtained. Relations between siphons, circular structure and circular-wait are formally established
Keywords :
Petri nets; assembly planning; production control; resource allocation; Petri nets; assembly; extended resource control nets; liveness; manufacturing systems; parallel processes; production control; resource sharing; reversibility; siphons; Aggregates; Assembly systems; Control system synthesis; Manufacturing systems; Merging; Oceans; Petri nets; Process design;
Journal_Title :
Robotics and Automation, IEEE Transactions on