The Community for Technology Leaders
RSS Icon
Subscribe
Petri Nets and Performance Models, IEEE International Workshop on (1995)
Durham, North Carolina, USA
Oct. 3, 1995 to Oct. 6, 1995
ISBN: 0-8186-7210-2
TABLE OF CONTENTS
Referees (PDF)
pp. xiii
G. Balbo , Dipartimento di Inf., Torino Univ., Italy
pp. 2
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
R. German , Tech. Univ. Berlin, Germany
D. Logothetis , Tech. Univ. Berlin, Germany
K.S. Trivedi , Tech. Univ. Berlin, Germany
pp. 103
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
E. Brinksma , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 124
Session 5: Stochastic Well-Formed Nets: Chair: E. Gelenbe
G. Chiola , Dipartimento di Inf. e Sci. dell'Inf., Genoa Univ., Italy
pp. 127
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
M. Ribaudo , Dipartimento di Inf., Torino Univ., Italy
pp. 148
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
E.M. Thurner , Siemens AG, Munich, Germany
pp. 218
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
M. Tilgner , Dept. of Math. & Comput. Sci., Tokyo Inst. of Technol., Japan
pp. 252
P. Ziegler , Dept. of Comput. Design & Fault Tolerance, Karlsruhe Univ., Germany
H. Szczerbicka , Dept. of Comput. Design & Fault Tolerance, Karlsruhe Univ., Germany
pp. 261
pp. 271
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool