Abstract: A time Petri net is said to be critically observable at a given time instant if the markings consistent with any observation at the time instant are included either in the set of critical ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results