scholarly journals A scheme for the simulation of networked agent systems modeled by timed hybrid Petri nets

SIMULATION ◽  
2017 ◽  
Vol 94 (10) ◽  
pp. 887-909
Author(s):  
Berenice Gudiño-Mendoza ◽  
Ernesto López-Mellado ◽  
Enrique Aguayo-Lara
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Agent Systems ◽  
Hybrid Petri Nets ◽  
Hybrid Petri Net ◽  
Java Platform

A novel scheme for simulating networked agent systems is presented. In this approach, the system is composed of identical communicating agents, which have multi-role capabilities in such a manner that they can perform diverse tasks, according to a given execution context. The agent’s behavior is modeled using a timed hybrid Petri net ( THPN) whose evolution, valid for all the agents, is computed off-line using Matlab. The agents are interconnected and simulated in a Java platform using the JADE middle-ware.

Using CIMOSA and Stochastic Time Petri Nets for Behaviour Modeling of CIM Systems

1996 ◽  
Author(s):  
Ming Dong ◽  
Jianzhong Cha
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Systematic Approach ◽  
Modeling Language ◽  
Qualitative Properties ◽  
Top Down ◽  
Modeling Framework ◽  
Hybrid Petri Nets ◽  
Enterprise Model ◽  
Stochastic Time

Abstract The integrated model of an enterprise can be built by making use of the CIMOSA modeling framework and modeling language. The behaviour analysis of the CIMOSA enterprise model can be made by the sets of procedural rules. In order to make further performance analysis of the CIMOSA enterprise model, this paper presents a systematic approach to transform the CIMOSA enterprise model into a equivalent stochastic Petri net model. The systematic approach is a hybrid Petri nets synthesis technology which integrates the “bottom-up” and “top-down” modeling approaches. The resulting Petri net obtained from this approach preserve the same qualitative properties of its original Petri net.

Petri Nets and GRN Models

2010 ◽  
pp. 604-637 ◽  
Author(s):  
Ina Koch
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Biochemical Networks ◽  
Complex Case ◽  
Modeling And Analysis ◽  
Analysis Techniques ◽  
Hybrid Petri Nets ◽  
Advantages And Disadvantages ◽  
Biochemical Systems

In this chapter, modeling of GRNs using Petri net theory is considered. It aims at providing a conceptual understanding of Petri nets to enable the reader to explore GRNs applying Petri net modeling and analysis techniques. Starting with an overview on modeling biochemical networks using Petri nets, the state-of-the-art with focus on GRNs is described. Other modeling techniques, for example, hybrid Petri nets are discussed. Basic concepts of Petri net theory are introduced involving special analysis techniques for modeling biochemical systems, for example, MCT-sets, T-clusters, and Mauritius maps. To illustrate these Petri net concepts, a more complex case study–the gene regulation in Duchenne Muscular Dystrophy–is explained in detail, considering the biological background and the interpretation of analysis results. Considering both, advantages and disadvantages, the chapter demonstrates the usefulness of Petri net modeling, in particular for GRNs.

scholarly journals Representing Conversations for Scalable Overhearing

2006 ◽  
Vol 25 ◽  
pp. 349-387 ◽  
Author(s):  
G. Gutnik ◽  
G. A. Kaminka
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Academic Community ◽  
Important Task ◽  
Colored Petri Nets ◽  
Colored Petri Net ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Interesting Approach ◽  
Multi Agent

Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent conversation protocols. The representation of such protocols (for analysis, validation, monitoring, etc) is an important aspect of multi-agent applications. Recently, Petri nets have been shown to be an interesting approach to such representation, and radically different approaches using Petri nets have been proposed. However, their relative strengths and weaknesses have not been examined. Moreover, their scalability and suitability for different tasks have not been addressed. This paper addresses both these challenges. First, we analyze existing Petri net representations in terms of their scalability and appropriateness for overhearing, an important task in monitoring open multi-agent systems. Then, building on the insights gained, we introduce a novel representation using Colored Petri nets that explicitly represent legal joint conversation states and messages. This representation approach offers significant improvements in scalability and is particularly suitable for overhearing. Furthermore, we show that this new representation offers a comprehensive coverage of all conversation features of FIPA conversation standards. We also present a procedure for transforming AUML conversation protocol diagrams (a standard human-readable representation), to our Colored Petri net representation.

Modeling of the PLC Behavior in Intralogistics with Non-Autonomous Hybrid Petri-Nets

2014 ◽  
Vol 666 ◽  
pp. 349-353
Author(s):  
Lukas Kopecki ◽  
Sebastian Lauck
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Formal Model ◽  
Linear Acceleration ◽  
External Input ◽  
Input Output ◽  
Decentralized Systems ◽  
Control Logic ◽  
Hybrid Petri Nets

