Abstract is missing.
- Integrated frameworks for multi-level and multi-formalism modelingWilliam H. Sanders. 2-9 [doi]
- On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri netsBoudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp. 12-21 [doi]
- A data structure for the efficient Kronecker solution of GSPNsGianfranco Ciardo, Andrew S. Miner. 22-31 [doi]
- On state space decomposition for the numerical analysis of stochastic Petri netsCarlos J. Perez-Jimenez, Javier Campos. 32-41 [doi]
- Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri netsReinhard German, Armin Heindl. 44-53 [doi]
- GSPN analysis of dual-band mobile telephony networksMarco Ajmone Marsan, Michela Meo, Matteo Sereno. 54-63 [doi]
- Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri netsReinhard German, Miklós Telek. 64-73 [doi]
- Fluid stochastic Petri nets: An extended formalism to include non-Markovian modelsMarco Gribaudo, Matteo Sereno, Andrea Bobbio. 74-81 [doi]
- Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri netsAndrea Bobbio, Sachin Garg, Marco Gribaudo, András Horváth, Matteo Sereno, Miklós Telek. 82-91 [doi]
- Stepwise refinements of net models and their place invariantsWlodzimierz M. Zuberek. 92-101 [doi]
- Implicit places in net systemsFernando García-Vallés, José Manuel Colom. 104-113 [doi]
- Clarifying the priority specification of GSPN: Detached prioritiesEnrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro. 114-123 [doi]
- An efficient well-specified checkDaniel D. Deavours, William H. Sanders. 124-133 [doi]
- A mapping of autonomous net condition event systems to GSPNsPeter Kemper. 136-145 [doi]
- Exploiting Petri nets to support fault tree based dependability analysisAndrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale. 146-155 [doi]
- Asymptotic analysis of heaps of pieces and application to timed Petri netsStéphane Gaubert, Jean Mairesse. 158-169 [doi]
- Optimal control of (min, +) linear time-varying systemsSébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin. 170-178 [doi]
- On the rational use of Petri nets, automata and the max algebra for the optimal control of DEDSEdouard Wagneur, Isabel Demongodin. 179-186 [doi]
- On non-decidability of reachability for timed-arc Petri netsValentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gomez. 188-196 [doi]
- Non equivalence between time Petri nets and time stream Petri netsMarc Boyer, Michel Diaz. 198-207 [doi]
- Scenario durations characterization of t-timed Petri nets using linear logicBrigitte Pradin-Chezalviel, Robert Valette, Luis Allan Künzle. 208-217 [doi]
- Checking time Petri nets for linear duration propertiesXuandong Li, Johan Lilius. 218-227 [doi]