An Axiomatic Characterization of a Class of Petri Nets

1991 ◽  
Vol 14 (4) ◽  
pp. 477-491
Author(s):  
Waldemar Korczynski
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Axiomatic Characterization ◽  
Algebraic Characterization

In this paper an algebraic characterization of a class of Petri nets is given. The nets are characterized by a kind of algebras, which can be considered as a generalization of the concept of the case graph of a (marked) Petri net.

Fault Detection, Isolation and Characterisation for Discrete Event Systems Based on Petri Nets Models

2010 ◽  
pp. 387-416
Author(s):  
Dimitri Lefebvre ◽  
Edouard Leclercq ◽  
Souleiman Ould El Mehdi
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Practical Interest ◽  
Transportation Systems ◽  
Intermittent Faults ◽  
Event Systems ◽  
Stochastic Time

Petri net models are used to detect and isolate faults in case of discrete event systems as manufacturing, robotic, communication and transportation systems. This chapter addresses two problems. The first one is the structure designs and parameters identification of the Petri net models according to the observation and analysis of the sequences of events that are collected. Deterministic and stochastic time Petri nets are concerned. The proposed method is based on a statistical analysis of data and has a practical interest as long as sequences of events are already saved by supervision systems. The second problem concerns the use of the resulting Petri net models to detect, isolate and characterize faults in discrete event systems. This contribution includes the characterization of intermittent faults. This issue is important because faults are often progressive from intermittent to definitive and early faults detection and isolation improve productivity and save money and resources.

Trying Out Reflective Petri Nets on a Dynamic Workflow Case

2010 ◽  
pp. 218-233
Author(s):  
Lorenzo Capra ◽  
Walter Cazzola
Keyword(s):  
Life Cycle ◽  
Petri Nets ◽  
Petri Net ◽  
Business Processes ◽  
Formal Model ◽  
Discrete Event ◽  
Workflow Management ◽  
Support Tools ◽  
Dynamic Workflow

Industrial/business processes are an evident example of discrete-event systems which are subject to evolution during life-cycle. The design and management of dynamic workflows need adequate formal models and support tools to handle in sound way possible changes occurring during workflow operation. The known, well-established workflow’s models, among which Petri nets play a central role, are lacking in features for representing evolution. We propose a recent Petri net-based reflective layout, called Reflective Petri nets, as a formal model for dynamic workflows. A localized open problem is considered: how to determine what tasks should be redone and which ones do not when transferring a workflow instance from an old to a new template. The problem is efficiently but rather empirically addressed in a workflow management system. Our approach is formal, may be generalized, and is based on the preservation of classical Petri nets structural properties, which permit an efficient characterization of workflow’s soundness.

scholarly journals A hybrid Petri net modeling approach for HVAC systems in intelligent buildings

2004 ◽  
Vol 15 (2) ◽  
pp. 135-148
Author(s):  
Emilia Villani ◽  
Paulo Eigi Miyagi
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
System Integration ◽  
Production Flow ◽  
Continuous Part ◽  
Modeling Approach ◽  
Intelligent Buildings ◽  
Hybrid Petri Net ◽  
Discrete Part

In this work, a novel hybrid modeling approach for HVAC control system design in Intelligent Buildings is introduced. In order to achieve building system integration, a characterization of HVAC system as hybrid is required. The proposed approach is a top-down modeling method based on Petri net. Starting from abstract models designed using the Production Flow Schema, Petri net based models are built by successive refinements. The discrete part of the system is modeled using Place-Transition Petri nets and the continuous part is modeled using differential equation systems. The interface between these two parts is provided by Differential Predicate Transition Petri nets.

scholarly journals Characterization of Dissipative Structures for First-Order Symmetric Hyperbolic System with General Relaxation

Mathematics ◽  
2021 ◽  
Vol 9 (7) ◽  
pp. 728
Author(s):  
Yasunori Maekawa ◽  
Yoshihiro Ueda
Keyword(s):  
Hyperbolic System ◽  
Dissipative Structure ◽  
Dissipative Structures ◽  
Algebraic Characterization ◽  
Symmetric Hyperbolic System ◽  
Full Generality ◽  
Order Linear ◽  
First Order

In this paper, we study the dissipative structure of first-order linear symmetric hyperbolic system with general relaxation and provide the algebraic characterization for the uniform dissipativity up to order 1. Our result extends the classical Shizuta–Kawashima condition for the case of symmetric relaxation, with a full generality and optimality.

Constrained Petri Nets. Part II: Generalizations and extensions

1983 ◽  
Vol 6 (3-4) ◽  
pp. 333-374
Author(s):  
H.J.M. Goeman ◽  
L.P.J. Groenewegen ◽  
H.C.M. Kleijn ◽  
G. Rozenberg
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Theoretical Framework ◽  
General Constraints ◽  
Context Free ◽  
Boolean Expressions

This paper continues the investigation froll1 [Goeman et al.] concerning the use of sets of places of a Petri net as additional (to input places) constraints for granting concession. Now interpretations of more general constraints are considered and expressed as Boolean expressions. This gives rise to various classes of constrained Petri nets. These are compared in the language theoretical framework introduced in [Goeman et al.]. An upperbound for the language defining power is found in the class of context-free programmed languages.

Algebraic characterization of bridged polycyclic compounds

1981 ◽  
Vol 19 (5) ◽  
pp. 929-955 ◽  
Author(s):  
Ov. Mekenyan ◽  
D. Bonchev ◽  
N. Trinajsti?
Keyword(s):  
Algebraic Characterization ◽  
Polycyclic Compounds
Sign in / Sign up

Export Citation Format

Share Document