Petri Net as a Tool for Modelling the Microprocessor Measurement-Control System Used in Critical Applications

Ryszard Mielnik

Abstract

The paper presents assumption for a microprocessor measurement-control system (MMCS). For synthesis this system the Petri net was used. On the basis of the analysis of the operation of MMCS there were formed sets of elementary events and conditions defining when particular events could take place, or conditions resulting from a given event. On this basis a Petri net for MMCS was worked out. Using formally prepared specification of the task, a general idea of software was worked out. For application idea of software is used of the SFC language for PLC controllers.

Keywords

Petrii net, microprocessors control system, critical applications

Download

IMEKO-TC7-2002-035.pdf

DOI

-

IMEKO TC

TC7 - Measurement Science

Back to the proceedings