Petri Nets: Applications

Table of Contents

01 An Application of GSPN for Modeling and Evaluating Local Area Computer Networks
Masahiro Tsunoyama and Hiroei Imai
02 Architecture of Computer Intrusion Detection Based on Partially Ordered Events
Liberios Vokorokos and Anton Balaz
03 Particle Filter for Depth Evaluation of Networking Intrusion Detection Using Coloured Petri Nets
Chien-Chuan Lin and Ming-Shi Wang
04 Modeling and Analyzing Software Architecture Using Object-Oriented Petri Nets and pi-calculus
Zhenhua Yu, Xiao Fu, Yu Liu, JingWang and Yuanli Cai
05 Systolic Petri Nets
Alexandre Abellard and Patrick Abellard
06 Towards Rewriting Semantics of Software Architecture Specification
Yujian Fu, Zhijiang Dong, Phil Bording and Xudong He
07 Transfer-Resource Graph and Petri-net for System-on-Chip Verification
Xiaoxi Xu and Cheng-Chew Lim
08 Using Petri nets for modeling and verification of Hybrid Systems
Ricardo Rodriguez, Otoniel Rodriguez, Gerardo Reyes and Vianey Cruz
09 A new Control Synthesis Approach of P-Time Petri Nets
Bonhomme Patrice
10 CL-MAC: Cross-layer MAC Protocol for Delay Sensitive Wireless Sensor Network Applications
Kechar Bouabdellah and Sekhri Larbi
11 Distributed Implementation of Petri nets in Control Applications
Ramon Piedrafita, Danilo Tardioli and Jose Luis Villarroel
12 Hybrid state Petri nets which have the analysis power of stochastic hybrid systems and the formal verification power of automata
Mariken H.C. Everdij and Henk A.P. Blom
13 Reachability Analysis of Time-Critical Systems
Stefan Hudak, Stefan Korecko and Slavomir Simonak
14 Supervisory Control and High-level Petri nets
Chiheb Ameur Abid, Sajeh Zairi and Belhassen Zouari
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
16 Diagnosability in Switched Linear Systems
Lizette Rubio- Gomez, David Gomez-Gutierrez, Antonio Ramirez-Trevino, Javier Ruiz-Leon and Guillermo Ramirez-Prado
17 Fault diagnosis for complex systems using Coloured Petri Nets
L. Rodriguez, E. Garcia, F. Morant, A. Correcher and E. Quiles
18 Modelling and Fault Diagnosis by means of Petri Nets. Unmanned Aerial Vehicle Application
Miguel Trigos, Antonio Barrientos, Jaime del Cerro and Hermes Lopez
19 Design and Implementation of Hierarchical and Distributed Control for Robotic Manufacturing Systems using Petri Nets
Genichi Yasuda
20 Performance Evaluation of Distributed Systems: A Component-Based Modeling Approach based on Object Oriented Petri Nets
Aladdin Masri, Thomas Bourdeaud'hui and Armand Toguyeni
21 Using Petri Nets to Model and Simulation Production Systems in Process Reengineering (case study)
Pawlewski Pawel
22 Workflow Diagnosis Using Petri Net Charts
Calin Ciufudean and Constantin Filote
Downloads 25
23 Evaluation of Power System Security with Petri Nets
Jose L. Sanchez, Mario A. Rios and Gustavo Ramos
24 Fault Diagnosis on Electric Power Systems based on Petri Net Approach
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
25 GPenSIM: A New Petri Net Simulator
Reggie Davidrajuh
26 Assessing Risks in Critical Systems using Petri Nets
Lucio Flavio Vismari and Joao Batista Camargo Junior
27 Modelling and Analysis of Traffic Light Control Systems Using Timed Coloured Petri nets
Yi-Sheng Huang and Ta-Hsiang Chung
28 Traffic Network Control Based on Hybrid System Modeling
Youngwoo Kim
29 Using Petri Nets in the analysis of sequential automata models with direct applications on the transport systems with accumulation areas
Dan Ungureanu-Anghel
30 An Approach Based in Petri Net for Requirement Analysis
Ermeson Andrade, Paulo Maciel, Gustavo Callou, Bruno Nogueira and Carlos Araujo
31 Intuitive Transformation of UML2 Activities into Fundamental Modeling Concept Petri Nets and Colored Petri Nets
Anthony Spiteri Staines
32 Multilevel Petri Nets for the Specification and Development of Workflow Automation Systems
Marina Flores-Badillo and Ernesto Lopez-Mellado
33 An Application of Petri Nets to e/m-Learning Environments
Cristina De Castro and Paolo Toppan
34 Petri nets-based Models for Web Services Composition
Huaikou Miao and Tao He