Abstract
Well defined procedures for the construction of models are necessary in order to support the real applicability of modelling techniques in the industrial settings where practical engineering means are required to model and evaluate complex systems and productive processes. This paper describes the application of two different approaches to the construction of Petri Nets models and provides some general hints on the modelling process. In particular, starting from a simple working example we suggest that a behavioural approach, modularity in the model construction phases, and integration of different modelling techniques could contribute to improve the efficiency in many fields of research, development and its controlling.
This work has been supported in part by grants from MURST: “Metodologie e strumenti di progetto di sistemi ad alte prestazioni per applicazioni distribuite. Sottoprogetto Sistemi Reattivi”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ajmone-Marsan, M., Chiola, G. (1987): “On Petri Nets with Deterministic and Exponential Transition Firing Times,” Lecture Notes in Computer Science, Vol. 266 [24], 1987, pp. 132–145.
Bowen and Hinchey, M.G. (1995): “Seven More Myths of Formal Methods”, IEEE Software, Vol.12, n.4, July 1995.
Chiola (1991): “GreatSPN 1.5 Software Architecture”; Proc. of the 5th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Torino, 13-15 Feb. 1991, pp. 117–132.
Ciardo, J.K. Muppala, and K.S. Trivedi (1989): “SPNP: Stochastic Petri Net Package”, in Proc. Int. Workshop on Petri Net and Performance Model, pp. 142–150, Kyoto, Japan, IEEE CS Press, Dec. 1989.
Ciardo, A. Blakemore, P.F. Chimento, J.K. Muppala, and K.S. Trivedi (1993): “Automated generation and analysis of Markov reward models using Stochastic Reward Nets”, in: Linear Algebra, Markov Chains, and Queueing Models, IMA Volumes in Mathematics and its Applications, Vol 48, pp. 145–191, Heidelberg, Germany, Spring-Verlag 1993.
Couvillon et al. (1991): “Performability Modeling with UltraSAN”, IEEE Software, Vol. 8, No. 5, pp. 69–80, Sept. 1991.
Hall (1990): “Seven Myths of Formal Methods”, IEEE Software, Vol.7, n.5, September 1990.
Hoare (1985): “Communicating Sequential Processes”, Prentice-Hall, Englewood Cliffs, NJ, 1985
Howard (1971): “Dynamic Probabilistic Systems”, in: Semi-Markov and Decision Processes, vol. 11, New York, Wiley, 1971
Lindemann (1992): “DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets”, in Proc. 6th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation, pp. 15–29, Edinburgh, Great Britain, 1992.
Mazzocca, S. Russo, V. Vittorini (1997a): “Integrating Trace Logic and Petri Nets Specifications”, in: Proc. HICSS-30, Hawaii Int. Conf. on System Sciences (Software Technology Track), IEEE CS Press, vol.1, pp.443–451, 1997.
Mazzocca, S. Russo, V. Vittorini (1997b): “Formal Methods Integration for the Specification of Dependable Distributed Systems”, Journal of System Architecture, vol.43, n.10, pp.671–685, September 1997.
Mazzeo, N. Mazzocca, S. Russo, V. Vittorini (1997): “A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems”, Real Time Systems, vol.13, pp.219–236, November 1997.
Mazzeo, N. Mazzocca, S. Russo, C. Savy, V. Vittorini; “Formal specification of concurrent systems: a structured approach”, accepted for publication in The Computer Journal.
Meyer, A. Movaghar, W.H. Sanders (1985): “Stochastic Activity Networks: Structure, Behavior and Application”, in Proc. of the Int. Conf. on Timed Petri Nets, Torino, Italy, pp. 106-115, 1985.
Meyer and W.H. Sanders (1993): “Specification and Construction of Performability Models”, in: Proc. of the 2nd. Int. Work, on Performability Modeling of Computer and Communication Systems, Mont. Saint-Michel, France, June 28-30, 1993.
Meyer (1995): “Performability Evaluation: Where It Is and What Lies Ahead”, in: Proc. of the IEEE Int. Computer Performance and Dependability Symposium, pp.334-343, Erlangen, Germany, 1995.
Qureshi and W.H. Sanders (1994): “Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results”, Performance Evaluation vol.20, pp. 413–436, 1994.
Sanders and J.F. Meyer (1986): “METASAN: A Performability Evaluation Tool Based on Stochastic Activity Networks”, in: ACM-IEEE Fall Joint Computer Conference, pp. 807–816, Dallas, TX, 1986.
Sanders and J.F. Meyer (1991): “A Unified Approach for Specifying measures of Performance, Dependability and Performability”, in: Dependable Computing and Fault Tolerant Systems, vol.4, Springer-Verlag, pp. 215–237, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mazzocca, N., Russo, S., Vittorini, V. (1999). The Modelling Process and Petri Nets: Reasoning on Different Approaches. In: Scholz-Reiter, B., Stahlmann, HD., Nethe, A. (eds) Process Modelling. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60120-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-60120-0_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-64265-4
Online ISBN: 978-3-642-60120-0
eBook Packages: Springer Book Archive