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...

In this paper, we present an algorithm to check liveness of weighted routed nets. This novel method is based on the total number of event equations for each single input subnet and on a continuous approximation of a Petri net that provides linear equation descriptions. Vivacitt des rrseaux ponddrrs routage RRsumm : Dans cet article, nous prrsentons un algorithme pour vriier la vivacitt des rrse...

Robustness analysis provides an alternative way to analyze a perturbed system to quickly respond to resource failures. Nonordinary Petri nets have weighted arcs and have the advantage to compactly model operations requiring multiple parts or resources. In this paper, we consider a class of non-ordinary flexible assembly/disassembly Petri net (NFADPN) models and study its robustness properties. ...

This paper presents a deadlock prevention algorithm for the class of sequential resource allocation system for flexible manufacturing systems, which allows for multiple resources flexible routings. Two classes of Petri nets Extended from Systems of Simple Sequential Processes with Resources (ESPR) and Systems of Simple Sequential Processes with General Resource Requirements (SPGR) whose deadloc...

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...