InTech - Open Access Publisher

Model Checking of Time Petri Nets Hanifa Boucheneb and Rachid Hadjidj

Bookmark and Share

    Tweet

     

How to Reference

To reference this article in your paper, please copy and paste the following text:

How to Link

To place a link on your website or a blog, please copy and paste the following HTML code:

Related Articles

• Intuitive Transformation of UML2 Activities into Fundamental Modeling Concept Petri Nets and Colo...
• From Time Petri Nets to Timed Automata
• A new Control Synthesis Approach of P-Time Petri Nets
• Scheduling Analysis of FMS Using the Unfolding Time Petri Nets
• Estimation of Mean Response Time of Multi—Agent Systems Using Petri Nets
• Using Petri Nets to Model and Simulation Production Systems in Process Reengineering (Case Study)
• Systolic Petri Nets
• An Application of Petri Nets to e/m-Learning Environments
• Security Analysis of the RFID Authentication Protocol Using Model Checking
• Multi-Robot Systems: Modeling, Specification, and Model Checking
• Diagnosis of Discrete Event Systems with Petri Nets
• Flexible Manufacturing System Simulation Using Petri Nets