Petri Nets in Measuring Systems Design

This paper presents research on the modeling of the design of measuring systems (MS) with time-limited data flow. A new method of describing the MS model based on Petri Nets (PNs) and the Colored PN Tools environment is proposed. This paper provides an overall description of the formal and informal methods that can be used while designing systems.

[1]  Dino Mandrioli,et al.  Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models , 1994, IEEE Trans. Software Eng..

[2]  Enrico Vicario,et al.  Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets , 1995, IEEE Trans. Software Eng..

[3]  Francesco Flammini,et al.  UML Based Reverse Engineering for the Verification of Railway Control Logics , 2006, 2006 International Conference on Dependability of Computer Systems.

[4]  Pau-Lo Hsu,et al.  Design and implementation of the SNMP agents for remote monitoring and control via UML and Petri nets , 2004, IEEE Trans. Control. Syst. Technol..

[5]  Bruce P. Douglass,et al.  Doing hard time: developing real-time systems with uml , 1999 .

[6]  Albert Mo Kim Cheng,et al.  Real-time systems - scheduling, analysis, and verification , 2002 .

[7]  Hassan Gomaa,et al.  Designing concurrent, distributed, and real-time applications with UML , 2000, ICSE.

[8]  Enrico Vicario,et al.  Static Analysis and Dynamic Steering of Time-Dependent Systems , 2001, IEEE Trans. Software Eng..

[9]  Robert Lukaszewski,et al.  Petri Nets in Measuring Systems Design , 2006, IMTC 2006.

[10]  R. Lukaszewski,et al.  Petri Nets in Measuring Systems Design , 2006, 2006 IEEE Instrumentation and Measurement Technology Conference Proceedings.

[11]  Jan Carlson,et al.  Languages and methods for specifying real-time systems , 2002 .

[12]  Hans-Michael Hanisch.  Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control , 1993, Application and Theory of Petri Nets.

[13]  Paolo Nesi,et al.  An Interval Logic for Real-Time System Specification , 2001, IEEE Trans. Software Eng..

[14]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[15]  Jorge C. A. de Figueiredo,et al.  Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols , 1999 .

[16]  Raghavan Srinivasan,et al.  Modeling and performance analysis of cluster tools using Petri nets , 1998 .