Using Petri nets during debugging to localize software errors

zbMath0664.68016MaRDI QIDQ1115572

S. A. Kosyachenko, A. G. Mamikonov, V. V. Kul'ba, E. B. Sokolova

Publication date: 1988

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

Petri netsdebuggingautomatic control system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General topics in the theory of software (68N01)

This page was built for publication: Using Petri nets during debugging to localize software errors