Timed Petri Nets

QR Code

Timed Petri Nets

None

Saved in:

Bibliographic Details
Main Authors:	Silva, José Reinaldo, Foyo, Pedro M. G. del
Format:	Electronic Book Chapter
Language:	English
Published:	IntechOpen 2012
Subjects:	Physical Sciences, Engineering and Technology
Online Access:	https://www.intechopen.com/chapters/38516
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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)

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

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

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

Control Interpreted Petri Nets - Model Checking and Synthesis
by: Grobelna, Iwona
Published: (2012)

Automated Petri-Net Modelling for Batch Production Scheduling
by: Gradišar, Dejan, 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)

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

Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems
by: Labadi, Karim, 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)

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

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)

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)

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)

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

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

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

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

BotNet Detection: Enhancing Analysis by Using Data Mining Techniques
by: Alparslan, Erdem, et al.
Published: (2012)

Smart Synergistic Security Sensory Network for Harsh Environments: Net4S
by: Peshko, Igor
Published: (2011)

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

Analysis of MLPA Data Using Novel Software Coffalyser.NET by MRC-Holland
by: Coffa, Jordy, et al.
Published: (2011)

Real-Time Analysis to Evaluate Crystallization Processes
by: Silva, João F.Cajaiba da, et al.
Published: (2012)

In the net : an internet guide for activists /
by: Walch, Jim
Published: (1999)

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

Tuvalu Visualization Project - Net Art on Digital Globe: Telling the Realities of Remote Places
by: Harada, Makiko Suzuki, et al.
Published: (2011)

Discrete Wavelet Analyses for Time Series
by: Murguía, José S., et al.
Published: (2011)

Parameters Estimation of Time-Varying Harmonics
by: Marques, Cristiano A. G., et al.
Published: (2013)

ADO.NET : the complete reference /
by: Otey, Michael
Published: (2003)

Time and Light
by: Peshko, Igor
Published: (2012)

Time-Varying Discrete-Time Wavelet Transforms
by: Wang, Guangyu, et al.
Published: (2012)

Time-Resolved Fluorescence Spectroscopy with LabView
by: Moreno, Edgard, et al.
Published: (2011)

Self Adaptive Genetic Algorithms for Automated Linear Modelling of Time Series
by: Flores, Pedro, et al.
Published: (2012)

Time-Frequency Transforms for Classification of Power Quality Disturbances
by: Rodríguez, Alejandro, et al.
Published: (2011)