mcc

Silvano Dal Zilio

Logiciel Année : 2019

mcc

(1, 2)

1
2

Silvano Dal Zilio

Fonction : Auteur
PersonId : 3545
IdHAL : dalzilio
ORCID : 0000-0002-6002-2696
IdRef : 123897912

Équipe Verification de Systèmes Temporisés Critiques

Trustworthy systems: foundations and practices

Résumé

MCC is a tool for transforming the models of High-Level Petri nets, given in PNML format, into equivalent Place/Transition nets.

Mots clés

Petri nets PNML model checking

Domaines

Informatique [cs] Logique en informatique [cs.LO]

Silvano Dal Zilio : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04792611

Soumis le : mercredi 20 novembre 2024-18:44:35

Dernière modification le : vendredi 22 novembre 2024-03:35:16

Dates et versions

hal-04792611 , version 1 (20-11-2024)

Identifiants

HAL Id : hal-04792611 , version 1
SWHID : swh:1:dir:9e20040fbc1129056324a6c9505c4f31dc002155;origin=https://github.com/dalzilio/mcc;visit=swh:1:snp:b47b7f515d839603e99c7d0ac2097e4a9098ea2d;anchor=swh:1:rev:09a1755cf909e9e93665ffb26e3dec900ffac0c6

version : 2.0.0
Licences : https://spdx.org/licenses/CECILL-B
Langage de programmation : Go
Code Repository : https://github.com/dalzilio/mcc

Citer

Silvano Dal Zilio. mcc. 2019, ⟨swh:1:dir:9e20040fbc1129056324a6c9505c4f31dc002155;origin=https://github.com/dalzilio/mcc;visit=swh:1:snp:b47b7f515d839603e99c7d0ac2097e4a9098ea2d;anchor=swh:1:rev:09a1755cf909e9e93665ffb26e3dec900ffac0c6⟩. ⟨hal-04792611⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INSA-TOULOUSE LAAS UT1-CAPITOLE LAAS-VERTICS LAAS-INFORMATIQUE-CRITIQUE INSA-GROUPE LAAS-RISC TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP LAAS-TRUST

0 Consultations

0 Téléchargements

mcc