Abstract
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste.
SADT (Structured Analysis and Design Technique) is used in order to provide a work-flow description of the functions to be performed by the waste management program. This description is then translated into a number of Coloured Petri Nets (CPN or CP-nets) corresponding to different program functions where additional behavioural inscriptions provide basis for simulation. Each of these CP-nets is simulated to produce timed event charts that are useful for understanding the behaviour of the program functions under different scenarios. Then all the CPN models are linked together to form a single stand-alone application that is useful for validating the interaction and co-operation between the different program functions.
A technique for linking executable CPN models is developed for supporting large modelling projects and parallel development of independent CPN models.
Preview
Unable to display preview. Download preview PDF.
References
Design/IDEF User's Manual. Meta Software Corporation. Cambridge, Mass., 1992.
Design/CPN User's Manual. Meta Software Corporation. Cambridge, Mass., 1992.
K. Jensen: Coloured Petri Nets: A High-level Language for System Design and Analysis. In: G. Rozenberg (ed.): Advances in Petri Nets 1990, Lecture Notes in Computer Science Vol. 483, Springer-Verlag 1991, 342–416. Also in [4], 44–122.
K. Jensen and G. Rozenberg (eds.): High Level Petri Nets, Springer-Verlag, 1991.
K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992.
D.A. Marca, C.L. McGowan: SADT. McGraw-Hill, New York, 1988.
R. Milner, M. Tofte & R. Harper (1990). The Definition of Standard ML. MIT Press.
L.C. Paulson: ML for the Working Programmer. Cambridge University Press, 1991.
V.O. Pinci, R.M. Shapiro: An Integrated Software Development Methodology Based on Hierarchical Coloured Petri Nets. In: G. Rozenberg (ed.): Advances in Petri Nets 1991, Lecture Notes in Computer Science Vol. 524, Springer-Verlag, 1991, 227–252. Also in [4], 649–666.
V.O. Pinci, R.M. Shapiro: Work Flow Analysis. Meta Software Corporation. Cambridge, Mass., 1993.
R.M. Shapiro, V.O. Pinci, R. Mameli: Modelling a NORAD Command Post Using SADT and Coloured Petri Nets. In: P.E. Lauer (ed.): Functional Programming, Concurrency, Simulation and Automated Reasoning, Lecture Notes in Computer Science Vol. 693, Springer-Verlag, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mortensen, K.H., Pinci, V. (1994). Modelling the work flow of a nuclear waste management program. In: Valette, R. (eds) Application and Theory of Petri Nets 1994. ICATPN 1994. Lecture Notes in Computer Science, vol 815. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58152-9_21
Download citation
DOI: https://doi.org/10.1007/3-540-58152-9_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58152-9
Online ISBN: 978-3-540-48462-2
eBook Packages: Springer Book Archive