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.
![]()
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⟩
![]()
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