A Petri Net-Based Software Synchronizer for Automatic Measurement Systems

被引：5
|
作者：
Arpaia, Pasquale [1 ,2 ]
Fiscarelli, Lucio [1 ,2 ]
La Commara, Giuseppe [1 ]
Romano, Felice [1 ]
机构：
[1] Univ Sannio, Dept Engn, I-82100 Benevento, Italy
[2] CERN, European Org Nucl Res, Dept Technol, Grp Magnets Superconductors Cryostats, CH-1211 Geneva 23, Switzerland
来源：
IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT | 2011年 / 60卷 / 01期
关键词：
Automatic test software; permeability measurement; Petri nets (PNs); software reusability; synchronization;
D O I：
10.1109/TIM.2010.2046602
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
A Petri net (PN)-based approach to software synchronization in automatic measurement systems is proposed. Tasks are synchronized by means of a PN modeling an execution graph, where nodes represent tasks and arrows among nodes point out time succession among the corresponding tasks. This allows software synchronization to be abstracted above the code level by leaving the test engineer to work at a more intuitive level. As an experimental case study, the design, the implementation, and the application to a measurement scenario of the PN-based synchronizer inside the software framework for testing magnets at the European Organization for Nuclear Research (CERN) are illustrated.
引用
收藏
页码：319 / 328
页数：10
相关论文
共 50 条
  • [31] Petri net-based engine for adaptive learning
    Vidal, Juan C.
    Lama, Manuel
    Bugarin, Alberto
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2012, 39 (17) : 12799 - 12813
  • [32] Modular distributed models of production systems: a Petri net-based approach
    Davidrajuh, Reggie
    Krenczyk, Damian
    Skolud, Bozena
    [J]. BULLETIN OF THE POLISH ACADEMY OF SCIENCES-TECHNICAL SCIENCES, 2023, 71 (02)
  • [33] A Petri Net-based Supply Chain System
    Liu, Jiang-ping
    Wu, Ri-geng
    [J]. INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2018, 14 (11) : 28 - 39
  • [34] Petri net-based scheduling of a bridge project
    Sawhney, A
    Vamadevan, A
    [J]. CONSTRUCTION CONGRESS VI, PROCEEDING: BUILDING TOGETHER FOR A BETTER TOMORROW IN AN INCREASINGLY COMPLEX WORLD, 2000, : 107 - 114
  • [35] An algorithm for timed petri net-based simulation
    LopezMellado, E
    VallejoGonzalez, S
    [J]. INTERNATIONAL JOURNAL OF ROBOTICS & AUTOMATION, 1996, 11 (02): : 83 - 90
  • [36] Petri Net-based scheduling of construction projects
    Sawhney, A
    Mund, A
    Chaitavatputtiporn, T
    [J]. CIVIL ENGINEERING AND ENVIRONMENTAL SYSTEMS, 2003, 20 (04) : 255 - 271
  • [37] A Petri net-based environment for GUI design
    Li, XS
    Mugridge, WB
    Hosking, JG
    [J]. SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2234 - 2239
  • [38] Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems
    Zeng, Guoqiang
    Wu, Weimin
    Zhou, MengChu
    Mao, Weijie
    Su, Hongye
    Chu, Jian
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 193 - +
  • [39] An incremental Petri net-based approach to the Modeling of production sequences in manufacturing systems
    Castelnuovo, Adamo
    Ferrarini, Luca
    Piroddi, Luigi
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (03) : 424 - 434
  • [40] Petri net-based design of modular supervisors for remotely human control systems
    Lee, JS
    Zhou, MC
    Hsu, PL
    [J]. SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 2004, : 1271 - 1276
12345