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 条
  • [41] Petri net-based design of modular supervisors for remotely human control systems
    Lee, JS
    Zhou, MC
    Hsu, PL
    SICE 2004 ANNUAL CONFERENCE, VOLS 1-3, 2004, : 1271 - 1276
  • [42] A Petri Net-Based Distributed Control of Automated Manufacturing Systems with Assembly Operations
    Yang, Yan
    Hu, HeSuan
    Liu, Yang
    2015 INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2015, : 1090 - 1097
  • [43] Petri net-based specification of safety-relevant railway control systems
    Einer, Stefan
    Slovak, Roman
    Schieder, Eckehard
    2000, Tetzlaff Verlag GmbH Co KG, Hamburg, Germany (51):
  • [44] Realization of Petri net-based consistency verification in computer
    Ding, C.
    Li, E.
    Journal of Mechanical Strength, 2001, 23 (03) : 280 - 282
  • [45] A Petri net-based visual language for specifying GUIs
    Li, XS
    Mugridge, WB
    Hosking, JG
    1997 IEEE SYMPOSIUM ON VISUAL LANGUAGES, PROCEEDINGS, 1997, : 50 - 57
  • [46] A Petri Net-Based Approach to Control of Boolean Networks
    Kobayashi, Koichi
    Hiraishi, Kunihiko
    2012 THIRD INTERNATIONAL CONFERENCE ON NETWORKING AND COMPUTING (ICNC 2012), 2012, : 399 - 403
  • [47] A Petri Net-based Model for the Attacking Soccer Robots
    Coman, Daniela
    RECENT ADVANCES IN AUTOMATION & INFORMATION: PROCEEDINGS OF THE 10TH WSEAS INTERNATIONAL CONFERENCE ON AUTOMATION & INFORMATION (ICAI'09), 2009, : 186 - +
  • [48] A PETRI NET-BASED SIMULATION TOOL FOR THE DESIGN AND ANALYSIS OF FLEXIBLE MANUFACTURING SYSTEMS
    YIM, DS
    BARTA, TA
    JOURNAL OF MANUFACTURING SYSTEMS, 1994, 13 (04) : 251 - 261
  • [49] Timed Colored Petri Net-Based Event Generators for Web Systems Simulation
    Bozek, Andrzej
    Rak, Tomasz
    Rzonca, Dariusz
    APPLIED SCIENCES-BASEL, 2022, 12 (23):
  • [50] Supervisory Control of Distributed Power Generation Systems with Petri Net-based Customization
    Mashio, Dierli M. da R.
    Mumbelli, Joceleide D. C.
    Bonalin, Ana C. T.
    Teixeira, Marcelo
    IFAC PAPERSONLINE, 2020, 53 (04): : 423 - 428
12345