Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach with Gpensim
暫譯: 彩色彼得羅網在離散系統建模中的應用：使用 Gpensim 的實用方法

Davidrajuh, Reggie

Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach with Gpensim
  • 出版商: Springer
  • 出版日期: 2024-11-06
  • 售價: $6,440
  • 貴賓價: 9.5 折 $6,118
  • 語言: 英文
  • 頁數: 216
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 9819968615
  • ISBN-13: 9789819968619

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book offers a practical approach to modeling real-world discrete systems and performing analysis. The theory behind the book is the Colored Petri nets, and the tool used for simulations is general-purpose Petri net simulator (GPenSIM). The theory part is kept to a minimum, and more explanation is given to the GPenSIM functions and how they can be used for modeling, simulation, and performance analysis. Real-world industrial systems possess a large number of resources. Modeling these systems with Petri nets would become a problem as they result in huge Petri net models. This book offers a unique solution to this problem by moving resources away from the Petri net model and treating them as variables in the background. Also, the theory and practice put forward in the book help cost estimation of the systems (e.g., manufacturing subsystems).

商品描述(中文翻譯)

本書提供了一種實用的方法來建模現實世界的離散系統並進行分析。書中的理論基礎是彩色 Petri 網，而用於模擬的工具是通用 Petri 網模擬器 (GPenSIM)。理論部分保持在最低限度，更多的解釋集中在 GPenSIM 的功能以及如何利用這些功能進行建模、模擬和性能分析。現實世界的工業系統擁有大量的資源。使用 Petri 網建模這些系統會成為一個問題，因為這會導致巨大的 Petri 網模型。本書提供了一個獨特的解決方案，通過將資源移出 Petri 網模型，並將其視為背景中的變數。此外，本書提出的理論和實踐有助於系統的成本估算（例如，製造子系統）。

作者簡介

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. He has published two books so far. "Modeling Discrete-Event Systems with GPenSIM: An Introduction" in 2018 and "Petri Nets for Modeling of Large Discrete Systems" in 2022, both published by Springer. He serves on the editorial committees of many journals and 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.

作者簡介(中文翻譯)

Reggie Davidrajuh 擁有物理學學士學位、控制系統碩士學位，以及工業工程博士學位（由挪威科技大學頒發）。此外，他還擁有資訊科學的科學博士（habilitation）學位（由 AGH 科技大學頒發）以及機械工程的另一個博士學位（由西里西亞科技大學頒發）。他目前是挪威斯塔萬格大學的資訊學教授，並在波蘭西里西亞科技大學擔任訪問教授。他迄今已出版兩本書，分別是 2018 年出版的《使用 GPenSIM 建模離散事件系統：入門》和 2022 年出版的《用於大型離散系統建模的 Petri 網》，兩本書均由 Springer 出版。他擔任多本期刊的編輯委員會成員，並在供應鏈、電子商務、電子政府、建模與模擬、離散事件系統、綠色發電等多個領域發表了超過 150 篇的出版物。

類似商品