Login / Signup

A Web Interface for Petri Nets with Transits and Petri Games.

Manuel GiesekingJesko Hecking-HarbuschAnn Yanich
Published in: TACAS (2) (2021)
Keyphrases