Enda Brophy
Index Terms
- The Outlaw 'Net': Opposition to ICANN's New Internet Order
Recommendations
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri NetsWe show in this paper how the formalism of Parameterized Net Classes is realized with the Petri Net Kernel. Parameterized Net Classes are an abstract notion of Petri nets using formal parameters to express Petri net type characteristics. This formalism ...
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri NetsThis paper presents an overview of the Petri Net Baukasten developed by the "DFG-Forschergruppe Petrinetz-Technologie" in Berlin. The Petri Net Baukasten provides a unified presentation with different views on theory, application, and tools of Petri ...
Revisiting Petri Net Modeling of the Cigarette Smokers' Problem: A GPenSIM Approach
EMS '13: Proceedings of the 2013 European Modelling SymposiumPetri Nets is a family of modeling formalisms, with different interpretations and abstraction levels; the Petri nets family of modeling formalisms includes ordinary Petri Net, generalized Petri Net, and also all other extensions e.g. Colored Petri Net, ...
Comments