Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
Accepts.java 2022-09-12 11:41 6.2K
AcceptsInfiniteWords.java 2023-06-10 09:32 14K
Automaton2Net.java 2022-09-12 11:41 4.0K
BuchiAccepts.java 2023-06-10 09:32 5.0K
BuchiIntersect.java 2023-06-10 09:32 11K
BuchiPetriNet2FiniteAutomaton.java 2023-06-10 09:32 10K
CopySubnet.java 2022-09-12 11:41 11K
Difference.java 2023-03-16 09:31 29K
DifferencePairwiseOnDemand.java 2023-06-10 09:32 13K
DifferencePetriNet.java 2022-09-12 11:41 20K
DifferenceSynchronizationInformation.java 2022-09-12 11:41 9.2K
IsEquivalent.java 2018-08-10 15:41 3.4K
IsIncluded.java 2022-09-12 11:41 5.1K
LazyBuchiPetriNet2FiniteAutomaton.java 2023-06-10 09:32 11K
LazyPetriNet2FiniteAutomaton.java 2022-09-12 11:41 9.5K
NumberOfPlaces.java 2018-07-25 08:20 2.6K
NumberOfTransitions.java 2018-07-25 08:20 2.6K
package-info.java 2018-07-24 10:41 1.6K
PetriNet2FiniteAutomaton.java 2022-09-12 11:41 8.7K
PrefixProduct.java 2022-09-12 11:41 11K
ProjectToSubnet.java 2022-09-12 11:41 3.6K
RemoveDead.java 2022-09-12 11:41 10K
RemoveDeadBuchi.java 2023-06-10 09:32 7.0K
RemoveRedundantFlow.java 2022-09-12 11:41 13K
RemoveUnreachable.java 2022-09-12 11:41 9.5K