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

 

Et bilde som inneholder tekst

Automatisk generert beskrivelse

 

 

·        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

·        38 Worked Examples (from the book: Davidrajuh (2018) “Modeling Discrete-Event Systems with GPenSIM: An Introduction,” Springer)

 

 

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