dump of my files related to netaddtion (see [1]).

The most important part is in folder netadddsl. It contains the antlr rules to the create some grgen model.

The folders ./coffee_capp_stn_na and ./petri_net_addition are examples how the .na files can look. The ./petri_net_addition is an implementation of some algorithms of [2]. Some changes I did was to replace priority-transitions with inhibitor arcs.

[1] Barros, J. P. & Gomes, L. Net Model Composition and Modification by net Operations: A Pragmatic Approach. in 2004 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN ’04 309–314 (2004). doi:10.1109/INDIN.2004.1417350 [2] Zaitsev, D. A. Petri Net Paradigm of Computation. in Proceedings of the International scientific conference on Computer Algebra and Information Technology 107–114 (2012).