Skip header Section
Skip Bibliometrics Section
Modelling with Generalized Stochastic Petri NetsOctober 1994
Skip Abstract Section
Abstract
From the Publisher:
This book presents a unified theory of Generalized Stochastic Petri Nets (GSPNs) together with a set of illustrative examples from different application fields. The continuing success of GSPNs and the increasing interest in using them as a modelling paradigm for the quantitative analysis of distributed systems suggested the preparation of this volume with the intent of providing newcomers to the field with a useful tool for their first approach. Readers will find a clear and informal explanation of the concepts followed by formal definitions when necessary or helpful. The largest section of the book however is devoted to showing how this methodology can be applied in a range of domains.
Cited By
- Tigane S, Guerrouf F and Kahloul L (2023). A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs, Computing, 105:10, (2263-2291), Online publication date: 1-Oct-2023.
- Lages D, Borba E, Tavares E, Balieiro A and Souza E (2023). A CPN-based model for assessing energy consumption of IoT networks, The Journal of Supercomputing, 79:12, (12978-13000), Online publication date: 1-Aug-2023.
- Bobbio A, Campanile L, Gribaudo M, Iacono M, Marulli F and Mastroianni M (2023). A cyber warfare perspective on risks related to health IoT devices and contact tracing, Neural Computing and Applications, 35:19, (13823-13837), Online publication date: 1-Jul-2023.
- Zhang B, Wei Z and Zhang L (2022). Modeling and Simulation of Emergency Resource Allocation Process Based on Generalized Stochastic Petri Net, Mobile Information Systems, 2022, Online publication date: 1-Jan-2022.
- Das S and Sharma A State Space Minimization Preserving Embeddings for Continuous-Time Markov Chains Performance Engineering and Stochastic Modeling, (44-61)
- Ballarini P, Duma D, Horváth A and Aringhieri R Petri Nets Validation of Markovian Models of Emergency Department Arrivals Application and Theory of Petri Nets and Concurrency, (219-238)
- Arcari L, Gribaudo M, Palermo G and Serazzi G (2019). Performance-Driven Analysis for an Adaptive Car-Navigation Service on HPC Systems, SN Computer Science, 1:1, Online publication date: 1-Jan-2020.
- Mendonça J, Andrade E and Lima R (2019). Assessing mobile applications performance and energy consumption through experiments and Stochastic models, Computing, 101:12, (1789-1811), Online publication date: 1-Dec-2019.
- Barbierato E, Gribaudo M and Iacono M Map-Reduce Process Algebra: A Formalism to Describe Directed Acyclic Graph Task-Based Jobs in Parallel Environments Analytical and Stochastic Modelling Techniques and Applications, (85-99)
Rodríguez R, Tolosana-calasanz R and Rana O (2019). A Dynamic Data-throttling Approach to Minimize Workflow Imbalance, ACM Transactions on Internet Technology, 19:3, (1-21), Online publication date: 31-Aug-2019.- Dong W, Guan T, Lepri B and Qiao C (2019). PocketCare, Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 3:2, (1-23), Online publication date: 21-Jun-2019.
- Bernardi S, Marrone S, Merseguer J, Nardone R and Vittorini V (2019). Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism, Software and Systems Modeling (SoSyM), 18:3, (2241-2264), Online publication date: 1-Jun-2019.
- Gómez-Martínez E, Pérez-Blanco F, de Lara J, Vara J and Marcos E Formal support of process chain networks using model-driven engineering and Petri nets Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (98-100)
- (2019). AltaRica 3.0 in ten modelling patterns, International Journal of Critical Computer-Based Systems, 9:1-2, (133-165), Online publication date: 1-Jan-2019.
- Araujo J, Maciel P, Andrade E, Callou G, Alves V and Cunha P (2018). Decision making in cloud environments, Journal of Cloud Computing: Advances, Systems and Applications, 7:1, (1-19), Online publication date: 1-Dec-2018.
- Marussy K, Semeráth O and Varró D Incremental View Model Synchronization Using Partial Models Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (323-333)
- Torquato M, Umesh I and Maciel P (2018). Models for availability and power consumption evaluation of a private cloud with VMM rejuvenation enabled by VM Live Migration, The Journal of Supercomputing, 74:9, (4817-4841), Online publication date: 1-Sep-2018.
- Silva Pinheiro T, Silva F, Fé I, Kosta S and Maciel P (2018). Performance prediction for supporting mobile applications' offloading, The Journal of Supercomputing, 74:8, (4060-4103), Online publication date: 1-Aug-2018.
- Di Alesio S and Sen S (2018). Using UML/MARTE to support performance tuning and stress testing in real-time systems, Software and Systems Modeling (SoSyM), 17:2, (479-508), Online publication date: 1-May-2018.
- Requeno J, Gascón I and Merseguer J Towards the Performance Analysis of Apache Tez Applications Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, (147-152)
- Sedaghatbaf A and Abdollahi Azgomi M (2018). A method for dependability evaluation of software architectures, Computing, 100:2, (119-150), Online publication date: 1-Feb-2018.
- Oliveira D, Matos R, Dantas J, Ferreira J, Silva B, Callou G, Maciel P and Brinkmann A Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, (192-197)
- Requeno J, Merseguer J and Bernardi S Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets 2017 IEEE International Conference on Information Reuse and Integration (IRI), (411-418)
- Kabir S (2017). An overview of fault tree analysis and its application in model based dependability analysis, Expert Systems with Applications: An International Journal, 77:C, (114-135), Online publication date: 1-Jul-2017.
- Budde C, Dehnert C, Hahn E, Hartmanns A, Junges S and Turrini A JANI Proceedings, Part II, of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 10206, (151-168)
- Timmer M, Katoen J, van de Pol J and Stoelinga M (2016). Confluence reduction for Markov automata, Theoretical Computer Science, 655:PB, (193-219), Online publication date: 6-Dec-2016.
- Gerhold M and Stoelinga M Model-based testing of stochastic systems with IOCO theory Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, (45-51)
- Bernardi S, Requeno J, Joubert C and Romeu A A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study Proceedings of the 2nd International Workshop on Quality-Aware DevOps, (24-29)
- Gómez A, Merseguer J, Di Nitto E and Tamburri D Towards a UML profile for data intensive applications Proceedings of the 2nd International Workshop on Quality-Aware DevOps, (18-23)
- Madougou S, Varbanescu A and de Laat C Using colored petri nets for GPGPU performance modeling Proceedings of the ACM International Conference on Computing Frontiers, (240-249)
- Gerhold M and Stoelinga M Model-Based Testing of Probabilistic Systems Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering - Volume 9633, (251-268)
- Volovoi V Simulation with stochastic petri-nets Proceedings of the 2015 Winter Simulation Conference, (88-102)
- Horváth Á and Molnár A TiPeNeSS Proceedings of the 8th International Conference on Simulation Tools and Techniques, (139-146)
- Teixeira M, Ribeiro R, Oliveira C and Massa R (2015). A quality-driven approach for resources planning in Service-Oriented Architectures, Expert Systems with Applications: An International Journal, 42:12, (5366-5379), Online publication date: 15-Jul-2015.
- Motallebi H and Azgomi M (2014). Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata, Fundamenta Informaticae, 130:3, (275-315), Online publication date: 1-Jul-2014.
- Katoen J, Noll T, Santen T, Seifert D and Wu H Performance Analysis of Computing Servers A Case Study Exploiting a New GSPN Semantics Proceedings of the 17th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - Volume 8376, (57-72)
- Barbierato E, Gribaudo M and Iacono M Modeling apache hive based applications in big data architectures Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (30-38)
- Ghasemieh H, Remke A and Haverkort B Analysis of a sewage treatment facility using hybrid Petri nets Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (165-174)
- Synthesizing distributed scheduling implementation for probabilistic component-based systems Proceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign, (87-96)
- Martinie C, Palanque P, Ragosta M, Sujan M, Navarre D and Pasquini A Understanding Functional Resonance through a Federation of Models Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security - Volume 8153, (216-227)
- Timmer M, van de Pol J and Stoelinga M Confluence reduction for markov automata Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems, (243-257)
- Reijsbergen D, de Boer P, Scheinhardt W and Haverkort B Automated rare event simulation for stochastic petri nets Proceedings of the 10th international conference on Quantitative Evaluation of Systems, (372-388)
- Ghasemieh H, Remke A, Haverkort B and Gribaudo M Region-Based analysis of hybrid petri nets with a single general one-shot transition Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems, (139-154)
- Barbierato E, Gribaudo M and Iacono M Exploiting multiformalism models for testing and performance evaluation in SIMTHESys Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, (121-130)
- Wan M, Ciardo G and Miner A (2011). Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding, Performance Evaluation, 68:5, (463-486), Online publication date: 1-May-2011.
- Lavee G, Rudzsky M and Rivlin E Propagating uncertainty in Petri nets for activity recognition Proceedings of the 6th international conference on Advances in visual computing - Volume Part II, (706-715)
- Casale G, Gribaudo M and Serazzi G Tools for performance evaluation of computer systems Proceedings of the 2010 IFIP WG 6.3/7.3 international conference on Performance Evaluation of Computer and Communication Systems: milestones and future challenges, (24-37)
- Gharbi N and Ioualalen M (2010). Numerical investigation of finite-source multiserver systems with different vacation policies, Journal of Computational and Applied Mathematics, 234:3, (625-635), Online publication date: 1-Jun-2010.
- Lavee G, Rivlin E and Rudzsky M (2009). Understanding video events, IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 39:5, (489-504), Online publication date: 1-Sep-2009.
- Bouillard A, Rosario S, Benveniste A and Haar S Monotonicity in Service Orchestrations Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, (263-282)
- Gharbi N, Dutheillet C and Ioualalen M (2009). Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems, Mathematical and Computer Modelling: An International Journal, 49:7-8, (1436-1448), Online publication date: 1-Apr-2009.
- Cortellessa V and Trubiani C Towards a library of composable models to estimate the performance of security solutions Proceedings of the 7th international workshop on Software and performance, (145-156)
- Hei X, Mochizuki H, Takahashi S and Nakamura H A Petri net-based approach to modeling and analysis of component-based distributed real-time systems Proceedings of the 11th IASTED International Conference on Software Engineering and Applications, (182-191)
- van Foreest N, Haverkort B, Mandjes M and Scheinhardt W (2007). Versatile stochastic models for networks with asymmetric TCP sources, Performance Evaluation, 64:6, (507-523), Online publication date: 1-Jul-2007.
- Beccuti M, Franceschinis G and Haddad S Markov decision Petri net and Markov decision well-formed net formalisms Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency, (43-62)
- Cameron D, Carvajal-Schiaffino R, Nicholson C, Stockinger K, Zini F, Millar A and Serafini L (2006). Formal analysis of an agent-based optimisation strategy for Data Grids, Multiagent and Grid Systems, 2:2, (149-162), Online publication date: 1-Mar-2006.
- Baier C, Hermanns H, Katoen J and Haverkort B (2005). Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes, Theoretical Computer Science, 345:1, (2-26), Online publication date: 21-Nov-2005.
- Tabuchi N, Sato N and Nakamura H Model-Driven performance analysis of UML design models based on stochastic process algebra Proceedings of the First European conference on Model Driven Architecture: foundations and Applications, (41-58)
- Bérard B, Cassez F, Haddad S, Lime D and Roux O Comparison of different semantics for time petri nets Proceedings of the Third international conference on Automated Technology for Verification and Analysis, (293-307)
- van der Aalst W and ter Hofstede A (2005). YAWL, Information Systems, 30:4, (245-275), Online publication date: 1-Jun-2005.
- Kanzaki Y, Igaki H, Nakamura M, Monden A and Matsumoto K Characterizing dynamics of information leakage in security-sensitive software process Proceedings of the 2005 Australasian workshop on Grid computing and e-research - Volume 44, (145-151)
- Ciardo G, Marmorstein R and Siminiceanu R Saturation unbound Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems, (379-393)
- Qiu Q, Wu Q and Pedram M Dynamic power management of complex systems using generalized stochastic Petri nets Proceedings of the 37th Annual Design Automation Conference, (352-356)
- Anglano C, Donatelli S and Franceschinis G Performance prediction of a reconfigurable high voltage substation simulator Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Recommendations
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
The class of Petri nets obtained by eliminating timing from generalized stochastic Petri net (GSPN) models while preserving the qualitative behavior is identified. Structural results for those nets are derived, obtaining the first structural analysis of ...
Discrete Time Stochastic Petri Nets
Basic graph models of processes, such as Petri nets, have usually omitted the concept of time as a parameter. Time has been added to the Petri net model in two ways. The timed Petri net (TPN) uses a fixed number of discrete time intervals. The ...
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysisStochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their performance and reliability evaluation. The automatic construction of the ...