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 条
  • [21] A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (02): : 299 - 308
  • [22] Petri net-based context modeling for context-aware systems
    Han, Seungwok
    Youn, Hee Yong
    ARTIFICIAL INTELLIGENCE REVIEW, 2012, 37 (01) : 43 - 67
  • [23] PETRI NET-BASED OBJECT-ORIENTED MODELING OF DISTRIBUTED SYSTEMS
    BRUNO, G
    BALSAMO, A
    SIGPLAN NOTICES, 1986, 21 (11): : 284 - 293
  • [24] Petri net-based architecture for plant simulation
    Camurri, A
    Coglio, A
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 397 - 402
  • [25] Controllable Petri Net-Based Implementation Approach for Motor Control Systems
    Kuo, Chung-Hsien
    Chen, Ting-Shuo
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2013, 60 (10) : 4599 - 4612
  • [26] Comparing Petri net-based models of biological systems using Holmes
    Szawulak, Bartlomiej
    Radom, Marcin
    Formanowicz, Piotr
    BIOINFORMATICS, 2022, 38 (19) : 4652 - 4653
  • [27] Fuzzy continuous Petri net-based approach for modeling immune systems
    Park, Inho
    Na, Dokyun
    Lee, Doheon
    Lee, Kwang H.
    NEURAL NETS, 2006, 3931 : 278 - 285
  • [28] Petri net-based context modeling for context-aware systems
    Seungwok Han
    Hee Yong Youn
    Artificial Intelligence Review, 2012, 37 : 43 - 67
  • [29] A colored Petri net-based formal method for the design of central systems
    Makungu, M
    StDenis, R
    Barbeau, M
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 28 - 35
  • [30] Petri net-based modeling and control of the multi-elevator systems
    Ahmad, Farooq
    Fakhir, Ilyas
    Khan, Sher Afzal
    Khan, Yaser Daanial
    NEURAL COMPUTING & APPLICATIONS, 2014, 24 (7-8): : 1601 - 1612
12345