Process expression of bounded Petri nets

被引：0
|
作者：
吴哲辉
机构：
[1] Shandong Institute of Mining and Technology
[2] Department of Applied Mathematics & Software Engineering
[3] Taian 271019
[4] China
来源：
Science in China(Series E:Technological Sciences) | 1996年 / 01期
基金：
中国国家自然科学基金;
关键词：
Petri net; process; regular expressron;
D O I：
暂无
中图分类号：
O241 [数值分析];
学科分类号：
070102 ;
摘要：
The concept of process expression of bounded Petri nets is presented.Moreover,an algorithm to find the process expression for a bounded Petri net is given.A process expression of a bounded Petri net is a regular expression whose every alphabet symbol represents a basic subprocess of the net.The regular set expressed by the regular expression is the set of all surjective processes of a bounded Petri net.A surjective process of a bounded Petri net is a process of this net in which every s-cut corresponds to a reachable marking of the net.Therefore,all surjective processes of a bounded Petri net can be obtained as long as its process expression and the basic subprocess represented by the alphabet symbols of the process expression are given.
引用
收藏
页码：37 / 49
页数：13
相关论文
共 50 条
  • [41] Symbolic state estimation in bounded timed labeled Petri nets
    Dong, Yifan
    Wu, Naiqi
    Li, Zhiwu
    AUTOMATICA, 2024, 160
  • [42] Supervisor synthesis for bounded Petri nets based on a transformation function
    Ru, Y
    Wu, WM
    Su, HY
    Chu, J
    PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 4493 - 4498
  • [43] Codiagnosability Verification of Bounded Petri Nets Using Basis Markings
    Ran, Ning
    Su, Hongye
    Giua, Alessandro
    Seatzu, Carla
    2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 3948 - 3953
  • [44] Verification of Archive System Opacity With Bounded Labeled Petri Nets
    Liu, Zhenzhong
    IEEE ACCESS, 2024, 12 : 57185 - 57193
  • [45] Random Process Simulation Using Petri Nets
    Szilagyi, Laszlo
    MACRO 2015: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON RECENT ACHIEVEMENTS IN MECHATRONICS, AUTOMATION, COMPUTER SCIENCES AND ROBOTICS, 2015, : 177 - 182
  • [46] A matrix implementation of Petri nets for process planning
    Kiritsis, D
    Xirouchakis, P
    MANUFACTURING, MODELING, MANAGEMENT AND CONTROL, PROCEEDINGS, 2001, : 173 - 179
  • [47] A combination of Petri nets and process network synthesis
    Gyapay, S
    Pataricza, A
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1167 - 1174
  • [48] Application of Petri nets in business process modeling
    Li, H.C.
    Shi, M.L.
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2001, 22 (01):
  • [49] Disassembly process planning using Petri nets
    Moore, KE
    Gungor, A
    Gupta, SM
    PROCEEDINGS OF THE 1998 IEEE INTERNATIONAL SYMPOSIUM ON ELECTRONICS AND THE ENVIRONMENT, 1998, : 88 - 93
  • [50] Nested Petri nets for adaptive process modeling
    Lomazova, Irina A.
    PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 460 - 474
12345