SATCPN is a tool for analysing the properties of MSC document by converting the given document to trace-equivalent Petri Net.

Tool is still in pre-alpha stage. Corresponding publication and downloads sections will be filled upon project progress.