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.
HAL

Cite hal-02511881 Objet présenté à une conférence Silvano Dal Zilio. MCC: a Tool for Unfolding Colored Petri Nets in PNML Format. 41st International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2020, Paris, France. pp.426-435, ⟨10.1007/978-3-030-51831-8_23⟩. ⟨hal-02511881⟩

DOI

Cite 10.1007/978-3-030-51831-8_23 MCC: A Tool for Unfolding Colored Petri Nets in PNML Format, https://doi.org/10.1007/978-3-030-51831-8_23

46 Consultations
0 Téléchargements

Partager

More