Viewing all changes in revision 48.
- Committer: Jiri Srba
- Date: 2014-03-18 18:21:39 UTC
- mfrom: (47.1.1 verifypnRuleBfix)
- Revision ID: srba@cs.aau.dk-20140318182139-qmsmd50alz82bve6
merged in branch fixing ommitted condition in Rule B (output places of t' should not be
used in queries).
used in queries).
- files modified:
- PetriEngine/Reducer.cpp
expand all
collapse all
added
removed
