Logo image

System Analysis Tool Chain based on Petri Nets

Main Publications Links Downloads

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.