Companion website for the book:

Davidrajuh (2021) “Petri Nets for Modeling of Large Discrete Systems” Springer

ISBN: 978-981-16-5202-8 (Print)

ISBN: 978-981-16-5203-5 (eBook)

Doi: https://doi.org/10.1007/978-981-16-5203-5

The publisher’s (Springer) website: https://www.springer.com/gp/book/9789811652028

· GPenSIM (website: http://www.davidrajuh.net/gpensim)

· GPenSIM v.10 Software + Installation Guide

GPenSIM code for some of the examples given in the book:

Chapter-01: Introduction to Petri Nets

· Example-1.3  State Space

· Example-1.6  P-invariant

· Example-1.7  T-invariant

Chapter-02: Introduction-to-GPenSIM

· Example-2.1  Pre-processor

Chapter-03: Models of Real-Life Systems

· Example-3.1  Flexible Manufacturing System

· Example-3.2  Circular AGVs

· Example-3.3  Cyclic Processes

Chapter-04: GPenSIM for Monolithic Petri Nets

· Example-4.2  Specific processors

· Example-4.3  COMMON-PRE processor

· Example-4.4  Model Checking Soda Vending Machine

· Example-4.5 Performance Evaluation of FMS

Chapter-06: Toward Developing a New Modular Petri net

· Resource Allocation System

Chapter-08: GPenSIM support for Petri Modules

· Three Agents

Chapter-10: Activity-Oriented Petri nets (AOPN)

· Application example on AOPN

Chapter-13: Model Checking for Collaborativeness

· Coverability tree generation

Contacting the author:

Reggie Davidrajuh, Email: Reggie.Davidrajuh@uis.no

Homepage: http://www.davidrajuh.net/reggie

[Back to GPenSIM Website]