Concurrency and Collision Workflow Modeling and Validating Based on Petri Net in Logistics Vehicle Scheduling System

2012 ◽  
Vol 11 (1) ◽  
pp. 689-692
Author(s):  
Weicheng Xie ◽  
Yongqiang Chen ◽  
Changmin Chen ◽  
Yi Xie
Keyword(s):  
Petri Net ◽  
Vehicle Scheduling ◽  
Workflow Modeling ◽  
Scheduling System

scholarly journals A Petri Net-Based Heuristic Algorithm for Short-Term Vehicle Scheduling in a Vehicle Inspection System

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 138442-138460
Author(s):  
Linjian Yang ◽  
Yisheng An ◽  
Naiqi Wu ◽  
Pei Chen ◽  
Hanhan Cheng ◽  
...  
Keyword(s):  
Petri Net ◽  
Heuristic Algorithm ◽  
Vehicle Scheduling ◽  
Inspection System ◽  
Short Term ◽  
Vehicle Inspection

Extremely Fast Heuristic Event-Driven Job Shop Scheduler With a New Class of Extended Petri Nets

2021 ◽  
pp. 512-539
Author(s):  
Alexander Kostin
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Dynamic Models ◽  
Job Shop ◽  
Scheduling System ◽  
New Class ◽  
Extended Petri Nets ◽  
Close Cooperation ◽  
Single Processor ◽  
Unique Mechanism

A very fast scheduling system is proposed and experimentally investigated. The system consists of a job shop manager and dynamic models of machines. A schedule is created in the course of a close cooperation with models of the machines that generate driving events for the scheduler. The system is implemented with a new class of extended Petri nets and runs in the environment of the Petri-net tool WINSIM. The scheduler creates a schedule sequentially, without any form of enumerative search. To investigate the scheduler performance, a large number of experiments were conducted with the use of few strategies. Due to a unique mechanism of monitoring of triggering events in the Petri net, the developed scheduler runs at least hundreds of times faster than any known single-processor job shop scheduler.

A Method of Business Process Modeling Based on Petri Net

2010 ◽  
Vol 450 ◽  
pp. 413-416
Author(s):  
Yong Ping Hao ◽  
Xiao Lei Xu ◽  
Wei Ping Shao ◽  
Peng Fei Zeng
Keyword(s):  
Business Process ◽  
Petri Net ◽  
Process Modeling ◽  
Process Model ◽  
Business Process Management ◽  
Process Management ◽  
Business Process Modeling ◽  
Parallel Process ◽  
Workflow Modeling ◽  
Business Process Model

Through the analysis of the execution and dispatching principle of the Petri net, the business process management mode based on Petri net is proposed. We merge the place node and the transition node, and reside the token in the node. The only token in process instances and the sub-token in parallel process are introduced, which can avoid conflicts caused by multi-tokens. The business process model for the drawings design and approval is established, and it is verified by the workflow modeling system.

An Improved Validation Algorithm of Workflow Model Rationality

2011 ◽  
Vol 58-60 ◽  
pp. 1802-1806
Author(s):  
Hai Lan Pan ◽  
Cui Hong Wu ◽  
Jia Qi Wu
Keyword(s):  
Business Process ◽  
Petri Net ◽  
Workflow Model ◽  
Workflow Modeling ◽  
Solid Foundation

Workflow technique has been successfully used in many enterprises, and workflow modeling is one of the most important links, a successful application of workflow model can lay a solid foundation for realizing automation and monitoring of enterprise’s business process. This paper firstly points out the necessity of rationality validation in workflow model, then analyzes all kinds of existing validation algorithm of workflow model rationality, and emphatically describes a validation algorithm based on Petri net. At last this algorithm is improved, and the correctness of the algorithm is verified by an instance.

Sign in / Sign up

Export Citation Format

Share Document