Add support for structs and monitors
-
add signal support to colored-petri-nets
-
add structs and monitors to pseudo-cpn-compiler
-
add debugger support to display structs, monitors, and wait sets
Edited by Felix Freiberger
colored-petri-nets
pseudo-cpn-compiler