This paper presents an integrated system for intelligent control and fault management in thermal power plants. This modular system consists of fuzz logic based intelligent control fuzzy petri net based plant performance monitoring and soft computing based fault diagnosis. Finally, a fault management strategy is presented, which aims at increased up – time of the plant and enhanced safety of the...

This paper gives the Petri net ontology as the most important element in providing Petri net support for the Semantic Web. Available Petri net formal descriptions are: metamodels, UML profiles, ontologies and syntax. Metamodels are useful, but their main purpose is for Petri net tools. Although the current Petri-net community effort Petri Net Markup Language (PNML) is XMLbased, it lacks a preci...

In this paper, implementation and evaluation of a Printed Circuit Board Assembly (PCBA) manufacturing system model based on papers of Fuzzy Colored Petri Nets (FCPN) modeling tel:hnique was performed. From the Petri nets simulation results, two contributions were claimed: (1) The successful application of our approach to evaluate systems that consist of complicated concurrent processes with emb...

To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...

The basic concepts of the Petri Net Baukastenn are introduced. The Petri Net Baukastenn is a Petri net technology and provides Petri net techniques. The Petri Net Baukastenn is consists of the Common Base and three diierent views, the Application Developer View, the Tool Developer View, and the Expert View. The main focus is to support the application developer and the tool developer as well as...