|
|
Digital
Library of the European Council for Modelling and Simulation |
|
Title: |
Agent-Based
Model Continuity Of Stochastic Time Petri Nets |
|
Authors: |
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella |
|
Published in:
|
(2016).ECMS 2016 Proceedings edited
by: Thorsen Claus, Frank Herrmann, Michael Manitz, Oliver Rose, European Council for Modeling and
Simulation. doi:10.7148/2016 ISBN:
978-0-9932440-2-5 30th
European Conference on Modelling and Simulation, Regensburg Germany, May 31st
– June 3rd, 2016 |
|
Citation
format: |
Franco Cicirelli,
Libero Nigro, Paolo F. Sciammarella (2016). Agent-Based Model Continuity Of
Stochastic Time Petri Nets, ECMS 2016 Proceedings edited by: Thorsten Claus,
Frank Herrmann, Michael Manitz, Oliver Rose European Council for Modeling and Simulation. doi:10.7148/2016-0018 |
|
DOI: |
http://dx.doi.org/10.7148/2016-0018 |
|
Abstract: |
Stochastic Time Petri Nets (sTPN) are a useful formalism for modelling
and quantitative analysis of concurrent systems with timing constraints. This
paper describes an implemented tool supporting sTPN,
which was achieved on top of a control-centric agent-based framework
which fosters model continuity. Model continuity means the same model
can be used for property checking through simulation and for real-time
execution. The paper demonstrates the effectiveness of the approach through a
modelling example. |
|
Full
text: |
|
