Andrea Burattin
Associate Professor
Technical University of Denmark
PN2CCS: A Tool to Encode Petri Nets into Calculus of Communicating Systems
B. Bogø, A. Burattin, A. Scalas
Abstract
PN2CCS is a software tool to encode Petri nets (PN) into the Calculus of Communication Systems (CCS). Its purpose is to allow Petri nets generated by most process mining algorithms (for instance, the α-miner) to be encoded into CCS, with the longer term goal of enabling the application tools and techniques developed for process calculi to the realm of process mining. PN2CCS is written in JavaScript and runs in modern web browsers with an interactive graphical user interface. The interface allows users to input a Petri net either by drawing it in the tool or importing a Petri net from a common file format for Petri nets. The tool then classifies the input Petri net and encodes it into CCS. The tool allows to encode a slight generalization of free-choice (workflow) nets as well as Petri nets directly expressible in CCS.
Paper Information and Files
In Science of Computer Programming.
- DOI: 10.1016/j.scico.2025.103355
- Download text © 2025 The Author(s). Published by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).
- Software website
General rights
Copyright and moral rights for the publications made accessible in the public website are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.
- Users may download and print one copy of any publication from the website for the purpose of private study or research.
- You may not further distribute the material or use it for any profit-making activity or commercial gain.
If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.