Arnaldo Cesco | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Roberto Gorrieri
9 publications

research

∙ 04/30/2021

A Decidable Equivalence for a Turing-complete, Distributed Model of Computation

Place/Transition Petri nets with inhibitor arcs (PTI nets for short), wh...

0 Arnaldo Cesco, et al. ∙

research

∙ 04/30/2021

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets

We prove that (strong) fully-concurrent bisimilarity and causal-net bisi...

0 Arnaldo Cesco, et al. ∙