×
范德阿尔斯特，W.M.P。

基于Petri网的调度。 （英语） Zbl 0865.90077号

OR演讲 第42219-229号第18页（1996年）。
摘要：时间Petri网可用于建模和分析调度问题。为了支持调度问题的建模，我们提供了一种将任务、资源和约束映射到定时Petri网的方法。通过将调度问题映射到Petri网，我们能够使用标准Petri网理论。在本文中，我们将证明，我们可以使用基于Petri网的工具和技术来发现冲突和冗余的先例，makespan的上下限等。这可以通过基于Petri网络的对Fisher和Thompson（1963）提出的臭名昭著的（10乘10）问题的分析来说明。

引用于4文件

MSC公司：

90B35型 运筹学中的确定性调度理论
90B15号机组 运筹学中的随机网络模型

关键词：

定时Petri网;冲突和多余的先例;最大完工时间

软件：

ExSpect公司;INA公司
PDF格式BibTeX公司 XML格式引用
\textit{W.M.P.van der Aalst}，OR Spektrum 18，No.4，219--229（1996；Zbl 0865.90077）
全文： 内政部

参考文献：

[1] Aalst WMP van der（1992年a）《复杂物流系统的建模与分析》。In:Pels HJ，Wortmann JC（eds）生产管理系统集成，IFIP交易B-7。阿姆斯特丹爱思唯尔科学出版社，第277-292页
[2] Aalst WMP van der（1992b）《时间有色Petri网及其在物流中的应用》，埃因霍温理工大学博士论文·Zbl 0753.68077号
[3] Aalst WMP van der（1993）《区间时间有色Petri网及其分析》，载《Ajmone Marsan M（ed）Petri网的应用与理论》1993年。计算机科学讲义第691卷，柏林斯普林格，第453-472页
[4] Aalst WMP van der（1994）将Petri网应用于工业。工业中的计算机25:45–54·doi:10.1016/0166-3615（94）90031-0
[5] Baker KR（1974）《排序与调度导论》。纽约威利父子公司
[6] Berthomieu B，Diaz M（1991）使用时间Petri网对时间相关系统进行建模和验证。IEEE Transact软件工程17:259–273·数字对象标识代码：10.1109/32.75415
[7] Carlier J，Chretienne P（1988）《时间Petri网计划》。收录于：Rozenberg G（ed）《Petri网进展》1988年，《计算机科学》第340卷讲稿。柏林施普林格，第62-84页·Zbl 0667.68051号
[8] Carlier JP，Chretienne P，Girault C（1984）用时间Petri网建模调度问题。摘自：Rozenberg G（ed）《Petri网进展》1984，《计算机科学》第188卷讲稿。柏林施普林格，第62-84页·Zbl 0562.68050号
[9] Carlier J，Pinson E（1989）解决job-shop问题的算法。管理科学35:164–176·Zbl 0677.90036号 ·doi:10.1287/mnsc.35.2164
[10] Chretienne P（1983）《时间petriés。巴黎第六大学博士论文
[11] Fisher H，Thompson GL（1963）本地车间调度规则的概率学习组合。收录：Muth JF，Thompson GL（eds）Industrial Scheduling。Prenctice-Hall，Englewood Cliffs，第225-251页
[12] French S（1982）《排序与调度：Job-Shop数学导论》。纽约威利父子公司·Zbl 0479.90037号
[13] Gao GR，Wong YB，Ning Q（1991）《循环调度的时间Petri网模型》，第12届Petri网应用与理论国际会议论文集，Gjern，第22–41页
[14] Haupt R（1989）基于优先级的调度综述。OR光谱11:3–16·Zbl 0658.90047号
[15] Hillion HP，Proth JP（1989）《使用时间事件图对Job-Shop系统进行性能评估》。IEEE事务自动控制34:3–9·Zbl 0656.90054号 ·数字对象标识代码：10.1109/9.8644
[16] Jensen K（1992）彩色Petri网。基本概念、分析方法和实际应用。EATCS理论计算机科学专著。柏林施普林格·Zbl 0762.68004号
[17] Jensen K，Rozenberg G（eds）（1991）《高级Petri网：理论与应用》。柏林施普林格·Zbl 0743.68023号
[18] Lawler EL、Lenstra JK、Rinnooy Kan AHG、Shmoys DB（1993）《排序和调度：算法和复杂性》。收录：Graves SC、Rinnooy Kan AHG、Zipkin P（eds）《运营研究和管理科学手册》，第4卷：生产和库存物流。荷兰北部，阿姆斯特丹
[19] Marsan M，Balbo AG，Conte G（1984）一类用于多处理器系统性能评估的广义随机周界网。ACM事务计算系统2:93–122·doi:10.145/190.191
[20] Marsan M、Balbo AG、Conte G（1986）《多处理器系统的性能模型》。麻省理工学院出版社，剑桥
[21] Martinez J，Silva M（1982）获取广义Petri网所有不变量的简单快速算法，In:Girault C，Reisig W（eds）Petri网的应用和理论：第一和第二次欧洲研讨会论文集，Informatik Fachberichte 52，柏林。柏林施普林格，第301-310页
[22] Murata T（198）Petri网：性质、分析和应用。IEEE 77:541–580会议记录
[23] Peters N（1994）《利用INA/ExSpect分析调度问题》，埃因霍温理工大学硕士论文
[24] Petri CA（1962）《自动化通讯》，波恩Mathematik仪器研究所博士论文
[25] Pindo M（1995）《调度：理论、算法和系统》。普伦蒂斯·霍尔，恩格尔伍德悬崖·Zbl 1145.90393号
[26] Ramamoorthy CV，Ho GS（1980）《使用Petri网的异步并发系统的性能评估》。IEEE Transact软件工程6:440–449·doi:10.1109/TSE.1980.230492
[27] Reisig W（1985）Petri网：简介。普伦蒂斯·霍尔，恩格尔伍德悬崖·Zbl 0555.68033号
[28] Starke PH（1992）INA：集成器网络分析师，Handbuch
[29] Watanabe T，Yamauchi M（1993），时间Petri网调度的新优先级列表，in:Ajmone Marsan M（ed），Petri网的应用与理论，1993。《计算机科学讲义》第691卷，施普林格，柏林，第493–512页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。