Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
BranchingProcess.java 2023-06-10 09:32 21K
BuchiIsEmpty.java 2023-06-10 09:32 5.6K
Candidate.java 2022-09-12 11:41 5.8K
Condition.java 2022-11-07 17:04 3.8K
ConditionConditionCoRelation.java 2022-09-12 11:41 10K
ConditionEventsCoRelation.java 2022-09-12 11:41 13K
ConditionEventsCoRelationB32.java 2022-11-07 17:04 13K
ConditionMarking.java 2022-09-12 11:41 5.9K
Configuration.java 2022-09-12 11:41 6.4K
ConfigurationOrder.java 2021-02-19 15:38 3.1K
DepthBasedOrder.java 2021-02-19 15:38 1.2K
EsparzaRoemerVoglerOrder.java 2022-09-12 11:41 2.2K
Event.java 2023-06-10 09:32 14K
EventEventsCoRelation.java 2022-09-12 11:41 13K
Events2PetriNetLassoRunBuchi.java 2023-06-10 09:32 4.8K
FinitePrefix.java 2022-09-12 11:41 7.3K
FinitePrefix2PetriNet.java 2023-03-16 09:31 24K
GetAcceptedWord.java 2022-09-12 11:41 4.0K
ICoRelation.java 2022-09-12 11:41 5.8K
IPossibleExtensions.java 2022-09-12 11:41 2.6K
IsEmpty.java 2022-09-12 11:41 4.4K
McMillanOrder.java 2021-02-19 15:38 691
NumberOfConditions.java 2018-07-30 14:12 2.6K
package-info.java 2018-07-26 09:18 1.5K
PetriNetUnfolder.java 2023-06-10 09:32 8.5K
PetriNetUnfolderBase.java 2023-06-10 09:32 15K
PetriNetUnfolderBuchi.java 2023-06-10 09:32 8.4K
PossibleExtensions.java 2022-09-12 11:41 14K