Petri Nets for Modeling Complex Discrete-Event Systems

This book addresses the need for users to understand the internal workings of GPenSIM's functions, including their design and how they can be extended to model and analyze scenarios that were previously not possible. It presents previously unavailable internal details of these functions, demonstrating how systems that could not be modeled in the past can now be analyzed by extending the capabilities of the GPenSIM tool. This book concentrates on the internal mechanics of the GPenSIM tool, specif