Index of /Root/d-Computer/d-Petri-nets/d-Theory-of-Petri-nets

Icon  Name                                    Last modified      Size  Description
[DIR] Parent Directory - [TXT] b-Algebraic-Petri-nets 23-Jul-2009 14:57 2.2K [TXT] b-Boolean-analysis-of-Petri-nets 10-Jan-2008 23:22 1.2K [TXT] b-Categorical-treatment 15-Jul-2010 00:52 2.6K [   ] b-Causality-and-history 25-Aug-1997 18:33 203 [   ] b-Coloured-Petri-nets 03-Jan-2008 00:47 643 [   ] b-Concurrency 01-Aug-2011 13:53 739 [   ] b-Decidability 26-Aug-1997 21:53 271 [   ] b-Finite-transition-systems 25-Aug-1997 16:00 112 [TXT] b-Free-choice-petri-nets 04-Jan-2008 01:36 454 [TXT] 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 [TXT] b-Invariants 09-Dec-2007 12:28 590 [   ] b-Petri-nets-and-cellular-automata 04-Jan-2008 00:54 149 [TXT] b-Petri-nets-and-integer-programming 23-Jul-2009 16:23 731 [TXT] b-Petri-nets-as-vector-addition-systems 09-Dec-2007 13:52 194 [   ] b-Place-transition-nets 25-Aug-1997 15:52 144 [TXT] 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 [TXT] b-Topological-models-for-concurrency 18-Apr-2007 08:19 39
Apache/2.0.46 (Red Hat) Server at felix.unife.it Port 80