Fail-safe Modeling of Discrete Event Systems using Petri Nets

Nazemzadeh, P.; Dideban, A.; Zareiee, M.
March 2011
World Academy of Science, Engineering & Technology;Mar2011, Issue 51, p178
Academic Journal
No abstract available.


Related Articles

  • Model on simplified condition of welding robot system. Ma, G. H.; Chen, S. B. // International Journal of Advanced Manufacturing Technology;Jul2007, Vol. 33 Issue 9/10, p1056 

    Because of the complexity of controlling the flexible manufacture system in welding, a theory of Petri net is adopted to model and simulate in this paper. When we model the complex system, a new way named TCPN is used to analyze information. And two kinds of models are built which are STCPN and...

  • Analysis of Suspected Change Domain Based on Merged Model. Juan Zhao; Xianwen Fang; Xiangwei Liu // Applied Mechanics & Materials;2014, Issue 556-562, p4124 

    Analysis of suspected change domain has become the key problems in the area of business process management. But when input models are large complex process models, existing methods have obvious limitations. An analysis method of the change region based on merged Petri model in the paper....

  • Protocol Specification Design Using an Object-Based Petri Net Formalism. Sliva, Vladimir P.; Murata, Tadao; Shatz, Sol M. // International Journal of Software Engineering & Knowledge Engine;Feb99, Vol. 9 Issue 1, p97 

    This paper presents a method for modeling of communication protocols using G-Nets — an object-based Petri net formalism. Our approach focuses on specification of one entity in one node at one time, with the analysis that allows consideration of other layers and nodes in addition to module...

  • Reducing the Number of Constraints in Non Safe Petri Net. Zareiee, M.; Dideban, A. // World Academy of Science, Engineering & Technology;Mar2011, Issue 51, p174 

    No abstract available.

  • Modeling, Simulation, and Control of Smart Homes Using Petri Nets. Nabih, Azza K.; Gomaa, Mostafa M.; Osman, Hossam S.; Aly, Gamal M. // International Journal of Smart Home;Jul2011, Vol. 5 Issue 3, p1 

    Smart home is a relatively new technology. Originally, smart home technology was used to control environmental systems such as lighting and heating; but recently the use of smart technology has been developed so that almost any electrical component within the home can be included in the system....

  • Modeling and Simulation of Projects with Petri Nets. Kumanan, S.; Raja, K. // American Journal of Applied Sciences;2008, Vol. 5 Issue 12, p1742 

    Traditional project management tools and other revised tools are limited in representation of the problem and in dealing situation dynamically. This paper details the use of Petri nets as a graphical and mathematical modeling and simulation tool in project management. In this context, the...

  • Analysis of Supply Chain Conflicts Using Colored Petri Nets. John, Franklin R.; Ramanathan, P. Ashok; Prasad, P. S. S. // Annual International Conference on Materials Science, Metal & Ma;2012, Vol. 2, p176 

    Supply chains are generally complex and are characterized by numerous activities spread across multiple functions and organizations, which pose interesting challenges for effective supply chain coordination. Coordinating and managing distributed entities in a supply chain is a challenging task...

  • Modeling and Simulation Method of Component Based Petri Net. Yaohong Zhang; XianFeng Zhang // Advanced Materials Research;2014, Vol. 936, p2254 

    The structure of Petri net model is relative fixed after it is built, so it can't describe dynamic change behavior of real system structure easily. Description formalness, coupling mechanism and simulation method were presented, the dynamic change of Petri net structure in simulation run was...

  • Modeling and Analysis on Time Management Performance for Time Stepped Hla Federation. Cao Hai-wang; XUE Chao-gai // Information Technology Journal;2013, Vol. 12 Issue 18, p4748 

    This study deals with the modeling and analysis on time management performance for time stepped HLA federation. Firstly, the colored interaction petri net is proposed to describe the complex information and based on the colored interaction petri net, the time management model of HLA federation...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics