Encoding Petri Nets into CCS. - Benjamin Bogø; Andrea Burattin; Alceste Scalas (COORDINATION, 2024)

Encoding Petri Nets into CCS (Technical Report). - Benjamin Bogø; Andrea Burattin; Alceste Scalas (CoRR, 2024)

PN2CCS: A tool to encode Petri nets into calculus of communicating systems. - Benjamin Bogø; Andrea Burattin; Alceste Scalas (Sci. Comput. Program., 2026)