All Stories

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