Petri Net Based Behavior Description of Cross-Organization Workflow with Synchronous Interaction Pattern - Process-Aware Systems - page 6

Fig. 1. WF-net of Surgical Organization ( W S )

Fig. 2. WF-net of Cardiovascular Organization ( W C )

According to Definitions 4.1-4.2, we obtain the cross-organization workflow net,
W CW , of this medical diagnosis scenario as shown in Fig. 3.

Fig. 3. CWF-net of the Medical Diagnosis Workflow ( W CW )

5 Behavior Description of Cross-Organization Workflow with

Synchronous Interaction Pattern

In this section, we analyze the behavior description of cross-organization workflow
with synchronous interaction pattern. Our method is laid on the synchronized shuffle
of Petri net languages, which is first introduced by Latteux [13]. Before rendering our
approach, we will first review some of the basics on Petri net language and some
limitations of our work.
In this paper, we focus on a kind of bounded Petri net, whose language is proved to
be regular languages [11], thereby some commonly used language operators are re-
viewed as: connection operator “ ”,

and parallel operator “//”. Please refer to [10]-[11] for more detailed introduction.
According to the theory of Petri net languages [12], four different types of lan-
guages named L-type, G-type, T-type and P-type are defined based on the difference
of their terminal markings. Depending on the choice of transition labeling (free,

• ”, choice operator “ + ”, Kleen-closure operator “ ∗

-
free, arbitrary), each type is divided into three classes. In this paper, we use the free

ʻ