There has been relatively little work on formal analysis of expressiveness and verification of structural, behavioural and temporal properties in clinical workflow. In this paper we discuss Coloured Petri nets (CPNs) as a formalism to support such analysis. We show in detail how a typical clinical guideline language (PROforma) may be formally mapped to a CPN representation, then show how such a...

The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of Petri nets, PNML allows the definition of Petri net types. Due to this flexibility, PNML is a starting point for a standard interchange format for Petri nets. This paper discusses the design principles, the basic conc...

At present, the resource modeling of workflow net (WF-net) are too simple to describe complex workflow. Thus, its application is not satisfying in practical use. Based on the analysis of resource management problems, unified resources management which gets the identical resource request and release process is proposed. The method of identical resource-modeling reduces complexity of WF-net model...

We present a symbolic approach to the calculation of siphons and traps for algebraic Petri nets where the color domains are speci ed without equations and with at most unary operation symbols

The design and implementation of Fuzzy Intelligent systems are studied. These systems operate in conditions of uncertainty, imprecision and ambiguity. Their behavior is described by Fuzzy Algorithms (FA) in the form of Fuzzy production rules. A new approach to design of such Fuzzy systems is suggested. The approach is based on a following : (a) Fuzzy Petri Nets (FPN) as new model and tools for ...