Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[DIR]](/icons/folder.gif){kind=icon}
netdatastructures/ 2022-11-07 17:04 -
operations/ 2023-06-10 09:32 -
petruchio/ 2022-09-12 11:41 -
unfolding/ 2023-06-10 09:32 -
visualization/ 2023-12-06 19:42 -
![[TXT]](/icons/text.gif){kind=icon}
EnumerateRuns.java 2023-04-04 09:06 4.1K
IPetriNet.java 2022-09-12 11:41 2.5K
IPetriNetAndAutomataInclusionStateFactory.java 2018-08-10 15:41 1.9K
IPetriNetSuccessorProvider.java 2022-09-12 11:41 2.4K
![[ ]](/icons/unknown.gif){kind=icon}
IPetriNetTransitionProvider.java 2022-09-12 11:41 1.7K
Marking.java 2022-09-12 11:41 5.9K
package-info.java 2016-09-06 13:51 1.8K
PetriNetLassoRun.java 2023-06-10 09:32 1.9K
PetriNetNot1SafeException.java 2018-11-20 17:18 2.3K
PetriNetRun.java 2023-04-04 09:06 5.7K
TransitionUnifier.java 2021-02-19 15:38 3.2K
UnaryNetOperation.java 2018-08-07 10:44 2.5K