Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: coloured-petri-nets
Viphor/cpn2pn
Transform Coloured Petri Nets in PNML format to equivalent Petri Nets
Language: Python - Size: 20.5 KB - Last synced: 9 months ago - Pushed: about 6 years ago - Stars: 4 - Forks: 1
alvarosobrinho/mbacpn
This repository relates to the MBA/CPN, aiming to assist the quality assessments during the development and certification process.
Language: Standard ML - Size: 2.36 MB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
tienvx/mbt-bundle
A core library for Sicope Model, a Model-Based Testing tool for web application.
Language: PHP - Size: 7.23 MB - Last synced: 8 months ago - Pushed: almost 2 years ago - Stars: 19 - Forks: 3