Real-time synchronised Petri nets

被引：0
|
作者：
Serugendo, GD [1 ]
Mandrioli, D
Buchs, D
Guelfi, N
机构：
[1] Univ Geneva, Dept Comp Sci, CH-1211 Geneva 4, Switzerland
[2] Politecn Milan, Dipartimento Elettron & Informat, I-20133 Milan, Italy
[3] Swiss Fed Inst Technol, CH-1015 Lausanne, Switzerland
[4] Luxembourg Univ Appl Sci, Dept Appl Comp Sci, IST, L-1359 Luxembourg, Luxembourg
来源：
APPLICATIONS AND THEORY OF PETRI NETS 2002 | 2002年 / 2360卷
关键词：
CO-OPN; Petri nets; real-time; inhibitor arcs;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper presents the combination of two well established principles: the CO-OPN synchronisation mechanism, and the Merlin and Farber time Petri nets. Real-time synchronised Petri nets systems are then defined such that a Petri net is an object that can ask to be synchronised with another net, and whose transition firing is constrained by relative time intervals. Our proposal enables to define complex systems with compact specifications, whose semantics is given through a small set of Structured Operational Semantics (sos) rules. The applicability of the new model is shown by applying it to a traditional benchmark adopted in the literature of real-time systems.
引用
收藏
页码：142 / 162
页数：21
相关论文
共 50 条
  • [1] Stubborn Sets for Real-Time Petri Nets
    Robert H. Sloan
    Ugo Buy
    [J]. Formal Methods in System Design, 1997, 11 : 23 - 40
  • [2] Stubborn sets for real-time Petri nets
    Sloan, RH
    Buy, U
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1997, 11 (01) : 23 - 40
  • [3] Real-time implementation of Petri nets into PLC
    Pivonka, Petr
    Chomat, Ludek
    [J]. PROCEEDING OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS: COMPUTER SCIENCE AND TECHNOLOGY, VOL 4, 2007, : 585 - +
  • [4] REAL-TIME PROGRAMS TESTING WITH PETRI NETS
    LAMARCHE, G
    TAILLIBERT, P
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 83 - 87
  • [5] REAL-TIME SPECIFICATION USING PETRI NETS
    SACHA, K
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 607 - 614
  • [6] Teaching Real-Time Systems using Petri nets
    Letia, TS
    Gruita, C
    [J]. REAL-TIME SYSTEMS EDUCATION III, PROCEEDINGS, 1999, : 49 - 56
  • [7] Generating real-time software test cases by time Petri nets
    Lin, J.C.
    Ho, I.
    [J]. International Journal of Computers and Applications, 2000, 22 (03) : 151 - 158
  • [8] Improving the Verification of Real-Time Systems Using Time Petri Nets
    del Foyo P.M.G.
    Silva J.R.
    [J]. Journal of Control, Automation and Electrical Systems, 2017, 28 (6) : 774 - 784
  • [9] Reachability analysis of real-time systems using time Petri nets
    Wang, JC
    Deng, Y
    Xu, G
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 725 - 736
  • [10] Schedulability verification of real-time systems with extended time Petri nets
    Okawa, Y.
    Yoneda, T.
    [J]. International journal of mini & microcomputers, 1996, 18 (03): : 148 - 156
12345