A distance model for safety-critical systems
Publication Name: Periodica Polytechnica Electrical Engineering
Publication Date: 2001-01-01
Volume: 45
Issue: 2
Page Range: 109-118
Description:
In this paper we introduce a new, theoretical model for safety-critical systems in which the distance from the dangerous conditions can be measured. To describe these systems we use besides the graph model Petri nets, too. We illustrate the theoretical discussion with some simple examples.
Open Access: Yes
DOI: DOI not available
