All Stories

  1. Enhancing Supervisory Control with GPenSIM
  2. Application Interface for GPenSIM
  3. Delayed Transitions in GPenSIM
  4. Exploring the Impact of Battery Charge Reduction Rate and the Placement of Chargers on AGV Operation
  5. GPenSIM Reference Manual
  6. Developing a Platform Using Petri Nets and GPenSIM for Simulation of Multiprocessor Scheduling Algorithms
  7. Simulating AGVs in a modern production environment using Petri Nets and GPenSIM
  8. Modeling and Analyzing the Strategy Game “Factorio” Using Modular Petri Nets and the General-Purpose Petri Net Simulator
  9. Simulation in the GPenSIM Environment of the Movement of Vehicles in the City Based on Their License Plate Numbers
  10. Minimum Job Completion Time in Petri Nets
  11. Physics-Based Swab and Surge Simulations and the Machine Learning Modeling of Field Telemetry Swab Datasets
  12. Physics-Based Swab and Surge Simulations and Machine Learning Modelling of Field Telemetry Swab Dataset
  13. Modular distributed models of production systems: a Petri nets based approach
  14. Modeling of Swab and Surge Pressures: A Survey
  15. Modeling Production Systems as Modular Systems: A Petri Nets Based Approach
  16. Anomaly Detection in Smart Meter Data for Preventing Potential Smart Grid Imbalance
  17. Fog Computing for Efficient Predictive Analysis in Smart Grids
  18. Fog Computing for Realizing Smart Neighborhoods in Smart Grids
  19. Automatic Supervisory Controller for Deadlock Control in Reconfigurable Manufacturing Systems with Dynamic Changes
  20. Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems
  21. Extracting Petri Modules From Large and Legacy Petri Net Models
  22. Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources
  23. Single Controller-Based Colored Petri Nets for Deadlock Control in Automated Manufacturing Systems
  24. A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study
  25. Incorporating Automatic Model Checking into GPenSIM
  26. Performance Evaluation of Discrete Event Systems with GPenSIM
  27. Fingers and Gesture Recognition with Kinect v2 Sensor