bug will be permanently deleted from colored-petri-nets. This cannot be undone.

enhancement will be permanently deleted from colored-petri-nets. This cannot be undone.