The Community for Technology Leaders
Petri Nets and Performance Models, IEEE International Workshop on (1995)
Durham, North Carolina, USA
Oct. 3, 1995 to Oct. 6, 1995
ISSN: 1063-6714
ISBN: 0-8186-7210-2
TABLE OF CONTENTS

Referees (PDF)

pp. xiii

On the success of stochastic Petri nets (Abstract)

G. Balbo , Dipartimento di Inf., Torino Univ., Italy
pp. 2
Session 1: Decomposition and Aggregation I: Chair: M. Ajmone Marsan

Evaluation of high level Petri nets by means of aggregation and decomposition (Abstract)

P. Moreaux , LAMSADE, Univ. Paris Dauphine, France
S. Haddad , LAMSADE, Univ. Paris Dauphine, France
pp. 11

Fixed point iteration using stochastic reward nets (Abstract)

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

Numerical analysis of stochastic marked graph nets (Abstract)

P. Buchholz , Fachbereich Inf. IV, Dortmund Univ., Germany
P. Kemper , Fachbereich Inf. IV, Dortmund Univ., Germany
pp. 32

Numerical analysis of superposed GSPNs (Abstract)

P. Kemper , Fachbereich Inf. IV, Dortmund Univ., Germany
pp. 52
Session 3: Distributed Systems: Chair: S. Tripathi

Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks (Abstract)

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

Petri net model of a dynamically partitioned multiprocessor system (Abstract)

M. Leuze , Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
M. Madhukar , Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
L. Dowdy , Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
pp. 73

Modeling a scalable high-speed interconnect with stochastic Petri nets (Abstract)

G. Ciardo , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
T. Rokicki , 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
pp. 83
Session 4: Non-Markovian Nets: Chair: G. Juanole

Performance evaluation of non-Markovian stochastic event graphs (Abstract)

P.H. Cubaud , CEDRIC, Conservatoire Nat. des Arts et Metiers, Paris, France
pp. 94

Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches (Abstract)

R. German , Tech. Univ. Berlin, Germany
K.S. Trivedi , Tech. Univ. Berlin, Germany
D. Logothetis , Tech. Univ. Berlin, Germany
pp. 103

Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets (Abstract)

K.S. Trivedi , Dipartimento di Elettronica per l'Autom., Brescia Univ., Italy
A. Puliafito , Dipartimento di Elettronica per l'Autom., Brescia Univ., Italy
V.G. Kulkarni , Dipartimento di Elettronica per l'Autom., Brescia Univ., Italy
A. Bobbio , Dipartimento di Elettronica per l'Autom., Brescia Univ., Italy
M. Telek , Dipartimento di Elettronica per l'Autom., Brescia Univ., Italy
pp. 113

Performance and formal design: a process algebraic perspective (Abstract)

E. Brinksma , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 124
Session 5: Stochastic Well-Formed Nets: Chair: E. Gelenbe

Characterization of timed well-formed Petri nets behavior by means of occurrence equations (Abstract)

G. Chiola , Dipartimento di Inf. e Sci. dell'Inf., Genoa Univ., Italy
pp. 127

Efficient simulation of SWN models (Abstract)

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

Stochastic Petri net semantics for stochastic process algebras (Abstract)

M. Ribaudo , Dipartimento di Inf., Torino Univ., Italy
pp. 148

A comparison of performance evaluation process algebra and generalized stochastic Petri nets (Abstract)

M. Ribaudo , Dipartimento di Inf., Torino Univ., Italy
J. Hillston , Dipartimento di Inf., Torino Univ., Italy
S. Donatelli , Dipartimento di Inf., Torino Univ., Italy
pp. 158

Giving a net semantics to Markovian process algebra (Abstract)

R. Gorrieri , Dipartimento di Sci. dell'Inf., Bologna Univ., Italy
L. Donatiello , Dipartimento di Sci. dell'Inf., Bologna Univ., Italy
M. Bernardo , Dipartimento di Sci. dell'Inf., Bologna Univ., Italy
pp. 169
Session 7: Analysis Algorithms II: Chair: R. Geist

Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures (Abstract)

W.H. Sanders , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
A.P.A. van Moorsel , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
M.A. Qureshi , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
R. German , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 180

One-dependent cycles and passage times in stochastic Petri nets (Abstract)

P.J. Haas , Res. Div., IBM Corp., San Jose, CA, USA
G.S. Shedler , Res. Div., IBM Corp., San Jose, CA, USA
pp. 191

Performance optimization of event graphs modeling manufacturing systems (Abstract)

R. Minciardi , Dept. of Commun. Comput. & Syst. Sci., Genoa Univ., Italy
A. Di Febbraro , 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

Using the probabilistic evaluation tool for the analytical solution of large Markov models (Abstract)

A.P.A. van Moorsel , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
B.R. Haverkort , Dept. of Comput. Sci., Twente Univ., Enschede, Netherlands
pp. 206

Stochastic modeling using DSPNexpress (Abstract)

C. Lindemann , GMD Inst. for Comput. Archit. & Software Technol., Tech. Univ. Berlin, Germany
pp. 208

TiPNet: a graphical tool for timed Petri nets (Abstract)

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

The fluid stochastic Petri net simulator (Abstract)

A.S. Miner , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
D.M. Nicol , Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
pp. 214

UltraSAN version 3 overview (Abstract)

D.D. Deavours , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
W.D. Obal, II , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
A.P.A. van Moorsel , 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
pp. 216

TOMSPIN-a Tool for Modelling with Stochastic Petri Nets (Abstract)

E.M. Thurner , Siemens AG, Munich, Germany
pp. 218

Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth (Abstract)

K. Kanoun , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
M. Kaaniche , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
J.-C. Laprie , Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France
pp. 221
Session 9: Applications: Chair: R. Marie

Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs (Abstract)

N.J. Dimopoulos , Dept. of Electr. & Comput. Eng., Victoria Univ., BC, Canada
M.A. Escalante , 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

Performance evaluation of dynamic priority operating systems (Abstract)

G. Bolch , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
S. Greiner , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
A. Puliafito , 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

An approach to formalize structural decomposition and aggregation for stochastic reward net models (Abstract)

M. Tilgner , Dept. of Math. & Comput. Sci., Tokyo Inst. of Technol., Japan
pp. 252

A structure based decomposition approach for GSPN (Abstract)

H. Szczerbicka , Dept. of Comput. Design & Fault Tolerance, Karlsruhe Univ., Germany
P. Ziegler , Dept. of Comput. Design & Fault Tolerance, Karlsruhe Univ., Germany
pp. 261

Index of Authors (PDF)

pp. 271
115 ms
(Ver )