Title :
Petri Nets in Measuring Systems Design
Author :
Robert Lukaszewski;Wies?aw Winiecki
Author_Institution :
Warsaw Univ. of Technol., Warsaw
Abstract :
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.
Keywords :
"Petri nets","Flexible manufacturing systems","Delay","Design methodology","Time measurement","Software testing","Hardware","Fluid flow measurement","Software quality","Employment"
Journal_Title :
IEEE Transactions on Instrumentation and Measurement
DOI :
10.1109/TIM.2007.913601