Performance modeling and analysis of workflow

Li, Jianqiang; Fan, Yushun; Zhou, MengChu

doi:10.1109/tsmca.2003.819490

Cited by 143 publications

(62 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Classical approaches either suffer from adding too many monitors or reaching too few states [1,2,3]. Recently, maximally permissive process control policies [4,5,6] with little redundancy have emerged. They however suffer from either complete state enumeration-based on region theory [4,5,6] or the concept of selective-siphons [6].…”

Section: Introductionmentioning

confidence: 99%

“…Recently, maximally permissive process control policies [4,5,6] with little redundancy have emerged. They however suffer from either complete state enumeration-based on region theory [4,5,6] or the concept of selective-siphons [6]. Both are NP-hard and take exponential amount of time.…”

Section: Introductionmentioning

confidence: 99%

“…Classical approaches either suffer from adding too many monitors [4] (problematic siphons growing quickly with the size of the system) or reaching too few states [5,6]. Recently, maximally permissive control policies [7][8][9][10][11] with little redundancy have emerged.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Development of Critical-Siphon Theory to Fastest Deadlock Controller for Flexible Manufacturing Systems and Computer-Integrated Manufacturing

Chiang

Chao

2016

MATEC Web of Conferences

View full text Add to dashboard Cite

Abstract. Since decades, Flexible Manufacturing System (FMS) is a significant part of automated production and manufacturing. In the development of FMS, deadlock prevention becomes a crucial point. This paper present a criticalsiphon theory to demonstrate exactly one monitor for quality FMS is required for the set of siphons in the family of a 2-compound siphons and how to assign its initial markings. The theory is aiming to avoid redundant monitors in FMS and the unnecessary associated computational burden so that the quality of a class of Flexible Manufacturing Systems can be assured latest in the run-time. Neither reachability graph nor minimal siphon needs to be computed achieving polynomial complexity-essential for large systems. This paper redevelops the theory more formally and further applies this approach to two well-known S 3 PR to obtain a controller full or near maximally permissive in the context of deadlock resolution and Quality Assurance. This paper further categorizes mixture siphons into partial and full ones and the sequence among them to add monitors associated with one or different 2-compound siphons. As a result, there is no need to enumerate all siphons and the time complexity involved is polynomial. This is the first of its kind of works among all current results on the benchmark.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Development of Critical-Siphon Theory to Fastest Deadlock Controller for Flexible Manufacturing Systems and Computer-Integrated Manufacturing

Chiang

Chao

2016

MATEC Web of Conferences

View full text Add to dashboard Cite

show abstract

“…However, a complete workflow description requires to characteristic the other perspectives, including time, resource, data and etc. Time management [3]- [4] is an important aspect for workflow modeling, analysis and verification. In addition to structural and temporal constraints, resource constraints are also of vital importance in workflow management, because activities in a workflow usually need to access some resources during their execution [5]- [6].…”

Section: Introductionmentioning

confidence: 99%

Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach

Liu¹,

Zeng²,

Duan³

2014

IJSEA

View full text Add to dashboard Cite

Abstract:Control-flow and data-flow modeling and verification are two important challenges for traditional workflow management. To formulate the data-flow modeling and verification, a Petri Net based approach is proposed in this paper. More specifically, the WFIO-net, which is a kind of WF-net by extending each activity with its read and write data sets, is first presented to model both the control-flow and data-flow information in a workflow process. Moreover, the firing rule of WFIO-net which is different from traditional Petri net is discussed in detail. Then the formal definitions of three basic types of data-flow errors, including missing data, redundant data and conflicting data are formulated using WFIO-net. Next, a polynomial complexity algorithm which is capable of detecting the above-mentioned three kinds of basic data-flow anomalies is proposed based on the activity-data incidence matrix of the WFIO-net. A running case of a property loan approval business process is given to validate the proposed method.

show abstract

“…Um modelo workow é uma representação formal de um processo produtivo ou processo de negócios que permita a execução automatizada do processo (LI; ZHOU, 2004). Pode também ser compreendido como a especicação dos processos associados a solicitação de um cliente, no caso de uma EV.…”

Section: Workow Netunclassified

Colaboração e cooperação entre sistemas produtivos dispersos de empresas virtuais.

Fattori¹

View full text Add to dashboard Cite

Performance modeling and analysis of workflow

Cited by 143 publications

References 17 publications

Development of Critical-Siphon Theory to Fastest Deadlock Controller for Flexible Manufacturing Systems and Computer-Integrated Manufacturing

Development of Critical-Siphon Theory to Fastest Deadlock Controller for Flexible Manufacturing Systems and Computer-Integrated Manufacturing

Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach

Colaboração e cooperação entre sistemas produtivos dispersos de empresas virtuais.

Contact Info

Product

Resources

About