A tool for symbolic manipulation of arc functions in Symmetric Net models
G. Franceschinis, Lorenzo Capra, Massimiliano De Pierro · 2014
The computation of structural properties of models expressed with the Symmetric Nets formalism (formerly Well-Formed Nets, a High Level Petri Net formalism), their structural reduction, or the efficient detection of transition instances enabled in a given state can benefit from the availability of