Decidability results in First–Order Hybrid Petri Nets Fabio BalduzziAngela Di FebbraroCarla Seatzu OriginalPaper Pages: 41 - 57
Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min,+) Semiring Jan KomendaAbdellah El MoudniNoureddine Zerhouni OriginalPaper Pages: 59 - 75
Comparison of Hybrid Systems and Fluid Stochastic Petri Nets Bruno TuffinDong S. ChenKishor S. Trivedi OriginalPaper Pages: 77 - 95
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis M. GribaudoM. SerenoA. Bobbio OriginalPaper Pages: 97 - 117
Modeling, Simulation and Analysis of Batch Production Systems Ronan ChampagnatRobert ValetteHervé Pingaud OriginalPaper Pages: 119 - 136
Generalised Batches Petri Net: Hybrid Model For High Speed Systems With Variable Delays I. Demongodin OriginalPaper Pages: 137 - 162
Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model Haoxun ChenHans-Michael Hanisch OriginalPaper Pages: 163 - 185