Petri Nets for Modeling of Large Discrete Systems
暫譯: 大型離散系統建模的佩特里網
Davidrajuh, Reggie
- 出版商: Springer
- 出版日期: 2021-09-22
- 售價: $6,780
- 貴賓價: 9.5 折 $6,441
- 語言: 英文
- 頁數: 238
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 9811652023
- ISBN-13: 9789811652028
海外代購書籍(需單獨結帳)
商品描述
This book offers a new Modular Petri Net as a solution to the vast Petri net models. It presents some approaches centering around modules (known as "Petri modules"). The goal of this book is to introduce a methodology in which Petri nets are moved to a new level. In this new level, large Petri net models are made of Petri modules, which are independent and run on different computers. This book also contains the literature study on modular Petri nets and definitions for the newer Petri modules. Also, algorithms for extracting Petri modules, and algorithms for connecting Petri modules, and applications are given in this book. Besides, the ideas and algorithms given in this book are implemented in the software General-purpose Petri Net Simulator (GPenSIM). Hence, with the use of this book the readers/users would be able to know that real-life discrete event systems could be modeled, analyzed, and performance-optimized with GPenSIM.
商品描述(中文翻譯)
本書提供了一種新的模組化彼得里網（Modular Petri Net）作為解決龐大彼得里網模型的方案。它提出了一些圍繞模組（稱為「彼得里模組」）的相關方法。本書的目標是介紹一種方法論，使彼得里網達到一個新的層次。在這個新層次中，大型彼得里網模型由彼得里模組組成，這些模組是獨立的，並且可以在不同的計算機上運行。本書還包含了對模組化彼得里網的文獻研究以及對較新彼得里模組的定義。此外，本書提供了提取彼得里模組的演算法、連接彼得里模組的演算法以及應用案例。此外，本書中提出的理念和演算法已在通用彼得里網模擬器（General-purpose Petri Net Simulator, GPenSIM）中實現。因此，透過使用本書，讀者/使用者將能夠了解現實生活中的離散事件系統可以使用GPenSIM進行建模、分析和性能優化。
作者簡介
Reggie Davidrajuh has a Bachelor's study in Physics, a Master's degree in Control Systems, and a Ph.D. in Industrial Engineering (awarded by the Norwegian University of Science and Technology). Also, he has a D.Sc. (habilitation) degree in Information Science (AGH University of Science and Technology) and one more Ph.D. in Mechanical Engineering (Silesian University of Technology). He is presently a professor of Informatics at the University of Stavanger, Norway, and holds a visiting professor position at the Silesian University of Technology, Poland.
Dr. Davidrajuh is an editor of the journal "International Journal of Business and Systems Research". Also, he serves on the editorial committees of many journals that include "Expert Systems with Applications" (Elsevier) and "Archives of Control Sciences" (a Quarterly of Polish Academy of Sciences). Dr. Davidrajuh has published over 150 publications in diverse areas such as supply chain, e-commerce, e-government, modeling and simulation, discrete event systems, green power generation, etc. His three papers won the best paper awards: "Modeling humanoid robot as a discrete event system" at the IEEE Third International Conference on Artificial Intelligence, Modeling, and Simulation (AIMS2015), in December 2015, in Kuala Lumpur; "GPenSIM for Performance Evaluation of Event Graphs" at the International Scientific and Technical Conference on Manufacturing (Manufacturing 2017), in October 2017, in Poznan, Poland; "Measuring Network Centrality in Petri Nets" at the 2018 IEEE International Conference on Advanced Manufacturing (ICAM), in November 2018, in Yunlin, Taiwan.
He has organized over 60 international conferences and has given keynote speeches in four conferences. His current research interests are "Modeling, simulation, and performance analysis of discrete-event systems", Algorithms, and Graph Theory. He is a senior member of IEEE and a Fellow of the British Computer Society. He is also a member of the Norwegian Academy of Technical Sciences.
作者簡介(中文翻譯)
Reggie Davidrajuh 擁有物理學學士學位、控制系統碩士學位，以及工業工程博士學位（由挪威科技大學頒發）。此外，他還擁有資訊科學的科學博士（habilitation）學位（由 AGH 科技大學頒發）以及機械工程的另一個博士學位（由西里西亞科技大學頒發）。他目前是挪威斯塔萬格大學的資訊學教授，並在波蘭西里西亞科技大學擔任訪問教授。
Davidrajuh 博士是期刊《國際商業與系統研究期刊》的編輯。此外，他還擔任多個期刊的編輯委員會成員，包括《應用專家系統》（Elsevier）和《控制科學檔案》（波蘭科學院季刊）。Davidrajuh 博士在供應鏈、電子商務、電子政府、建模與模擬、離散事件系統、綠色發電等多個領域發表了超過 150 篇出版物。他的三篇論文獲得最佳論文獎：2015 年 12 月在吉隆坡舉行的 IEEE 第三屆國際人工智慧、建模與模擬會議（AIMS2015）上，論文《將人形機器人建模為離散事件系統》；2017 年 10 月在波蘭波茲南舉行的國際科學與技術製造會議（Manufacturing 2017）上，論文《GPenSIM 用於事件圖的性能評估》；2018 年 11 月在台灣雲林舉行的 2018 IEEE 國際先進製造會議（ICAM）上，論文《在 Petri 網中測量網絡中心性》。
他已組織超過 60 場國際會議，並在四場會議中擔任主題演講者。他目前的研究興趣包括「離散事件系統的建模、模擬與性能分析」、演算法和圖論。他是 IEEE 的資深會員，也是英國計算機學會的院士。他同時也是挪威技術科學院的成員。
