Inhaltszusammenfassung

In this paper, Timestamp Petri nets – a special kind of timed Petri nets - and a Logic of Actions are used to specify process requirements. Petri net implementations of such specifications are used for a better visualization and to prove whether a given realization is sound and complete with respect to a given specification. The theory is applied to the specification of workflow processes. An example shows how to prove that a given workflow fulfills time constraints required by the management...In this paper, Timestamp Petri nets – a special kind of timed Petri nets - and a Logic of Actions are used to specify process requirements. Petri net implementations of such specifications are used for a better visualization and to prove whether a given realization is sound and complete with respect to a given specification. The theory is applied to the specification of workflow processes. An example shows how to prove that a given workflow fulfills time constraints required by the management of a company.» weiterlesen» einklappen

Autoren

Klassifikation

DFG Fachgebiet:
Informatik

DDC Sachgruppe:
Informatik