The Use of Petri Nets in Safety-Critical Control Systems

German Michalconok; Marek Korytar; Pavol Tanuska

doi:10.4028/www.scientific.net/AMM.693.104

Paper Titles

Influence of Random Components of the Sampling Period on the Combined Dynamic System
p.80

The Methodology Proposal for the Model-Oriented Safety Analysis of Dynamical Systems
p.86

The Dynamical Systems Safety Analysis by SQMD Method
p.92

Automation of Force Assessment Generated by Upper Limb for Ergonomic System EAWS
p.98

The Use of Petri Nets in Safety-Critical Control Systems
p.104

Modeling and Control of Compression System
p.110

Input Control in Production System by Simulation Optimization
p.117

The Options of Using Data Mining Methods in Process Control
p.123

Synographical Approach to Dynamical Systems Analysis
p.129

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vol. 693The Use of Petri Nets in Safety-Critical Control...

The Use of Petri Nets in Safety-Critical Control Systems

Abstract:

The human factor in the control of technical objects, especially potentially dangerous technologies is considered one of the most important aspects to ensure the safe operation of these devices. The machine is built according to the prior art and can be used in safety - perfect working order. Condition that may adversely affect safety must be promptly removed. Their formation can anticipate using Petri net model of the machine. This paper presents design procedure of Petri net for modeling and paint drying ovens.

You might also be interested in these eBooks

Novel Trends in Production Devices and Systems II

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volume 693)

Pages:

104-109

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.693.104

Citation:

Cite this paper

Online since:

December 2014

Authors:

German Michalconok, Marek Korytar, Pavol Tanuska

Keywords:

Control System, Human Factor, Monitoring, Petri Nets, Technological Processes

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] B. Hruz, J., Mravko.: Modelovanie a riadenie udalostnych dynamických systemov s vyuzitím Petriho sieti a inych nastrojov. Vydavatelstvo STU v Bratislave, 2003. ISBN 80-227-1883-1.

Google Scholar

[2] A. Abarcuman.: HEP – systemy upravenia technologickymi procesmi – novy typ system, orientovanych na technologicku bezpecnost a ochranu od chyb personalu. Control Science s, №3, 2007, str. 35 – 46.

Google Scholar