Open access peer-reviewed chapter

Model Checking of Time Petri Nets

By Hanifa Boucheneb and Rachid Hadjidj

Published: February 1st 2008

DOI: 10.5772/5318

Downloaded: 2383

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Hanifa Boucheneb and Rachid Hadjidj (February 1st 2008). Model Checking of Time Petri Nets, Petri Net, Theory and Applications, Vedran Kordic, IntechOpen, DOI: 10.5772/5318. Available from:

chapter statistics

2383total chapter downloads

1Crossref citations

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

Related Content

This Book

Next chapter

A Linear Logic Based Approach to Timed Petri Nets

By Norihiro Kamide

Related Book

First chapter

Dynamic Modelling and Adaptive Traction Control for Mobile Robots

By Abdulgani Albagul, Wahyudi Martono and Riza Muhida

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

More about us