coloured-petri-nets

Here are 3 public repositories matching this topic...

A core library for Sicope Model, a Model-Based Testing tool for web application.

Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

This repository relates to the MBA/CPN, aiming to assist the quality assessments during the development and certification process.

Add a description, image, and links to the coloured-petri-nets topic page so that developers can more easily learn about it.

To associate your repository with the coloured-petri-nets topic, visit your repo's landing page and select "manage topics."