Matrix Reduction Verification of Extended Petri Nets

Author(s):  
Walter Alan Cantrell ◽  
Katia P. Maxwell ◽  
Mikel D. Petty ◽  
Tymaine S. Whitaker
IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 37879-37890
Author(s):  
Ji Qiu ◽  
Lide Wang ◽  
Yin Wang ◽  
Yu Hen Hu

Author(s):  
Alexander Kostin

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.


Sign in / Sign up

Export Citation Format

Share Document