Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Making workflow models sound using petri net controller synthesis

: Dehnert, J.; Zimmermann, A.

Meersman, R.:
On the move to meaningful internet systems 2004. Pt.1 : CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, Agia Napa, Cyprus, October 25 - 29, 2004. Proceedings
Berlin: Springer, 2004 (Lecture Notes in Computer Science 3290)
ISBN: 3-540-23663-5
ISSN: 0302-9743
On the Move Confederated International Conferences (OTM) <3, 2004, Agia Napa>
International Conference on Cooperative Information Systems (CoopIS) <2004, Agia Napa>
International Conference on Distributed Objects and Applications (DOA) <2004, Agia Napa>
International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE) <2004, Agia Napa>
Fraunhofer ISST ()

More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a formal specification language, as they represent executable derivates of business process descriptions. Both for the less formal descriptions of business processes as well as the workflow definitions, Petri-net based approaches are used successfully. In the literature the business process descriptions are required to be well-structured, leading to a sound workflow definition. We argue that in many cases well-structuredness is too restrictive for practitioners. Relaxed soundness has been introduced previously as a more suitable requirement. The paper presents how methods from controller synthesis for Petri nets can be used to automatically make this type of models sound. For this reason we adopt the idea of controllability for Petri net workflow models.