Petri Nets
Applications
Pawel Pawlewski
Petri Nets Applications
Edited by Pawel Pawlewski
ISBN 978-953-307-047-6, 752 pages,  Publishing date: February 2010
SHARE THIS BOOK          BOOKMARK           I LIKE THIS BOOK
Facebook Twitter Tell a friend               add to favorites


DOWNLOAD THIS BOOK, it’s FREE
Downloaded 9 times
zipped PDF | 53.74 Mb

Table of Contents

04 Modeling and Analyzing Software Architecture Using Object-Oriented Petri Nets and -calculus
Zhenhua Yu, Xiao Fu, Yu Liu, JingWang and Yuanli Cai
Downloads 0
05 Systolic Petri Nets
Alexandre Abellard and Patrick Abellard
Downloads 0
06 Towards Rewriting Semantics of Software Architecture Specification
Yujian Fu, Zhijiang Dong, Phil Bording and Xudong He
Downloads 1
08 Using Petri nets for modeling and verification of Hybrid Systems
Ricardo Rodriguez, Otoniel Rodriguez, Gerardo Reyes and Vianey Cruz
Downloads 1
11 Distributed Implementation of Petri nets in Control Applications
Ramon Piedrafita, Danilo Tardioli and Jose Luis Villarroel
Downloads 0
13 Reachability Analysis of Time-Critical Systems
Stefan Hudak, Stefan Korecko and Slavomir Simonak
Downloads 0
14 Supervisory Control and High-level Petri nets
Chiheb Ameur Abid, Sajeh Zairi and Belhassen Zouari
Downloads 11
15 Using Petri Net for Modeling and Analysis of a Encryption Scheme for Wireless Sensor Networks
Hugo Rodriguez, Ruben Carvajal, Beatriz Ontiveros, Ismael Soto and Rolando Carrasco
Downloads 1
16 Diagnosability in Switched Linear Systems
Lizette Rubio- Gomez, David Gomez-Gutierrez, Antonio Ramirez-Trevino, Javier Ruiz-Leon and Guillermo Ramirez-Prado
Downloads 1
17 Fault diagnosis for complex systems using Coloured Petri Nets
L. Rodriguez, E. Garcia, F. Morant, A. Correcher and E. Quiles
Downloads 1
18 Modelling and Fault Diagnosis by means of Petri Nets. Unmanned Aerial Vehicle Application
Miguel Trigos, Antonio Barrientos, Jaime del Cerro and Hermes Lopez
Downloads 1
22 Workflow Diagnosis Using Petri Net Charts
Calin Ciufudean and Constantin Filote
Downloads 0
23 Evaluation of Power System Security with Petri Nets
Jose L. Sanchez, Mario A. Rios and Gustavo Ramos
Downloads 4
24 Fault Diagnosis on Electric Power Systems based on Petri Net Approach
Alejandra Santoyo-Sanchez, Jose Alberto Gutierrez-Robles, Elvia Ruiz-Beltran, Carlos Alberto De Jesus–Velasquez, Luis Isidro Aguirre-Salas and Victor Ortiz-Muro
Downloads 1
25 GPenSIM: A New Petri Net Simulator
Reggie Davidrajuh
Downloads 0
26 Assessing Risks in Critical Systems using Petri Nets
Lucio Flavio Vismari and Joao Batista Camargo Junior
Downloads 0
30 An Approach Based in Petri Net for Requirement Analysis
Ermeson Andrade, Paulo Maciel, Gustavo Callou, Bruno Nogueira and Carlos Araujo
Downloads 0
32 Multilevel Petri Nets for the Specification and Development of Workflow Automation Systems
Marina Flores-Badillo and Ernesto Lopez-Mellado
Downloads 1
33 An Application of Petri Nets to e/m-Learning Environments
Cristina De Castro and Paolo Toppan
Downloads 0
34 Petri nets-based Models for Web Services Composition
Huaikou Miao and Tao He
Downloads 1