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
