mcc - Équipe Verification de Systèmes Temporisés Critiques
Logiciel Année : 2019

mcc

Résumé

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

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

Consulter sur Present sur SoftwareHeritage

Dates et versions

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

Identifiants

Métadonnées

  • version : 2.0.0
  • softwareLicence : https://spdx.org/licenses/CECILL-B
  • programmingLanguage : Go
  • codeRepository : https://github.com/dalzilio/mcc

Citer

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

Partager

More