Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Petri-Netze / Transitionsfolge
Kann man Aufgaben wie “Welche Transitionsfolge führt zur Belegung (1,0,1,1,0)” [z.B. Klausur WS2012/2013 Aufgabe 2b)]
irgendwie berechnen, oder kann man da nur das Netz durchspinnen und schauen, wie die Belegung zustande kommen könnte?
Bei der Besprechung einer ähnlichen Aufgabe meinte unser Tutor, dass man das ausprobieren muss. Dauert aber in der Regel ja nicht so lange 
Sollte man aber auch berechnen können, siehe Vorlesung 3 und Stichwort Matrizenmultiplikation bzw. dann lineare Gleichungssysteme - ich wage aber zu bezweifeln, dass man damit schneller ans Ziel kommt als mit ausprobieren.
ja, dann ist gut. ich dachte nur die erwarten, dass man da was berechnet.
thx