In this paper we discuss some novel considerations about the semantics of multiformalism models in which Petri Nets (PN) and Queuing Networks (QN) are coupled. These considerations aim to further increase the modeling power of the interconnections between places and transitions on one side and queues on the other. Although this type of interconnection has been previously addressed in the literature, during the works to extend the Java Modeling Tools (JMT) for adding PN primitives to existing QN models, we found that a wider range of interpretations of the interconnections between the two formalisms is possible, including cases that cannot be immediately tracked back to states superposition and events synchronization, but that can be easily implemented in discrete event simulation. In this work we present and discuss some of the most interesting scenario identified, with their potential applications.
Places, Transitions and Queues: New Proposals for Interconnection Semantics
Gribaudo M.;
2023-01-01
Abstract
In this paper we discuss some novel considerations about the semantics of multiformalism models in which Petri Nets (PN) and Queuing Networks (QN) are coupled. These considerations aim to further increase the modeling power of the interconnections between places and transitions on one side and queues on the other. Although this type of interconnection has been previously addressed in the literature, during the works to extend the Java Modeling Tools (JMT) for adding PN primitives to existing QN models, we found that a wider range of interpretations of the interconnections between the two formalisms is possible, including cases that cannot be immediately tracked back to states superposition and events synchronization, but that can be easily implemented in discrete event simulation. In this work we present and discuss some of the most interesting scenario identified, with their potential applications.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.