Open AccessModelling the Work Flow of a Nuclear Waste Management Program
Author(s) -
Karen Vibeke Mortensen,
Valerio O. Pinci
Publication year - 1997
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v26i518.7047
Subject(s) - executable , petri net , work flow , computer science , work (physics) , radioactive waste , event (particle physics) , software engineering , systems engineering , programming language , engineering , industrial engineering , waste management , mechanical engineering , physics , quantum mechanics
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 cooperation 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.