Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition

2012 ◽  
pp. 139-154 ◽  
Author(s):  
Hamed Ghasemieh ◽  
Anne Remke ◽  
Boudewijn Haverkort ◽  
Marco Gribaudo
Keyword(s):  
Petri Nets ◽  
Hybrid Petri Nets

Hybrid Petri nets with general one-shot transitions

2016 ◽  
Vol 105 ◽  
pp. 22-50 ◽  
Author(s):  
Marco Gribaudo ◽  
Anne Remke
Keyword(s):  
Petri Nets ◽  
Hybrid Petri Nets ◽  
Shot Transitions

scholarly journals MODELLING DISTRIBUTED MANUFACTURING SYSTEMS VIA FIRST ORDER HYBRID PETRI NETS

2006 ◽  
Vol 39 (5) ◽  
pp. 44-49
Author(s):  
Mariagrazia Dotoli ◽  
Maria Pia Fanti ◽  
Agostino Marcello Mangini
Keyword(s):  
Petri Nets ◽  
Manufacturing Systems ◽  
Distributed Manufacturing ◽  
First Order ◽  
Hybrid Petri Nets ◽  
Distributed Manufacturing Systems

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.

Sign in / Sign up

Export Citation Format

Share Document