Flashcards in Tutorial 4: 27th November 2019 Deck (10)
How can you make a Petri net to model a given system?
How can you make a Petri net to model mutual exclusion?
How do you find the reachability graph of a Petri net?
What are Petri net markings?
How can you find which Petri net markings are reachable?
How can Petri nets modelling real systems be changed to allow for multiple instances at once?
What changes does allowing multiple instances of Petri net models to be present simultaneously give?
How do Petri nets modelling given real-world systems differ from TSes doing the same thing?
What is TCTL?