Open access peer-reviewed chapter

Control Interpreted Petri Nets - Model Checking and Synthesis

By Iwona Grobelna

Submitted: December 1st 2011Reviewed: May 4th 2012Published: August 29th 2012

DOI: 10.5772/47797

Downloaded: 1961

© 2012 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution 3.0 License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Iwona Grobelna (August 29th 2012). Control Interpreted Petri Nets - Model Checking and Synthesis, Petri Nets - Manufacturing and Computer Science, Pawel Pawlewski, IntechOpen, DOI: 10.5772/47797. Available from:

chapter statistics

1961total 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

Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems

By Ivo Martiník

Related Book

First chapter

An Application of GSPN for Modeling and Evaluating Local Area Computer Networks

By Masahiro Tsunoyama and Hiroei Imai

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