Journal of System Simulation 2003 Issue z1 Workflow Patterns based on Petri Nets-- A Study of Workflow Patterns

Workflow Patterns based on Petri Nets-- A Study of Workflow Patterns
yu peng ; zhou guo fu ; qu wan ling ; yuan chong yi

..............page:119-122

Simulation and analysis of the Transaction Process based on CORBA
zheng hong ; li shi xian

..............page:123-127

Modeling Agents Behaviors with Hierarchical Colored Petri Nets
ma bing xian ; xu ying lei ; wu zhe hui

..............page:114-118

The Application ofColored Petri nets in Communication Protocol
zhou bi shui ; zuo zuo

..............page:112-113,118

Petri Net Model of Input and Output System
zhao ming qing ; zhang xiu juan ; jiang chang jun

..............page:109-111

Research on Petri Nets based Modeling of Multi Agent Systems
guo feng ; yao shu zhen

..............page:105-108

The Use of Coloured Petri Nets In System Analysis
zhou bi shui ; li xu dong

..............page:102-104,111

Simulation of the Timed Petri Nets Based-on VHDL
zhao bu hui ; du tian yan ; yan yang guang

..............page:99-101

Modeling and Performance Analysis of Globally Distributed Web-server Clusters using Stochastic Highlevel Petri Nets
dan zhi guang ; lin chuang ; wei ya ya

..............page:93-98

Hierarchial Recursive Model of Petri Net
zhang ji jun ; wu zhe hui

..............page:89-92,98

UniNet Description of Program
zhou guo fu ; yu peng ; yuan chong yi ; qu wan ling

..............page:85-88

Optimization VHDL Design With Petri Nets Model
zhu guo hun ; wang cong min

..............page:83-84,88

Conversion from Protocol Petri Net to Estelle
luo jun zhou ; yang xiao yan

..............page:78-82

Generalized petri net model of two intelligence problem
xu an guo ; zhao yi jun

..............page:76-77,82

Analysis Methods and Applications of Non-Markovian Stochastic Petri Nets
lin chuang ; li ya juan ; liu xue ning

..............page:71-75

Petri Net Models and Analysis for Virtual Interface Architecture
sha jing ; jiang chang jun

..............page:69-70

A Kind of Fuzzy Petri Nets and its Dynamic Characteristics
li xiao zhong

..............page:67-68

Application of Extended Petri Net to Concurrency Control of Real-Time Database Based
han yao jun ; luo xue mei ; jiang chang jun

..............page:63-66

Finite Capacity Place Method Based Deadlock Prevention Algorithm
ru yu ; wu wei min

..............page:59-62,66

Learning and Reasoning Method Using Fuzzy Coloured Petri Nets under Uncertainty
chen ya hua ; wu shi lin

..............page:56-58

Coverable Developing Graph and the Properties for Unbounded Timed Hybrid Petri Nets (UTHPN)
zhao yi jun ; wang pei liang

..............page:53-55

The Petri Net Markup Language
zhou bi shui ; hu wei jun

..............page:49-52

Two Subclasses of Petri-Nets with Equivalence of Reachability and State Equation Satisfiability
qiu jing hua ; wu zhe hui

..............page:46-48

Fair Decomposition and Conservative Decomposition for Petri Nets
wang pei liang ; zhao yi jun

..............page:43-45

The Extended Petri Net Model for a Kind of Recursion
cui huan qing ; wu zhe hui ; zhang guang sheng

..............page:40-42

The Assignment of Minimal Live Markingfor Choice-Free Repetitive Petri Net
xu an guo ; zhao yi jun

..............page:35-39

A Sufficient Condition About The Exist of Product-Form Solution Based On Stochastic Petri Net
fang xian wen ; wu zhe hui ; ni li na

..............page:32-34,55

Parallel Programs and State Sequences--A Study of Interleaving Convention
yuan chong yi ; yu peng ; wang sheng yuan

..............page:29-31

The Extended Petri Net Model of MPI's Communication Functions
cui huan qing ; wu zhe hui ; han cong ying

..............page:26-28,39

On Preservation of Liveness in Synthesis Processes of Petri Net Systems
pu fei ; lu wei ming

..............page:17-25

Analysis Cryptographic Protocol Using Timed Petri Net
zhang guang sheng ; wu zhe hui ; zuo yu ye

..............page:11-16

π-nets--a new modular high level Petri nets
cao mu liang ; wu zhi ming ; yang gen ke

..............page:1-5

Model Checking of Petri Nets Based on Linear Temporal Logic
jiang yi xin ; lin chuang ; xing zuo jia

..............page:6-10