Index of /trunk/source/Library-Automata/src/de/uni_freiburg/informatik/ultimate/automata/petrinet/netdatastructures

 Name                                                                                      Last modified      Size  Description
 Parent Directory                                                                                               -   
 BoundedPetriNet.java                                                                      2022-09-12 11:41   12K  
 ISuccessorTransitionProvider.java                                                         2022-09-12 11:41  1.7K  
 package-info.java                                                                         2018-07-26 09:18  1.5K  
 PetriNetUtils.java                                                                        2022-09-12 11:41   11K  
 SimpleSuccessorTransitionProvider.java                                                    2022-09-12 11:41  2.4K  
 SuccessorTransitionProviderSplit.java                                                     2022-09-12 11:41  3.2K  
 Transition.java                                                                           2022-11-07 17:04  4.1K