In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 5. IEEE Computer Society Press, October 2002.
Abstract: After considering the literature on verification in factory and office automation, the paper uses a timed logic of actions and timestamp Petri nets to specify processes. Proving techniques are introduced to verify a process realization against its specification. afterwards, this approach to proving, which has been applied to technical problems in the past, is applied here to business processes. Finally, this transfer of results from factory to office automation is used to motivate further investigations in which results can be transferred between these research areas.