Commit ddea4d17 authored by Philipp Meyer's avatar Philipp Meyer

Removed unneeded constraint for checking closure

parent bdde204b
......@@ -46,7 +46,7 @@ checkClosed net ax m =
[(t,t') | t <- pre net p, t' <- post net p,
cElem ax t, cElem ax t' ])
checkTransition (t,t') =
mElem m (prime t) &&& mElem m t' ==> mElem m (prime t')
mElem m (prime t) ==> mElem m (prime t')
checkTokens :: PetriNet -> ModelSI -> SBool
checkTokens net m =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment