Handling resource sharing problem using property-preserving place fusions of petri nets

Li Jiao; Hejiao Huang; To-Yat Cheung

doi:10.1142/S021812660800437X

Handling resource sharing problem using property-preserving place fusions of petri nets

Li Jiao, Hejiao Huang, To-Yat Cheung

Department of Computer Science

Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

6 Citations (Scopus)

Abstract

Resource sharing is a very complex task in system design because it may induce undesirable properties such as deadlocks and overflows. This paper proposes a method for handling this task. Resource sharing is formulated as a place fusion on a Petri net specification that satisfies a designated set of properties and includes some duplicated places representing accesses to the resources. If this fusion satisfies some conditions, the obtained net will preserve the original properties after the incorporation of resource sharing. This paper considers two classes of property-preserving place fusions. Each class specifies the Petri net type to be used, the structural relationship among the resource places and possibly some additional conditions for the place fusion to preserve a designated set of properties. As an illustration, these place fusion approaches are applied to solve a resource sharing problem in the design of manufacturing systems. © 2008 World Scientific Publishing Company.

Original language	English
Pages (from-to)	365-387
Journal	Journal of Circuits, Systems and Computers
Volume	17
Issue number	3
DOIs	https://doi.org/10.1142/S021812660800437X
Publication status	Published - Jun 2008

Bibliographical note

Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].

Funding

This work was financially supported by the National Natural Science Foundation of China (Nos. 60473007, 60421001, and 60633010). We thank the editor and the anonymous referees for their valuable remarks and comments.

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Research Keywords

Petri nets
Place fusions
Property preservation
Resource sharing
System design

Access Output

10.1142/S021812660800437X

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

@article{0ec848439c70423982a19e65ddd6d06c,

title = "Handling resource sharing problem using property-preserving place fusions of petri nets",

abstract = "Resource sharing is a very complex task in system design because it may induce undesirable properties such as deadlocks and overflows. This paper proposes a method for handling this task. Resource sharing is formulated as a place fusion on a Petri net specification that satisfies a designated set of properties and includes some duplicated places representing accesses to the resources. If this fusion satisfies some conditions, the obtained net will preserve the original properties after the incorporation of resource sharing. This paper considers two classes of property-preserving place fusions. Each class specifies the Petri net type to be used, the structural relationship among the resource places and possibly some additional conditions for the place fusion to preserve a designated set of properties. As an illustration, these place fusion approaches are applied to solve a resource sharing problem in the design of manufacturing systems. {\textcopyright} 2008 World Scientific Publishing Company.",

keywords = "Petri nets, Place fusions, Property preservation, Resource sharing, System design",

author = "Li Jiao and Hejiao Huang and To-Yat Cheung",

note = "Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].",

year = "2008",

month = jun,

doi = "10.1142/S021812660800437X",

language = "English",

volume = "17",

pages = "365--387",

journal = "Journal of Circuits, Systems and Computers",

issn = "0218-1266",

publisher = "World Scientific",

number = "3",

}

TY - JOUR

T1 - Handling resource sharing problem using property-preserving place fusions of petri nets

AU - Jiao, Li

AU - Huang, Hejiao

AU - Cheung, To-Yat

N1 - Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].

PY - 2008/6

Y1 - 2008/6

N2 - Resource sharing is a very complex task in system design because it may induce undesirable properties such as deadlocks and overflows. This paper proposes a method for handling this task. Resource sharing is formulated as a place fusion on a Petri net specification that satisfies a designated set of properties and includes some duplicated places representing accesses to the resources. If this fusion satisfies some conditions, the obtained net will preserve the original properties after the incorporation of resource sharing. This paper considers two classes of property-preserving place fusions. Each class specifies the Petri net type to be used, the structural relationship among the resource places and possibly some additional conditions for the place fusion to preserve a designated set of properties. As an illustration, these place fusion approaches are applied to solve a resource sharing problem in the design of manufacturing systems. © 2008 World Scientific Publishing Company.

AB - Resource sharing is a very complex task in system design because it may induce undesirable properties such as deadlocks and overflows. This paper proposes a method for handling this task. Resource sharing is formulated as a place fusion on a Petri net specification that satisfies a designated set of properties and includes some duplicated places representing accesses to the resources. If this fusion satisfies some conditions, the obtained net will preserve the original properties after the incorporation of resource sharing. This paper considers two classes of property-preserving place fusions. Each class specifies the Petri net type to be used, the structural relationship among the resource places and possibly some additional conditions for the place fusion to preserve a designated set of properties. As an illustration, these place fusion approaches are applied to solve a resource sharing problem in the design of manufacturing systems. © 2008 World Scientific Publishing Company.

KW - Petri nets

KW - Place fusions

KW - Property preservation

KW - Resource sharing

KW - System design

UR - http://www.scopus.com/inward/record.url?scp=59049089926&partnerID=8YFLogxK

UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-59049089926&origin=recordpage

U2 - 10.1142/S021812660800437X

DO - 10.1142/S021812660800437X

M3 - RGC 21 - Publication in refereed journal

SN - 0218-1266

VL - 17

SP - 365

EP - 387

JO - Journal of Circuits, Systems and Computers

JF - Journal of Circuits, Systems and Computers

IS - 3

ER -

Handling resource sharing problem using property-preserving place fusions of petri nets

Abstract

Bibliographical note

Funding

UN SDGs

Research Keywords

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this