A Petri Net-Based Software Synchronizer for Automatic Measurement Systems
暂无分享,去创建一个
Pasquale Arpaia | F. Romano | Lucio Fiscarelli | Giuseppe La Commara | P. Arpaia | L. Fiscarelli | F. Romano
[1] James J. Horning,et al. Synchronization Primitives for a Multiprocessor: A Formal Speci cation , 1987 .
[2] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[3] Shreekant S. Thakkar,et al. Synchronization algorithms for shared-memory multiprocessors , 1990, Computer.
[4] Brian N. Bershad,et al. Scheduler activations: effective kernel support for the user-level management of parallelism , 1991, TOCS.
[5] Giovanni De Micheli,et al. Synthesis and simulation of digital systems containing interacting hardware and software components , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[6] Yiannis E. Papelis,et al. Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions , 1992, IEEE Trans. Software Eng..
[7] Luciano Lavagno,et al. Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers (Special Issue on Asynchronous Circuit and System Design) , 1997 .
[8] Monika Heiner,et al. Deadlock detection in a distributed implementation of a visualization system for medical measurement signals , 1996, 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929).
[9] MengChu Zhou,et al. Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.
[10] Jonathan Billington,et al. Application of Petri Nets to Communication Networks , 1999, Lecture Notes in Computer Science.
[11] C. Murray Woodside,et al. Software Performance Evaluation by Models , 2000, Performance Evaluation.
[12] George C. Verghese,et al. Power system monitoring using Petri net embeddings , 2000 .
[13] Paul W. Prickett,et al. A Petri-net based distributed monitoring system using PIC microcontrollers , 2005, Microprocess. Microsystems.
[14] J.M. Nogiec,et al. A Configurable Component-Based Software System for Magnetic Field Measurements , 2005, IEEE Transactions on Applied Superconductivity.
[15] Jong-Deok Choi,et al. Conditional Memory Ordering , 2006, 33rd International Symposium on Computer Architecture (ISCA'06).
[16] Liu Wei,et al. Modeling and Analysis of a Testing System Using Hybrid Petri Net , 2007, 2007 8th International Conference on Electronic Measurement and Instruments.
[17] V. Calderaro,et al. DG and protection systems in distribution network: Failure monitoring system based on petri nets , 2007, 2007 iREP Symposium - Bulk Power System Dynamics and Control - VII. Revitalizing Operational Reliability.
[18] Pasquale Arpaia,et al. Digital Integrator for Fast Accurate Measurement of Magnetic Flux by Rotating Coils , 2007, IEEE Transactions on Instrumentation and Measurement.
[19] Jan Bosch. Design of an Object-Oriented Framework for Measurement Systems , 2007 .
[20] B. Stoyanov,et al. Contemporary Methods and Devices for Automatic Measurement * , 2007 .
[21] P. Arpaia,et al. A software framework for flexible magnetic measurements at CERN , 2007, 2007 IEEE Instrumentation & Measurement Technology Conference IMTC 2007.
[22] Wang Xiaoli,et al. Fault Detection and Diagnosis Based on Time Petri Net , 2007, 2007 8th International Conference on Electronic Measurement and Instruments.
[23] P. Bilski,et al. Petri Nets Model of DAQ Block in the Measurement System , 2007, 2007 4th IEEE Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications.
[24] G. D. Lucca,et al. An Aspect Oriented Programming-based approach to software development for measurement system fault detection , 2008 .
[25] G. D. Lucca,et al. An Aspect Oriented-based Architectural Framework for Synchronization in Measurement Systems , 2008 .
[26] P. Arpaia,et al. Aspect Oriented-based Software Synchronization in Automatic Measurement Systems , 2008, 2008 IEEE Instrumentation and Measurement Technology Conference.
[27] Dragan Jevtic,et al. Petri Net-Based Simulation and Analysis of the Software Development Process , 2008, KES.
[28] K. Raja,et al. Modeling and Simulation of Projects with Petri Nets , 2008 .
[29] Robert Lukaszewski,et al. Petri Nets in Measuring Systems Design , 2008, IEEE Transactions on Instrumentation and Measurement.
[30] Pasquale Arpaia,et al. Measurement-Domain Specific Language for magnetic test specifications at CERN , 2009, 2009 IEEE Instrumentation and Measurement Technology Conference.
[31] Yi Shen,et al. Real time performance analysis and evaluation of CAN bus with an extended Petri Net model , 2009, 2009 IEEE Instrumentation and Measurement Technology Conference.
[32] Pasquale Arpaia,et al. On-field validation of the new platform for magnetic measurements at CERN , 2009 .
[33] Pasquale Arpaia,et al. An Aspect-Oriented Programming-based approach to software development for fault detection in measurement systems , 2010, Comput. Stand. Interfaces.
[34] S. Amerio,et al. EUROPEAN ORGANIZATION FOR NUCLEAR RESEARCH (CERN) , 2011 .