Control Interpreted Petri Nets - Model Checking and Synthesis

QR Code

Control Interpreted Petri Nets - Model Checking and Synthesis

None

Saved in:

Bibliographic Details
Main Author:	Grobelna, Iwona
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/38494
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Grammars Controlled by Petri Nets
by: Dassow, J., et al.
Published: (2012)

Boolean Petri Nets
by: Kansal, Sangita, et al.
Published: (2012)

Timed Petri Nets
by: Silva, José Reinaldo, et al.
Published: (2012)

A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets
by: Heidari, Parisa, et al.
Published: (2012)

Construction and Application of Learning Petri Net
by: Feng, Liangbing, et al.
Published: (2012)

Automated Petri-Net Modelling for Batch Production Scheduling
by: Gradišar, Dejan, et al.
Published: (2012)

Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems
by: Labadi, Karim, et al.
Published: (2012)

Petri net theory and the modeling of systems
by: Peterson, James Lyle
Published: (1981)

Timed Petri Nets in Performance Exploration of Simultaneous Multithreading
by: Zuberek, Wlodek M.
Published: (2012)

Performance Evaluation of Timed Petri Nets in Dioid Algebra
by: Hamaci, Samir, et al.
Published: (2012)

Using Timed Coloured Petri Nets for Modelling, Simulation and Scheduling of Production Systems
by: Bozek, Andrzej
Published: (2012)

Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems
by: Martiník, Ivo
Published: (2012)

Implementation of Distributed Control Architecture for Multiple Robot Systems Using Petri Nets
by: Yasuda, Gen'ichi
Published: (2012)

Reachability Criterion with Sufficient Test Space for Ordinary Petri Net
by: Lee, Gi Bum, et al.
Published: (2012)

Measurement of Work-in-Process and Manufacturing Lead Time by Petri Nets Modeling and Throughput Diagram
by: Facchin, Tiago, et al.
Published: (2012)

State of the Art in Interactive Storytelling Technology: An Approach Based on Petri Nets
by: El-Sattar, Hussein Karam Hussein Abd
Published: (2012)

A Petri Net-Based Approach to the Quantification of Data Center Dependability
by: Callou, Gustavo, et al.
Published: (2012)

Real-Time Petri Net Based Control System Design for Distributed Autonomous Robotic Manufacturing Systems
by: Yasuda, Gen'ichi
Published: (2012)

Context Aware Model-Checking for Embedded Software
by: Dhaussy, Philippe, et al.
Published: (2012)

Security Analysis of the RFID Authentication Protocol Using Model Checking
by: Kim, Hyun-Seok, et al.
Published: (2011)

Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations
by: Mazigh, Belhassen, et al.
Published: (2012)

Face Image Synthesis and Interpretation Using 3D Illumination-Based AAM Models
by: Ayala-Raggi, Salvador E., et al.
Published: (2011)

Fluid Stochastic Petri Nets: From Fluid Atoms in ILP Processor Pipelines to Fluid Atoms in P2P Streaming Networks
by: Mitrevski, Pece, et al.
Published: (2012)

Rough Controller Synthesis
by: Pinheiro, Carlos, et al.
Published: (2012)

Multimodal Fusion for Robust Identity Authentication: Role of Liveness Checks
by: Chetty, Girija, et al.
Published: (2011)

The 20 minute health check /
by: Coleman, Vernon
Published: (1989)

Voltage Stability Analysis of Automotive Power Nets based on Modeling and Experimental Results
by: Kohler, Tom P., et al.
Published: (2011)

The Numerical Simulation of Hydrodynamics of Fishing Net Cage
by: Zhao, Yunpeng, et al.
Published: (2012)

Model Based μ-Synthesis Controller Design for Time-Varying Delay System
by: Uchimura, Yutaka
Published: (2011)

Identification of Key Drivers of Net Promoter Score Using a Statistical Classification Model
by: Jeske, Daniel R., et al.
Published: (2011)

A Low-Overhead Non-Block Check Pointing and Recovery Approach for Mobile Computing Environment
by: Gupta, Bidyut, et al.
Published: (2012)

Modern mathematics check-up
by: Raven, A. J. (Arthur John)
Published: (1977)

Combustion Synthesis of Ceramic Powders with Controlled Grain Morphologies
by: Liu, Guanghua, et al.
Published: (2011)

Detecting, Tracking, and Identifying Airborne Threats with Netted Sensor Fence
by: Shi, Weiqun, et al.
Published: (2011)

Net-Shaping of Ceramic Components by Using Rapid Prototyping Technologies
by: Tian, Xiaoyong, et al.
Published: (2011)

Reflectance Modeling in Machine Vision: Applications in Image Analysis and Synthesis
by: Gruna, Robin, et al.
Published: (2012)

Some Methods for Structural and Parametric Synthesis of Bio-Economic Models
by: Filatova, Daria
Published: (2011)

Synthesis and Application of Nanorods
by: Sadeghi, Babak
Published: (2012)

Carbon Nanotube Synthesis
by: Rolant, Eba Medjo
Published: (2011)

Ontology Learning Using Word Net Lexical Expansion and Text Mining
by: Luong, Hiep, et al.
Published: (2012)