Skip to main content
Publication

Formalizing Institutions as Executable Petri Nets for Distributed Robotic Systems