• P
  • PNPM
  • 1995
  • Sixth International Workshop on Petri Nets and Performance Models (PNPM '95)
Advanced Search 
Sixth International Workshop on Petri Nets and Performance Models (PNPM '95)
Durham, North Carolina, USA
October 03-October 06
ISBN: 0-8186-7210-2
Table of Contents
Session 1: Decomposition and Aggregation I: Chair: M. Ajmone Marsan
S. Haddad, LAMSADE, Univ. Paris Dauphine, France
P. Moreaux, LAMSADE, Univ. Paris Dauphine, France
pp. 11
V. Mainkar, AT&T Bell Labs., Holmdel, NJ, USA
K.S. Trivedi, AT&T Bell Labs., Holmdel, NJ, USA
pp. 21
Session 2: Analysis Algorithms I: Chair: S. Donatelli
P. Buchholz, Fachbereich Inf. IV, Dortmund Univ., Germany
P. Kemper, Fachbereich Inf. IV, Dortmund Univ., Germany
pp. 32
P. Kemper, Fachbereich Inf. IV, Dortmund Univ., Germany
pp. 52
Session 3: Distributed Systems: Chair: S. Tripathi
L.M. Malhis, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
W.H. Sanders, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
R.D. Schlichting, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 63
M. Madhukar, Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
M. Leuze, Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
L. Dowdy, Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
pp. 73
G. Ciardo, Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
L. Cherkasova, Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
V. Kotov, Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
T. Rokicki, Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
pp. 83
Session 4: Non-Markovian Nets: Chair: G. Juanole
P.H. Cubaud, CEDRIC, Conservatoire Nat. des Arts et Metiers, Paris, France
pp. 94
A. Bobbio, Dipartimento di Elettronica per l'Autom., Brescia Univ., Italy
V.G. Kulkarni, Dipartimento di Elettronica per l'Autom., Brescia Univ., Italy
A. Puliafito, Dipartimento di Elettronica per l'Autom., Brescia Univ., Italy
M. Telek, Dipartimento di Elettronica per l'Autom., Brescia Univ., Italy
K.S. Trivedi, Dipartimento di Elettronica per l'Autom., Brescia Univ., Italy
pp. 113
Session 5: Stochastic Well-Formed Nets: Chair: E. Gelenbe
R. Gaeta, Dipartimento di Inf., Torino Univ., Italy
G. Chiola, Dipartimento di Inf., Torino Univ., Italy
pp. 137
Session 6: Stochastic Process Algebra: Chair: G. Haring
S. Donatelli, Dipartimento di Inf., Torino Univ., Italy
M. Ribaudo, Dipartimento di Inf., Torino Univ., Italy
J. Hillston, Dipartimento di Inf., Torino Univ., Italy
pp. 158
M. Bernardo, Dipartimento di Sci. dell'Inf., Bologna Univ., Italy
L. Donatiello, Dipartimento di Sci. dell'Inf., Bologna Univ., Italy
R. Gorrieri, Dipartimento di Sci. dell'Inf., Bologna Univ., Italy
pp. 169
Session 7: Analysis Algorithms II: Chair: R. Geist
M.A. Qureshi, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
W.H. Sanders, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
A.P.A. van Moorsel, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
R. German, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 180
P.J. Haas, Res. Div., IBM Corp., San Jose, CA, USA
G.S. Shedler, Res. Div., IBM Corp., San Jose, CA, USA
pp. 191
A. Di Febbraro, Dept. of Commun. Comput. & Syst. Sci., Genoa Univ., Italy
R. Minciardi, Dept. of Commun. Comput. & Syst. Sci., Genoa Univ., Italy
S. Sacone, Dept. of Commun. Comput. & Syst. Sci., Genoa Univ., Italy
pp. 203
Session 8: Tool Demonstration and Posters: Chair: D. Nicol
B.R. Haverkort, Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
A.P.A. van Moorsel, Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 206
C. Lindemann, GMD Inst. for Comput. Archit. & Software Technol., Tech. Univ. Berlin, Germany
pp. 208
Baopu Liu, Dept. of Electr. & Comput. Eng., New Jersey Inst. of Technol., Newark, NJ, USA
A. Robbi, Dept. of Electr. & Comput. Eng., New Jersey Inst. of Technol., Newark, NJ, USA
pp. 212
D.M. Nicol, Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
A.S. Miner, Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
pp. 214
D.D. Deavours, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
W.D. Obal, II, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
M.A. Qureshi, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
W.H. Sanders, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
A.P.A. van Moorsel, Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 216
J.-C. Laprie, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
M. Kaaniche, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
K. Kanoun, Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 221
Session 9: Applications: Chair: R. Marie
M.A. Escalante, Dept. of Electr. & Comput. Eng., Victoria Univ., BC, Canada
N.J. Dimopoulos, Dept. of Electr. & Comput. Eng., Victoria Univ., BC, Canada
D. Gyuroff, Dept. of Electr. & Comput. Eng., Victoria Univ., BC, Canada
H. Muller, Dept. of Electr. & Comput. Eng., Victoria Univ., BC, Canada
pp. 232
S. Greiner, Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
A. Puliafito, Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
G. Bolch, Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
K.S. Trivedi, Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
pp. 241
Session 10: Decomposition and Aggregation II: Chair: G. Horton
P. Ziegler, Dept. of Comput. Design & Fault Tolerance, Karlsruhe Univ., Germany
H. Szczerbicka, Dept. of Comput. Design & Fault Tolerance, Karlsruhe Univ., Germany
pp. 261
Usage of this product signifies your acceptance of the Terms of Use.