Three new Petri net task types (from Bachelor thesis)#558
Open
jvoigtlaender wants to merge 260 commits intodevfrom
Open
Three new Petri net task types (from Bachelor thesis)#558jvoigtlaender wants to merge 260 commits intodevfrom
jvoigtlaender wants to merge 260 commits intodevfrom
Conversation
Jetzt kann selber beim Erstellen des Codes festgelegt werden, ob legale oder illegale Petrinetze benutzt werden sollen. Durch compBasicConstraints
…eastActive' set to positive value
- in defaultConstraints, the first argument for enforceConstraints was anyway always False
Für Pick wird hier kein parsen gebraucht
Beinhaltet nur zwei Fehler
- simply hitting Enter several times leads to use of the default config - (also simplified the code somewhat)
- introduced in af7793a
…istakeTask - i.e., nothing like specific transitions to point to, as in Concurrency/Conflict tasks
changed enforceConstraints for petrinets that don't use activated transitions
…rn in Mistake tasks
+ added new type Mistake for parsing
jvoigtlaender
force-pushed
the
ba-luca-eichhofer
branch
9 times, most recently
from
7ce9e5d to
4f7014e
Compare
jvoigtlaender
force-pushed
the
ba-luca-eichhofer
branch
2 times, most recently
from
92156c5 to
d758114
Compare
jvoigtlaender
force-pushed
the
ba-luca-eichhofer
branch
6 times, most recently
from
5ddbb70 to
cce38d1
Compare
jvoigtlaender
force-pushed
the
ba-luca-eichhofer
branch
from
cce38d1 to
799b38f
Compare
jvoigtlaender
force-pushed
the
ba-luca-eichhofer
branch
2 times, most recently
from
80bd5a2 to
87f821e
Compare
jvoigtlaender
force-pushed
the
ba-luca-eichhofer
branch
from
a27fd2c to
62d624b
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.