Discovering procedural process models (like Petri nets) from event logs produces spaghetti-like models for processes working in turbulent environments and characterized by a lot of variability like healthcare processes. Using declarative process models (like Declare) ensures flexibility in the process description and produces compact sets of rules even in environments where participants have more autonomy in the process execution. Declare models can also be used as compliance models to check the conformance (online and offline) of process executions with respect to some expected behavior.
The flyer https://www.dropbox.com/s/893qcx70gt2v7zh/DeclareFlyer.pdf gives an overview on the plug-ins available in the process mining tool ProM for declarative process mining (nightly build version). There are several application domains in which these tools can be used to gain valuable insights about processes based on event logs. I am available to support you whenever you need help: Fabrizio Maria Maggi University of Tartu [email protected]<mailto:[email protected]>
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
