Fabio is helping us generalizing the Petri nets used in the Statebox language.

Name: Fabio Gadducci
Education: PhD Computer Science, University of Pisa
Expertise: Open networks, Petri nets, graph rewriting, bisimulation
Location: Pisa, Italy
Publications: DBLP Arxiv

Fabio is currently Associate Professor of Informatics at the University of Pisa, Italy. He is an expert in graph rewriting and studied the semantics of different flavors of Petri nets for a long time. He is interested in specification and verification techniques for concurrent and distributed systems. He is also interested in encodings between visual (graph-like) and textual (calculi-like) formalisms, in order to foster technology transfer.