Abstract
This application paper describes the study of a control room system that has been performed inside the EU Artemis project HoliDes. The control room object of the study is for an Italian operator in gas energy distribution. Customers call the control room of the energy operator to signal malfunctioning of gas distribution and/or of gas apparatus. Upon a call the control room operators assign a technician delegated to physically reach the intervention site and make it, in first place, secure, and, in second place, back to normal operating condition. Because of the safety issues inherently associated with the gas distribution, the Italian Regulatory Authority for Electricity Gas and Water has set a service level agreement (SLA) requirement that states that an operator should reach the client site in less than 60 min in \(95\%\) of the times.
This paper describes the Petri net models that have been used to assess what is the load of calls that can be dealt with without violating the SLA, and what type of conditions make the system in a critical state. Petri nets considered are colored stochastic Petri Nets with and without deterministic and generally distributed transitions. In modelling terms the main issue that has been faced is that of adequately represents the geographical distribution of calls and technicians, while the main issue for the computation of the performance indicator has been the SLA assessment, that requires a passage-time computation, an index that is not widely available in Petri net tools.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
The unfolding facility is available through the GUI (open box icon on the toolbar), a facility that has been implemented for the participation at the Petri net Model-Checking Contest, while the definition of the parameters in terms of GSPN elements is not automatically supported.
References
Ajmone Marsan, M., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Rozenberg, G. (ed.) APN 1986. LNCS, vol. 266, pp. 132–145. Springer, Heidelberg (1987). doi:10.1007/3-540-18086-9_23
Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2, 93–122 (1984). http://doi.acm.org/10.1145/190.191
Amparore, E.G.: A new greatSPN GUI for GSPN editing and CSLTA model checking. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 170–173. Springer, Cham (2014). doi:10.1007/978-3-319-10696-0_13
Amparore, E.G., Barbot, B., Beccuti, M., Donatelli, S., Franceschinis, G.: Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. In: Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp. 253–264. ACM (2013)
Amparore, E.G., Beccuti, M., Donatelli, S., Franceschinis, G.: Probe automata for passage time specification. In: Proceedings of the 2011 Eighth International Conference on Quantitative Evaluation of SysTems, QEST 2011, pp. 101–110. IEEE Computer Society, Washington, DC (2011)
Amparore, E.G., Donatelli, S.: Optimal aggregation of components for the solution of Markov Regenerative Processes. In: Agha, G., Houdt, B. (eds.) QEST 2016. LNCS, vol. 9826, pp. 19–34. Springer, Cham (2016). doi:10.1007/978-3-319-43425-4_2
Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time Markov chains. ACM Trans. Comput. Logic 1(1), 162–170 (2000)
Balbo, G., Beccuti, M., De Pierro, M., Franceschinis, G.: First passage time computation in tagged GSPNs with queue places. Comput. J. 54, 653–673 (2010). First published online 22 July 2010
Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: COSMOS: a statistical model checker for the hybrid automata stochastic logic. In: Proceedings of the 8th International Conference on Quantitative Evaluation of Systems (QEST 2011), pp. 143–144. IEEE Computer Society Press, Aachen, September 2011
Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: HASL: an expressive language for statistical verification of stochastic models. In: Proceedings of the 5th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2011), Cachan, France, pp. 306–315, May 2011
Bause, F., Buchholz, P.: Queueing Petri nets with product form solution. Perform. Eval. 32(4), 265–299 (1998)
Bernardi, S., Donatelli, S., Horváth, A.: Implementing compositionality for stochastic Petri nets. Int. J. Softw. Tools Technol. Transf. (STTT) 3(4), 417–430 (2001)
Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. Comput. 42(11), 1343–1360 (1993)
Clark, A., Gilmore, S.: State-aware performance analysis with eXtended stochastic probes. In: Thomas, N., Juiz, C. (eds.) EPEW 2008. LNCS, vol. 5261, pp. 125–140. Springer, Heidelberg (2008). doi:10.1007/978-3-540-87412-6_10
Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: HYDRA: HYpergraph-based Distributed Response-time Analyser. In: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003), pp. 215–219, June 2003
Donatelli, S., Haddad, S., Sproston, J.: Model checking timed and stochastic properties with CSL\(^\text{ TA }\). IEEE Trans. Softw. Eng. 35(2), 224–240 (2009)
Dugdale, J., Pavard, J., Soubie, B.: A pragmatic development of a computer simulation of an emergency call center. In: Designing Cooperative Systems: The Use of Theories and Models, pp. 241–256 (2000)
German, R.: Iterative analysis of Markov regenerative models. Perform. Eval. 44, 51–72 (2001)
Hillston, J.: Compositional Markovian modelling using a process algebra. In: Stewart, W.J. (ed.) Computations with Markov Chains, pp. 177–196. Springer, Heidelberg (1995)
Ii, W.D.O., Sanders, W.H.: Measure-adaptive state-space construction. Perform. Eval. 44(1–4), 237–258 (2001). http://dx.doi.org/10.1016/S0166-5316(00)00052-3
Jain, S., McLean, C.: Simulation for emergency response: a framework for modeling and simulation for emergency response. In: Proceedings of the 35th Conference on Winter Simulation: Driving Innovation, Winter Simulation Conference, pp. 1068–1076 (2003)
Kulkarni, V.G.: Modeling and Analysis of Stochastic Systems. Chapman & Hall Ltd., London (1995)
Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York (1994)
de QV Lima, M.A., Maciel, P.R., Silva, B., Guimarães, A.P.: Performability evaluation of emergency call center. Perform. Eval. 80, 27–42 (2014)
Acknowledgements
This research was supported by the Artemis EU project HoliDes (grant no. 332933). The goal of the HoliDes project is the improvement of adaptive systems where human and machines operate together to guarantee critical goals.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Amparore, E.G., Donatelli, S., Landini, E. (2017). Modelling and Evaluation of a Control Room Application. In: van der Aalst, W., Best, E. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2017. Lecture Notes in Computer Science(), vol 10258. Springer, Cham. https://doi.org/10.1007/978-3-319-57861-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-57861-3_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-57860-6
Online ISBN: 978-3-319-57861-3
eBook Packages: Computer ScienceComputer Science (R0)