This document introduces a new kind of non-autonomous petri net for modelling decentralized systems in intralogistics controlled by PLCs. It extends the Signal Interpreted Petri Net with hybrid elements for continuous and discrete aspects to control external input-/output-events, places and transitions. It enables the modelling of continuous changes on the output places, e.g. linear acceleration of motors. After the formal model-definition, an example of one conveyor and the corresponding control-logic is given.

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.

Application of Hybrid Petri Nets for the Energy Dispatching of an Isolated Micro-Grid

2020 ◽  
Vol 11 (1) ◽  
pp. 61-72
Author(s):  
Dalia Fendri ◽  
Maher Chaabene
Keyword(s):  
Petri Net ◽  
Energy Flow ◽  
Energy State ◽  
Discrete Events ◽  
Energy Deficiency ◽  
Hybrid Petri Nets ◽  
Hybrid Petri Net ◽  
Micro Grid ◽  
Energy Provider ◽  
Energy Surplus

Renewable energy-based autonomous installations sometimes have an energy deficiency or excess caused by the intermittence of renewable sources and the dynamics of the load. Storage systems are unable to cover load supply during long weather instability. In case of neighboring autonomous installations, some have a lack of energy while neighbors have overproduction. Hence, interconnecting installations via a micro-grid (MG) should allow supply installations experiencing an energy lack by sending them energy surplus from others. This article presents a Hybrid Petri Net (HPN) strategy for a micro-grid energy provider in order to make hourly decisions on dispatching energy between the connected installations. An HPN model combines discrete events (house energy state) and continuous events (energy flow) to cover the need of some installations by energy surplus offered by its neighbours. The algorithm has been validated for three connected houses with different load profiles. Results show that installations cover each other in energy without the need to refer to their batteries in case of a lack of energy.

Modeling and simulation of water distribution systems using timed hybrid Petri nets

SIMULATION ◽  
2011 ◽  
Vol 88 (3) ◽  
pp. 329-347 ◽  
Author(s):  
Berenice Gudiño-Mendoza ◽  
Ernesto López-Mellado ◽  
Hassane Alla
Keyword(s):  
Modeling And Simulation ◽  
Petri Nets ◽  
Distribution Systems ◽  
Water Distribution ◽  
Water Distribution Systems ◽  
Water Distribution Network ◽  
Conservation Of Energy ◽  
Hybrid Petri Nets ◽  
Hybrid Petri Net ◽  
Energy Equations

This paper deals with modeling and simulation of water distribution systems using Hybrid Petri Nets. A methodology for building a Timed Hybrid Petri Net (THPN) model is proposed; the model is derived from a set of equations describing conservation of mass and energy that specify the behaviour of a water distribution network. A simulation technique for the execution of a THPN in which the transitions firing velocities are established from the linearised conservation of energy equations is presented; it shows both transient and steady state for the analysis of hydraulic networks. Based on this technique, a simulator in Matlab has been developed.

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.

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.

The Quantitative Assessment of Domino Effects Based on Stochastic Petri Nets

2008 ◽  
Vol 44-46 ◽  
pp. 537-544
Author(s):  
Shi Yi Bao ◽  
Jian Xin Zhu ◽  
Li J. Wang ◽  
Ning Jiang ◽  
Zeng Liang Gao
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Petri Net ◽  
Quantitative Assessment ◽  
Stochastic Petri Nets ◽  
Industrial Park ◽  
Domino Effect ◽  
State Space Explosion ◽  
Stochastic Petri Net ◽  
Chemical Industrial Park

The quantitative analysis of “domino” effects is one of the main aspects of hazard assessment in chemical industrial park. This paper demonstrates the application of heterogeneous stochastic Petri net modeling techniques to the quantitative assessment of the probabilities of domino effects of major accidents in chemical industrial park. First, five events are included in the domino effect models of major accidents: pool fire, explosion, boiling liquid expanding vapour explosion (BLEVE) giving rise to a fragment, jet fire and delayed explosion of a vapour cloud. Then, the domino effect models are converted into Generalized Stochastic Petri net (GSPN) in which the probability of the domino effect is calculated automatically. The Stochastic Petri nets’ models, which are state-space based ones, increase the modeling flexibility but create the state-space explosion problems. Finally, in order to alleviate the state-space explosion problems of GSPN models, this paper employs Stochastic Wellformed Net (SWN), a particular class of High-Level (colored) SPN. To conduct a case study on a chemical industrial park, the probability of domino effects of major accidents is calculated by using the GSPN model and SWN model in this paper.

Sign in / Sign up

Export Citation Format

Share Document