Daniil Frumin, Irina A. Lomazova. Branching Processes of Conservative Nested Petri Nets. In Alexei Lisitsa, Andrei P. Nemytykh, editors, VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014. Volume 28 of EPiC Series, pages 19-35, EasyChair, 2014. [doi]
Abstract is missing.