Information Technology Reference
In-Depth Information
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 )
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
Search WWH ::

Custom Search