Seminar 'On Place Invariants of Nested Petri Nets'
Leonid Dworzanski, Senior Lecturer at the School of Software Engineering delivered the report 'On Place Invariants of Nested Petri Nets'.
Invariants are a basic analysis tool for Petri nets of different kinds.
Invariants and means to find them were studied for almost every variant of Petri nets.
While invariants for place/transitions nets are quite simple notion and there are efficient algorithms to find them, invariants for other Petri net calculi are not so easy to tackle.
For coloured and algebraic Petri nets, algorithms to find invariants are studied only for some subclasses.In this talk Dworzanski speaks about the rather simple idea of invariants in nested Petri nets and how to find them.