We use cookies in order to improve the quality and usability of the HSE website. More information about the use of cookies is available here, and the regulations on processing personal data can be found here. By continuing to use the site, you hereby confirm that you have been informed of the use of cookies by the HSE website and agree with our rules for processing personal data. You may disable cookies in your browser settings.

  • A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

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'.


Abstract: 

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.