PN Simulator
For unit self-diagnosis
Number of units
k
k
:
Number of rounds
m
m
:
Testing procedure
Visualization of testing procedure (depicted by using Petri Net)
Generator PN © 2012 - Viktor Mashkov, Josef Bičánek