Comments (11)
Hi @fmannhardt,
I have looked at this together with @Javert899
Minor side note, alignments can actually be computed on easy sound WF nets, which are non-relaxed ;-)
Anyways, the problem was, that I didn't check in the code if a solution existed for the heuristic.
Clearly, if there is no solution, the heuristic should be set to infinity (or MAX INT).
At the moment, the heuristic was None and then the addition of the heuristic to the cost traveled so far was breaking.
From a theoretical perspective, this implies that the code was only able to handle sound WF nets indeed.
We have released this fix in 1.1.1
from pm4py-core.
Hi,
The Petri net looks a sound workflow net to my eye, but the initial marking is set as empty, and that is not correct.
from pm4py-core.
I see, there was an issue with my exporting code and now there are both markings in the file.
Anyway, still the same error so it seems something to be wrong with some other part.
This is the correct Petri net:
heur_v2.zip
Note that alignments do not require sound Workflow nets as input, should work for any Petri net. It is just not guaranteed to finish ;)
from pm4py-core.
Actual implementation in PM4Py, that is based on an Heuristic based on resolving the marking equation, requires at least relaxed soundness ..
Obviously, other implementations could be considered in future ;)
from pm4py-core.
Yes, that is what I meant. Non relaxed sound ones cannot be aligned by definition.
Anyway, there seems to be something else wrong regarding the example I uploaded.
from pm4py-core.
Was this fixed? I tried it again, but it results in the same error.
from pm4py-core.
Unfortunately there is no much we can do on the current version if the net is not sound
In some time from now, a version that is able to do alignments on accepting Petri nets, although with a much larger number of states evaluated, will be worked
See issue #62
from pm4py-core.
Did you have a look at the last files I uploaded:
https://github.com/pm4py/pm4py-source/files/2884165/heur_v2.zip
This has the correct initial and final marking. it is not a sound workflow net, but definitely a relaxed sound Petri net as required by alignments --- at least in its original definition.
Does the PM4PY implementation only work for sound workflow nets?
from pm4py-core.
Thanks. All those definitions, what was easy sound
again? ;)
from pm4py-core.
there just has to exist a path from the initial marking to the final marking (easy sound).
relaxed sound is something along the lines of we are able to enable each transition from the initial marking and after firing such transition we can still reach the final marking.
from pm4py-core.
Oh, then easy sound
is what I call relaxed sound
for Data Petri nets. :-)
from pm4py-core.
Related Issues (20)
- Time range filter not working with timezone-naive timestamps HOT 2
- dfg created using dfg_visualizer not detecting the starting activity of the process. I am using correlation miner without case id. HOT 1
- pm4py.write.write_bpmn(...) produces invalid BPMN schema HOT 2
- pm4py.llm.openai_query() does not work HOT 1
- Trouble Generating Log File with 'Extensive' Playout Variant in Petri Net Simulation from .pmml File HOT 1
- GPU-based process mining HOT 3
- pm4py.convert.convert_to_petri_net(bpmn) not support inclusiveGateway HOT 1
- Missing PEP 561-compliancy HOT 1
- OCDFG: Visualization issue when having only one activity to show HOT 1
- Suggestion: Integration of Azure OpenAI API HOT 1
- Duplicated sequence from activity to Exclusive Gateway in BPMN visualization HOT 7
- Convert_to_process_tree not working HOT 3
- Method get_event_attribute_values does not get attributes. HOT 4
- Event order is incorrect when adjacent events have only miliseconds difference HOT 3
- TLS certificate expired HOT 2
- Getting a False soundness result for the simplest BPMN model HOT 2
- HELP: Is it possible to convert a BPMN to a TPN file? HOT 1
- ocel interleavings discovery throws TypeError HOT 7
- petrinet to bpmn HOT 4
- SSL Down PM4PY.FIT.FRAUNHOFER.DE website HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from pm4py-core.