High-level Petri nets are a graphical language for the modeling of distributed information systems. Petri nets can be validated by simulation. In this paper, a technique is proposed which generates test cases for the simulation of high-level Petri nets in a systematic way. The approach is called cause-effect-net-concept and is derived from a program code testing concept, the so-called cause-effect graphing. As an extension of the concept, a method for test data generation is demonstrated.

Flexibility of process support is a key requirement for current and future business applications. A technology which is designed to flexibly support various kinds of processes are workflow management systems. In this paper we present INCOME/WF -a prototype of a workflow management system based on high-level Petri nets as workflow modelling and execution language. Important requirements for INCOME/WF are easily adjustable workflow schemes and support for unstructured or weakly structured activities. Both requirements are not yet sufficiently fulfilled by existing WFMS.

No abstract

No abstract

ZusammenfassungDie Operationsbereiche von Versicherungsunternehmen sind für die Profitabilität der Unternehmen von zentraler Bedeutung. Zum einen werden dort die Leistungsversprechen erfüllt, die die Unternehmen an die Kundinnen und Kunden ausgesprochen haben, und zum anderen arbeiten dort viele Mitarbeiter. Diese hohe Bedeutung spiegelt sich allerdings nicht in dem Verhalten des Top Managements wider; dessen Fokus sind Themen wie Innovation und Digitalisierung. Sicherlich ist es so, dass in diesen Bereichen Maßnahmen ergriffen werden müssen, die die Effizienz erhöhen und die Kosten senken. Das ist aber zu kurz gedacht. Denn die Zufriedenheit der Mitarbeiterinnen und Mitarbeiter in den Operationsabteilungen ist ein zentraler Hebel, um die Leistungsfähigkeit dieser Bereiche und damit die Zufriedenheit der Kundinnen und Kunden zu erhöhen. Um die Motivation der dortigen Mitarbeiterinnen und Mitarbeiter zu erhöhen, ist es wichtig, Führung ernst zu nehmen, den Arbeitsdruck dort zu reduzieren und in adäquater Form Agilität und New Work umzusetzen.