Es findet ein wissenschaftlicher Vortrag statt.

Dr. Joachim Wehler: Verification of Boolean Process Models

 

 

In the field of Business Process Management there is a need to verify the models which specify the control flow of the processes in question. We adopt the language of Boolean systems as a reference language for Boolean process models. Boolean systems form a simple subclass of coloured Petri nets. Using the close relationship between Boolean systems and propositional logic we translate behavioural properties of Boolean systems into certain formulas from propositional logic. As a consequence, the verification of Boolean systems reduces to the question whether these formulas are satisfiable. Based on the well-known resolvent algorithm we develop a java program which checks whether a given Boolean system is well-behaved.