A Distance Model for Safety-Critical Systems

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