Thomas Hujsa

Latest

• Property Directed Reachability for Generalized Petri Nets
• Checking marking reachability with the state equation in Petri net subclasses
• On the Petri Nets with a Single Shared Place and Beyond