A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets.

Mohamed Bettaz, Gianna Reggio

Browse the full COMPASS paper archive.