Published March 2004 | Version v1
Report

Petri nets - part 1: concepts and application areas

Description

There exist a number of models, languages, methods, and tools that support the specification and analysis of system requirements. One important class comprises graphical methods based on the concept of Petri nets. Due to the wide variety of applications, these methods are relevant also in research and applications outside the digital systems safety domain. The present report constitutes the first of three parts of a unified exposition of graphical methods based on the concept of Petri nets. The report provides an introduction to basic concepts of Petri nets and an overview of a wide variety of application areas. The second part of the trilogy will present a number of techniques and tools. The third part will focus on analysis. Petri nets have been proposed for a wide variety of applications, and new areas are considered as new challenges emerge from scientific, technological, and social developments. The wide variety of application areas reflects a broad interest in Petri nets, coming from diverse directions. Empirically, as well as theoretically, there are good reasons to claim that Petri nets are applicable for many different kinds of problems. What is common to the different applications and problems addressed is the need for a formalism that allows adequate representation of important system characteristics like concurrency, asyncronicity, distribution, parallelism, and non-determinism. Several of the references in the report discuss NPP-related applications, or applications with great potentials for technology transfer from other areas to the nuclear domain. (Author)

Availability note (English)

Available from IFE, PO Box 173, 1751 Halden Norway

Additional details

Publishing Information

Imprint Pagination
70 p.
Report number
HWR--738

INIS

Country of Publication
Norway
Country of Input or Organization
Norway
INIS RN
43106841
Subject category
S97: MATHEMATICAL METHODS AND COMPUTING; S46: INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND TECHNOLOGY;
Resource subtype / Literary indicator
Non-conventional Literature
Descriptors DEI
ALGORITHMS; COMPUTER CODES; COMPUTER GRAPHICS; DIAGRAMS; MATHEMATICAL LOGIC; MATHEMATICAL MODELS; PROGRAMMING; SIMULATION; VALIDATION; VERIFICATION
Descriptors DEC
INFORMATION; MATHEMATICAL LOGIC; TESTING

Optional Information

Notes
refs., figs., tabs