Wird die Marke von der Stelle p0 über die Transition ε zur Stelle p2 befördert, so kann die Transition a nicht mehr schalten. Die n Marken auf der Stelle p1 werden jetzt nacheinander beim Schalten der Transition b von der Stelle p1 abgezogen, so dass das Netz n-mal den Buchstaben b ausgibt. Anschließend ist keine Transition mehr aktiviert.
Das S/T–Netz kann diese von keinem endlichen Automaten erzeugbare Sprache generieren, weil die Kapazität der Stelle p1 nicht beschränkt ist. Es gibt deshalb keinen endlichen Automaten, der diesem Netz äquivalent ist. □
Get Ereignisdiskrete Systeme, 3rd Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
