Elimination of duplicate labels in Petri-net-based system specification

被引：1

作者：

Cheung, KS ^{[1
]}

Chow, KO ^{[1
]}

机构：

[1] Hong Kong Baptist Univ, Kowloon, Hong Kong, Peoples R China

来源：

FIFTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY - PROCEEDINGS | 2005年

关键词：

D O I：

10.1109/CIT.2005.110

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Labelled Petri nets are commonly used for system specification where the locations of conditions are denoted as places with condition labels and the locations of events as transitions with event labels. It is often in a Petri-net-based specification that the same condition label or event label appears in multiple locations. As every condition is finally implemented as a unique state and every event as a unique operation, in order for the system specification to become useful for implementation, all duplicate condition labels and event labels must be eliminated In this paper, we propose a method for eliminating the duplicate labels. Firing sequences are preserved so that the intended system behaviours will not be altered

引用

页码：932 / 936

页数：5

共 50 条

[1] AgvSimNet: A Petri-net-based AGVS simulation system
Department of Mechanical Engineering, National Taiwan University, Taipei, Taiwan
不详
[J]. Int J Adv Manuf Technol, 11 (851-861):
[2] AgvSimNet: A Petri-Net-Based AGVS Simulation System
S. Hsieh
Y.-F. Chen
[J]. The International Journal of Advanced Manufacturing Technology, 1999, 15 : 851 - 861
[3] AgvSimNet: A Petri-net-based AGVS simulation system
Hsieh, S
Chen, YF
[J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1999, 15 (11): : 851 - 861
[4] An Algorithm for Eliminating Duplicate Labels of a Labelled Petri Net
Cheung, K. S.
[J]. 2008 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL 1, PROCEEDINGS, 2008, : 74 - 78
[5] Property Preservation by Petri-Net-Based Refinements in System Design
Xia, Chuanliang
[J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 240 - 246
[6] A PETRI-NET-BASED METHOD TO THE DESIGN OF PARALLEL PROGRAMS FOR A MULTIPROCESSOR SYSTEM
UNGER, H
BENACHOUR, K
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 634 : 749 - 754
[7] Structure and behavior preservation by Petri-net-based refinements in system design
Huang, HJ
Cheung, TY
Mak, WM
[J]. THEORETICAL COMPUTER SCIENCE, 2004, 328 (03) : 245 - 269
[8] Petri-net-based coordination algorithms for Grid transactions
Tang, FL
Li, ML
Huang, JZX
Wang, CL
Luo, ZW
[J]. PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, PROCEEDINGS, 2004, 3358 : 499 - 508
[9] A Petri-net-based structure for AS/RS operation modelling
Hsieh, S
Hwang, JS
Chou, HC
[J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1998, 36 (12) : 3323 - 3346
[10] Petri-net-based evaluation of the performance of distributed systems
Shirochin, V.P.
Moskalkov, A.M.
Obeidat, A.-S.
[J]. 1600, Gordon & Breach Science Publ Inc, Newark, NJ, United States (12):

← 1 2 3 4 5 →