Index of /Root/d-Computer/d-Petri-nets/d-Theory-of-Petri-nets
Name Last modified Size Description
Parent Directory -
b-Algebraic-Petri-nets 25-May-2012 00:04 2.3K
b-Boolean-analysis-of-Petri-nets 10-Jan-2008 23:22 1.2K
b-Categorical-treatment 15-Jul-2010 00:52 2.6K
b-Causality-and-history 25-Aug-1997 18:33 203
b-Closure-operators 02-Feb-2016 23:55 138
b-Coloured-Petri-nets 03-Jan-2008 00:47 643
b-Concurrency 02-Feb-2016 23:57 1.0K
b-Decidability 26-Aug-1997 21:53 271
b-Finite-transition-systems 25-Aug-1997 16:00 112
b-Free-choice-petri-nets 04-Jan-2008 01:36 454
b-Groebner-bases-and-Petri-nets 14-Jun-2008 23:18 1.4K
b-High-level-Petri-nets 26-Aug-1997 11:51 701
b-Inhibitory-arcs 10-Jan-2008 22:45 257
b-Invariants 09-Dec-2007 12:28 590
b-Petri-nets-and-cellular-automata 04-Jan-2008 00:54 149
b-Petri-nets-and-integer-programming 23-Jul-2009 16:23 731
b-Petri-nets-as-vector-addition-systems 09-Dec-2007 13:52 194
b-Place-transition-nets 25-Aug-1997 15:52 144
b-Reachability 09-Dec-2007 13:47 166
b-Refinement-of-Petri-nets 15-Jul-2008 19:00 331
b-Semantics-and-logic-programming 07-Jun-2001 19:46 455
b-Sheaf-theory-and-Petri-nets 29-Apr-2007 00:30 360
b-Stochastic-Petri-nets 18-Apr-2007 08:19 206
b-Symmetry-of-Petri-nets 25-Aug-1997 15:23 205
b-Topological-models-for-concurrency 18-Apr-2007 08:19 39
Apache/2.0.46 (Red Hat) Server at felix.unife.it Port 80