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

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