share record
persistent URL:
András Horváth , Miklós Telek : Time Domain Analysis of NMSPNs with Preemptive Repeat Identical Type Transitions. PNPM 2001 : 155-164 share record
persistent URL:
Rob Jones , Gianfranco Ciardo : On Phased Delay Stochastic Petri Nets: Definition and an Application. PNPM 2001 : 165-174 share record
persistent URL:
Hermenegilda Macià , Valentín Valero , David de Frutos-Escrig : sPBC: A Markovian Extension of Finite Petri box calculus. PNPM 2001 : 207-216 share record
persistent URL:
Marco Ajmone Marsan , Marco Gribaudo , Michela Meo , Matteo Sereno : On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses. PNPM 2001 : 19-28 share record
persistent URL:
Andrew S. Miner : Efficient Solution of GSPNs using canonical Matrix Diagrams. PNPM 2001 : 101-110 share record
persistent URL:
Nicolas Rivière , Brigitte Pradin-Chezalviel , Robert Valette : Reachability and Temporal Conflicts in t-Time Petri Nets. PNPM 2001 : 229-238 share record
persistent URL:
Bruno Tuffin , Louis-Marie Le Ny : Modeling and Analysis of Threshold Queues with Hysteresis using Stochastic Petri Nets: the Monoclass Case. PNPM 2001 : 175-184 share record
persistent URL:
Dietmar Tutsch , Joachim Sokol : Petri Net based Performance Evaluation of USAIA's Bandwidth Partitioning for the Wireless Cell Level. PNPM 2001 : 49-58 share record
persistent URL:
Lisa Wells , Søren Christensen , Lars Michael Kristensen , Kjeld Høyer Mortensen : Simulation Based Performance Analysis of Web Servers. PNPM 2001 : 59-68 share record
persistent URL:
Reinhard German , Boudewijn R. Haverkort : Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001. IEEE Computer Society 2001 , ISBN 0-7695-1248-8 [contents] 1999 share record
persistent URL:
Andrea Bobbio , Giuliana Franceschinis , Rossano Gaeta , Luigi Portinale : Exploiting Petri nets to support fault tree based dependability analysis. PNPM 1999 : 146-155 share record
persistent URL:
Andrea Bobbio , Sachin Garg , Marco Gribaudo , András Horváth , Matteo Sereno , Miklós Telek : Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. PNPM 1999 : 82-91 share record
persistent URL:
Marc Boyer , Michel Diaz : Non equivalence between time Petri nets and time stream Petri nets. PNPM 1999 : 198-207 share record
persistent URL:
Gianfranco Ciardo , Andrew S. Miner : A data structure for the efficient Kronecker solution of GSPNs. PNPM 1999 : 22-31 export record
dblp key:
conf/pnpm/Garcia-VallesC99 share record
persistent URL:
Fernando García-Vallés , José Manuel Colom : Implicit places in net systems. PNPM 1999 : 104-113 share record
persistent URL:
Stéphane Gaubert , Jean Mairesse : Asymptotic analysis of heaps of pieces and application to timed Petri nets. PNPM 1999 : 158-169 share record
persistent URL:
Reinhard German , Armin Heindl : Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri nets. PNPM 1999 : 44-53 share record
persistent URL:
Reinhard German , Miklós Telek : Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets. PNPM 1999 : 64-73 share record
persistent URL:
Marco Gribaudo , Matteo Sereno , Andrea Bobbio : Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. PNPM 1999 : 74-81 share record
persistent URL:
Boudewijn R. Haverkort , Alexander Bell , Henrik C. Bohnenkamp : On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. PNPM 1999 : 12-21 share record
persistent URL:
Peter Kemper : A mapping of autonomous net condition event systems to GSPNs. PNPM 1999 : 136-145 share record
persistent URL:
Sébastien Lahaye , Jean-Louis Boimond , Laurent Hardouin : Optimal control of (min, +) linear time-varying systems. PNPM 1999 : 170-178 share record
persistent URL:
Xuandong Li , Johan Lilius : Checking time Petri nets for linear duration properties. PNPM 1999 : 218-227 share record
persistent URL:
Marco Ajmone Marsan , Michela Meo , Matteo Sereno : GSPN analysis of dual-band mobile telephony networks. PNPM 1999 : 54-63 export record
dblp key:
conf/pnpm/Perez-JimenezC99 share record
persistent URL:
Carlos J. Perez-Jimenez , Javier Campos : On state space decomposition for the numerical analysis of stochastic Petri nets. PNPM 1999 : 32-41 export record
dblp key:
conf/pnpm/Pradin-Chezalviel99 share record
persistent URL:
Brigitte Pradin-Chezalviel , Robert Valette , Luis Allan Künzle : Scenario durations characterization of t-timed Petri nets using linear logic. PNPM 1999 : 208-217 share record
persistent URL:
Valentín Valero Ruiz , David de Frutos-Escrig , Fernando Cuartero Gómez : On non-decidability of reachability for timed-arc Petri nets. PNPM 1999 : 188-196 share record
persistent URL:
William H. Sanders : Integrated frameworks for multi-level and multi-formalism modeling. PNPM 1999 : 2-9 share record
persistent URL:
Enrique Teruel , Giuliana Franceschinis , Massimiliano De Pierro : Clarifying the priority specification of GSPN: Detached priorities. PNPM 1999 : 114-123