All Classes
-
All Classes Class Summary Enum Summary Class Description AlgebraClass DecomposeAndConquerImplicitPlaceFinder This class implements an approach to identify implicit places in Petri nets that was developed by me (Tobias Wirtz) in my master thesis.DecomposeAndConquerIPPlugin FindMode ILPBasedImplicitPlaceColorerPlugin IPFinderParams LanguageBasedImplicitPlaceFinder This class identifies implicit places in a petri net by generating the language of the net (as well as possible) and comparing the language of a net without a particular place.LanguageBasedImplicitPlaceFinderPlugin PetriNetCopier This class provides method to create and modify a deep copy of a Petri net.PetrinetLanguageGenerator This class can be used to generate a possibly large subset of the language a given sound Workflow net.ReplayBasedImplicitPlaceColorerPlugin ReplayBasedImplicitPlaceFinder This class identifies implicit places in Petri net by replaying an event log on the net and performing a pairwise comparison of the token histories of places.StructureBasedImplicitPlaceFinder This class provides methods to color and remove implicit places in a petri net.TNetDecomposition VariantSelectionDialog Anforderungen: - JBox zur variant selection: (Replay-, Structure-, Language-based) - color / remove - list preconditions for input for variantsYourAlgorithm YourConnection YourDialog YourFirstInput YourHelp YourOutput YourParameters YourPlugin YourSecondInput