Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
9.2.2023: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.
Open sidebar
i7
peregrine
Commits
a65b1fce
Commit
a65b1fce
authored
Dec 19, 2014
by
Philipp Meyer
Browse files
Combined both liveness refinement methods
parent
378f0e99
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/Main.hs
View file @
a65b1fce
...
...
@@ -501,9 +501,7 @@ checkLivenessProperty' verbosity net refine f cuts = do
Nothing
->
return
(
Nothing
,
cuts
)
Just
x
->
if
refine
then
do
rt
<-
findLivenessRefinementBySComponent
verbosity
net
x
--rt <- findLivenessRefinementByEmptyTraps verbosity net
-- (initialMarking net) x []
rt
<-
findLivenessRefinement
verbosity
net
x
case
rt
of
Nothing
->
return
(
Just
x
,
cuts
)
...
...
@@ -513,6 +511,15 @@ checkLivenessProperty' verbosity net refine f cuts = do
else
return
(
Just
x
,
cuts
)
findLivenessRefinement
::
Int
->
PetriNet
->
FiringVector
->
IO
(
Maybe
Cut
)
findLivenessRefinement
verbosity
net
x
=
do
r1
<-
findLivenessRefinementBySComponent
verbosity
net
x
case
r1
of
Nothing
->
findLivenessRefinementByEmptyTraps
verbosity
net
(
initialMarking
net
)
x
[]
Just
_
->
return
r1
findLivenessRefinementBySComponent
::
Int
->
PetriNet
->
FiringVector
->
IO
(
Maybe
Cut
)
findLivenessRefinementBySComponent
verbosity
net
x
=
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment