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
