This paper presents an experience in building formal models for the specification and design of concurrent and distributed systems. In particular our work is oriented to state the real applicability of formal methods in industrial settings, where practical engineering means are needed in modeling and evaluating complex systems. Here a standard voting system is used to compare a SAN-based and an event driven GSPN based approach.
Building formal models of concurrent and distributed systems: an experience in applicability with two different Petri nets approaches / Mazzocca, N; Russo, Stefano; Vittorini, V.. - In: SYSTEMS ANALYSIS, MODELLING, SIMULATION. - ISSN 0232-9298. - 36:2(1999), pp. 173-194.
Building formal models of concurrent and distributed systems: an experience in applicability with two different Petri nets approaches
MAZZOCCA N;RUSSO, STEFANO;VITTORINI V.
1999
Abstract
This paper presents an experience in building formal models for the specification and design of concurrent and distributed systems. In particular our work is oriented to state the real applicability of formal methods in industrial settings, where practical engineering means are needed in modeling and evaluating complex systems. Here a standard voting system is used to compare a SAN-based and an event driven GSPN based approach.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.