Place queue connection for multiformalism models in JMT

Several efforts have been spent toward the definition and creation of appropriate techniques for the modelling of systems and their representation based on a multiformalism approach. With Petri Nets and Queueing Networks as foundation, this document focuses on the presentation of two new constructs for modelling based on the interconnection of components of the two formalisms: PN's places and QN's service centers and delay stations. The theoretical definition of the behaviour of Place-Queue and Place-Delay connections as means for the dynamic control of the number of internal servers and state of service and delay nodes allows for the development of further modelling strategies concerning complex systems and the simplification of representation of load-management, resource enabling and sub-system management politics, that characterize virtualization and productive environment. The practical implementation of the two constructs, developed in the scope of furthering and extending the functionalities of the Java Modelling Tools software suite, allows for the direct realization of models based on the two, their testing and the collection and study of characterizing data through simulation approaches.

Negli anni, sono stati dedicati numerosi sforzi alla definizione e alla creazione di tecniche appropriate per la modellazione di sistemi e la loro rappresentazione basata su un approccio multiformalismo. Con Petri Nets e Queueing Networks come fondamento, questo documento si concentra sulla presentazione di due nuovi costrutti per la modellazione basate sull'interconnessione dei componenti dei due formalismi: i posti delle RP e le code e le stazioni di ritardo delle QN. La definizione teorica del comportamento delle connessioni Posto-Coda e Posto-Ritardo come mezzi per il controllo dinamico del numero di server interni e dello stato dei nodi di servizio e ritardo consente lo sviluppo di ulteriori strategie di modellazione per sistemi complessi e semplifica la rappresentazione delle politiche di gestione del carico, abilitazione delle risorse e gestione dei sottosistemi, che caratterizzano ambienti di virtualizzazione e produttivi. L'implementazione pratica delle due features, sviluppata nell'ambito del potenziamento ed espansione delle funzionalità del software Java Modelling Tools, consente la realizzazione diretta di modelli basati su queste, il loro testing e la raccolta e lo studio di dati attraverso approcci di simulazione.