Journal•ISSN: 0232-9298
Systems Analysis Modelling Simulation
Taylor & Francis
About: Systems Analysis Modelling Simulation is an academic journal. The journal publishes majorly in the area(s): Nonlinear system & Artificial neural network. It has an ISSN identifier of 0232-9298. Over the lifetime, 732 publications have been published receiving 4495 citations.
Papers published on a yearly basis
Papers
More filters
368 citations
Journal Article•
TL;DR: This paper uses message sequence charts to specify the interaction between organizations and Petri nets are used to model the workflows inside each organization.
Abstract: To date, workflow management focuses on improving the effectivity and efficiency of business processes within one organization. However, today’s corporations are challenged to cross organizational boundaries. Phenomena such as electronic commerce, extended enterprises and the Internet stimulate the cooperation between organizations. Therefore, it is interesting to consider workflows distributed over a number of organizations. Interorganizational workflow offers companies the opportunity to re-shape business processes beyond the boundaries of individual organizations. In this paper, we use message sequence charts to specify the interaction between organizations. Petri nets are used to model the workflows inside each organization. Two challenging problems related to interorganizational workflow are tackled in this paper: (1) What are the minimal requirements any interorganizational workflow should satisfy?, and (2) How to decide whether an interorganizational workflow (modeled in terms of Petri nets) is consistent with the interaction structure specified in terms of a message sequence chart?
259 citations
Journal Article•
100 citations
Journal Article•
99 citations
Journal Article•
TL;DR: Woflan as mentioned in this paper is a verification tool based on Petri net theory, which uses state-of-the-art results from Petri nets to verify the correctness of workflow processes.
Abstract: Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. Unfortunately, today’s systems give hardly any support to verify the correctness of workflow processes. This paper discusses a verification tool Woflan. Woflan uses state-of-the-art results from Petri net theory, and interfaces with some of the leading workflow tools at the Dutch market. This paper describes the architecture of Woflan and illustrates its functionality by means of some small examples.
87 citations