Full Structural Model Refinement as Type Refinement of Colored Petri Nets

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Diana-Elena Gratie, Ion Petre
Editors: Monika Heiner, Annegret K. Wagler
Publisher: CEUR Workshop Proceedings
Publication year: 2015
Journal: CEUR Workshop Proceedings
Publisher: CEUR-WS.org
Book title: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets (BioPPN 2015)
Title of series: Ceur Workshop Proceedings
Volume number: 1373
Start page: 70
End page: 84
ISSN: 1613-0073

Last updated on 2020-12-07 at 07:04