Petri Nets: an Analysis of its Properties through a Model of Titanium Injection System and Other Pulverized into Blast Furnaces by using the Software CPN Tools

摘要

The development of computer technologies that facilitate daily tasks is always in constant expansion. Due to this, the implementation of a system network is required to the data properly and automatically correlate. Many areas of computing and automation use the Petri Nets as base model for the creation of these technologies, e.g., communication protocols in computer systems. The objective of this article is to present an analysis of the properties found in a Petri Network, based on a model of titanium injection system and other pulverized into blast furnaces due to the high level of abstraction provided by the model by using the software CPN Tools. The result of this work is to show how the Petri Nets can be used to enhance effectiveness in a process just by analyzing its properties.