Open access peer-reviewed Edited Volume

Petri Nets Applications

Book metrics overview

77,620 Chapter Downloads

View Full Metrics

Academic Editor

Pawel Pawlewski

Poznań University of Technology, Poland

PublishedFebruary 1st, 2010

Doi10.5772/150

ISBN978-953-307-047-6

eBook (PDF) ISBN978-953-51-5867-7

Copyright year2010

Number of pages764

Read more
Order Print Copy

Edited Volume and chapters are indexed in

  • Google Scholar
  • DOAB
  • Crossref
  • Dimension
  • OpenAIRE
  • AZ ebsco
  • Worldcat
Show more

Table of Contents

Open access peer-reviewed  chapters

5. Systolic Petri Nets

By Alexandre Abellard and Patrick Abellard

1,594
6. Towards Rewriting Semantics of Software Architecture Specification

By Yujian Fu, Zhijiang Dong, Phil Bording and Xudong He

1,813
8. Using Petri nets for modeling and verification of Hybrid Systems

By Ricardo Rodriguez, Otoniel Rodriguez, Gerardo Reyes and Vianey Cruz

1,931
11. Distributed Implementation of Petri nets in Control Applications

By Ramon Piedrafita, Danilo Tardioli and Jose Luis Villarroel

1,985
1
13. Reachability Analysis of Time-Critical Systems

By Stefan Hudak, Stefan Korecko and Slavomir Simonak

1,554
14. Supervisory Control and High-level Petri nets

By Chiheb Ameur Abid, Sajeh Zairi and Belhassen Zouari

2,736
15. Using Petri Net for Modeling and Analysis of a Encryption Scheme for Wireless Sensor Networks

By Hugo Rodriguez, Ruben Carvajal, Beatriz Ontiveros, Ismael Soto and Rolando Carrasco

2,652
4
16. Diagnosability in Switched Linear Systems

By Lizette Rubio- Gomez, David Gomez-Gutierrez, Antonio Ramirez-Trevino, Javier Ruiz-Leon and Guillermo Ramirez-Prado

1,627
17. Fault Diagnosis for Complex Systems Using Coloured Petri Nets

By L. Rodriguez, E. Garcia, F. Morant, A. Correcher and E. Quiles

2,120
1
18. Modelling and Fault Diagnosis by Means of Petri Nets. Unmanned Aerial Vehicle Application

By Miguel Trigos, Antonio Barrientos, Jaime del Cerro and Hermes Lopez

2,504
22. Workflow Diagnosis Using Petri Net Charts

By Calin Ciufudean and Constantin Filote

1,437
23. Evaluation of Power System Security with Petri Nets

By Jose L. Sanchez, Mario A. Rios and Gustavo Ramos

3,037
24. Fault Diagnosis on Electric Power Systems Based on Petri Net Approach

By Alejandra Santoyo-Sanchez, José Alberto Gutiérrez-Robles, Elvia Ruiz-Beltrán, Carlos Alberto De Jesús-Velasquez, Luis Isidro Aguirre-Salas and Victor Ortiz-Muro

5,685
3
3,458
1
26. Assessing Risks in Critical Systems Using Petri Nets

By Lucio Flavio Vismari and Joao Batista Camargo Junior

2,238
30. An Approach Based in Petri Net for Requirement Analysis

By Ermeson Andrade, Paulo Maciel, Gustavo Callou, Bruno Nogueira and Carlos Araujo

1,918
1,605

IMPACT OF THIS BOOK AND ITS CHAPTERS

77,620 Total Chapter Downloads

22 Crossref Citations

13 Web of Science Citations

54 Dimensions Citations

Order a print copy of this book

£159 (ex. VAT)*

Hardcover | Printed Full Colour

IntechOpen Contributor? Get your Discount

FREE SHIPPING WORLDWIDE

Order & Delivery info

* Residents of European Union countries need to add a Book Value-Added Tax Rate based on their country of residence. Institutions and companies, registered as VAT taxable entities in their own EU member state, will not pay VAT by providing IntechOpen with their VAT registration number. This is made possible by the EU reverse charge method.

Instructor? Request an Exam Copy