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 NorwayAdditional 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