Encoding Petri Nets into CCS (Technical Report)

Benjamin Bogø, Andrea Burattin, Alceste Scalas

This paper explores the problem of determining which classes of Petri nets can be encoded into behaviourally-equivalent CCS processes. Most of the existing related literature focus…