From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models
-
Published:2023-10-25
Issue:1
Volume:9
Page:1-30
-
ISSN:2376-3639
-
Container-title:ACM Transactions on Modeling and Performance Evaluation of Computing Systems
-
language:en
-
Short-container-title:ACM Trans. Model. Perform. Eval. Comput. Syst.
Author:
Amparore Elvio1ORCID,
Beccuti Marco1ORCID,
Castagno Paolo1ORCID,
Pernice Simone1ORCID,
Franceschinis Giuliana2ORCID,
Pennisi Marzio2ORCID
Affiliation:
1. Dipartimento di Informatica, Università di Torino, Italy
2. DiSIT, Università del Piemonte Orientale and UdR UPO, Consorzio Interuniversitario Nazionale Telecomunicazioni, Italy
Abstract
Computational modeling has become a widespread approach for studying real-world phenomena by using different modeling perspectives, in particular, the microscopic point of view concentrates on the behavior of the single components and their interactions from which the global system evolution emerges, while the macroscopic point of view represents the system’s overall behavior abstracting as much as possible from that of the single components. The preferred point of view depends on the effort required to develop the model, on the detail level of the available information about the system to be modeled, and on the type of measures that are of interest to the modeler; each point of view may lead to a different modeling language and simulation paradigm. An approach adequate for the microscopic point of view is Agent-Based Modeling and Simulation, which has gained popularity in the last few decades but lacks a formal definition common to the different tools supporting it. This may lead to modeling mistakes and wrong interpretation of the results, especially when comparing models of the same system developed according to different points of view. The aim of the work described in this paper is to provide a common compositional modeling language from which both a macro and a micro simulation model can be automatically derived: these models are coherent by construction and may be studied through different simulation approaches and tools. A framework is thus proposed in which a model can be composed using a Petri Net formalism and then studied through both an Agent-Based Simulation and a classical Stochastic Simulation Algorithm, depending on the study goal.
Funder
Creation of a computational framework to model and study West Nile Disease
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Networks and Communications,Hardware and Architecture,Safety, Risk, Reliability and Quality,Media Technology,Information Systems,Software,Computer Science (miscellaneous)