• DocumentCode
    3624300
  • Title

    Petri Nets in Measuring Systems Design

  • Author

    Robert Lukaszewski;Wieslaw Winiecki

  • Author_Institution
    Warsaw University of Technology, Institute of Radioelectronics Nowowiejska 15/19, 00-665 Warsaw, Phone: +48-22-6607340, Fax: +48-22-8255248, r.lukaszewski@ire.pw.edu.pl
  • fYear
    2006
  • fDate
    4/1/2006 12:00:00 AM
  • Firstpage
    1564
  • Lastpage
    1569
  • Abstract
    The paper presents research on a modelling of design measuring systems (MS) with time limited dataflow. A new method of describing MS model based on Petri nets and CPN tools environment is proposed in the article. The article provides an overall description of informal and formal methods, which can be used while designing systems
  • Keywords
    "Petri nets","Delay","Velocity measurement","Time measurement","Hardware","Paper technology","Fluid flow measurement","Channel capacity","Measurement errors","Software measurement"
  • Publisher
    ieee
  • Conference_Titel
    Instrumentation and Measurement Technology Conference, 2006. IMTC 2006. Proceedings of the IEEE
  • ISSN
    1091-5281
  • Print_ISBN
    0-7803-9359-7
  • Type

    conf

  • DOI
    10.1109/IMTC.2006.328678
  • Filename
    4124609