
Petri Nets for Modeling Complex Discrete-Event Systems
Description
More details
Other editions
Additional editions

Person
Reggie Davidrajuh has 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 has published three books so far. "Modeling Discrete-Event Systems with GPenSIM: An Introduction" in 2018, "Petri Nets for Modeling of Large Discrete Systems" in 2022, and "Colored Petri Nets for Modeling of Discrete Systems" in 2023. Springer published all three books. He is a senior member of IEEE. He is also a member of the Norwegian Academy of Technical Sciences.
Content
Part I: Interfacing with GPenSIM.- Chapter 1: File Structure.- Chapter 2: Data Structures.- Chapter 3: Virtual Tokens and Virtual State.- Chapter 4: Log Files.- Chapter 5: Retention of Tokens in Places.- Part II: Interfacing with External Environment.- Chapter 6: Processor Files as Interfaces.- Chapter 7: Introduction to Supervisory Control.- Chapter 8: Supervisory Control with GPenSIM.- Chapter 9: GPenSIM Functions.- Chapter 10: Case Study.