Full structural model refinement as type refinement of colored Petri nets

: Gratie Diana-Elena, Petre Ion

: Heiner M., Wagler A.K.

: 2015

: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets

: CEUR Workshop Proceedings

: 1373

: 70

: 84