Viewing all changes in revision 252.
- Committer: Simon Virenfeldt
- Date: 2021-02-12 12:09:19 UTC
- Revision ID: simwir1@gmail.com-20210212120919-38lox61jp50mfung
Updated the logic of rule K such that if the simple self loop is enabled in the inital marking all other irrelevant transitions and places are removed
- files modified:
- include/PetriEngine/Reducer.h
expand all
collapse all
added
removed
