1 citations · 1 across the 1 of their papers we have counts for
1 paper
Paul Hannibal
Petri games are a multi-player game model for the automatic synthesis of distributed systems, where the players are represented as tokens on a Petri net and are grouped into enviro…