Canonical Representations for Direct Generation of Strategies in High-Level Petri Games

von Gieseking, Manuel
Veröffentlicht in PETRI NETS (42. : 2021 : Online) Application and Theory of Petri Nets and Concurrency (2021)

A Web Interface for Petri Nets with Transits and Petri Games

von Gieseking, Manuel
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Model Checking Branching Properties on Petri Nets with Transits

von Finkbeiner, Bernd
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)

ADAMMC: A Model Checker for Petri Nets with Transits against Flow-LTL

von Finkbeiner, Bernd
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)