1. Home
  2. Proceedings
  3. PNPM
  4. PNPM 1991
Default Cover Image

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models

Dec. 2 1991 to Dec. 5 1991

Melbourne, Victoria, Australia

Table of Contents

Exact results in the aggregation and disaggregation of stochastic Petri netsFull-text access may be available. Sign in or learn about subscription options.pp. 166,167,168,169,170,171,172,173,174,175
by W. Henderson, D. Lucic
Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problemsFull-text access may be available. Sign in or learn about subscription options.pp. 154,155,156,157,158,159,160,161,162,163
by V. Valero Ruiz, D. de Frutos Escrig, F. Cuartero Gomez
A structural colour simplification in well-formed coloured netsFull-text access may be available. Sign in or learn about subscription options.pp. 144,145,146,147,148,149,150,151,152,153
by G. Chiola, G. Franceschinis
A parallel algorithm for computing invariants of Petri net modelsFull-text access may be available. Sign in or learn about subscription options.pp. 136,137,138,139,140,141,142,143
by D.C. Marinescu, M. Beaven, R. Stansifer
Performance model of interference avoidance policy using stochastic Petri netsFull-text access may be available. Sign in or learn about subscription options.pp. 125,126,127,128,129,130,131,132,133
by T. Kobayashi, K. Kurihara
Petri net modelling of Occam programs for detecting indeterminacy, non-termination and deadlock anomaliesFull-text access may be available. Sign in or learn about subscription options.pp. 116,117,118,119,120,121,122,123,124
by Zhiwei Xu, O. de Vel
Modelling layered protocols in LOOPNFull-text access may be available. Sign in or learn about subscription options.pp. 106,107,108,109,110,111,112,113,114,115
by C.A. Lakos, C.D. Keen
Stochastic marked graphsFull-text access may be available. Sign in or learn about subscription options.pp. 95,96,97,98,99,100,101
by S. Rajsbaum
Estimating the mean cycle time for stochastic safe marked graphsFull-text access may be available. Sign in or learn about subscription options.pp. 86,87,88,89,90,91,92,93,94
by J. Magott, K. Skudlarski
A decomposition approach for stochastic Petri net modelsFull-text access may be available. Sign in or learn about subscription options.pp. 74,75,76,77,78,79,80,81,82,83
by G. Ciardo, K.S. Trivedi
Performance Petri net analysis of communications protocol software by delay-equivalent aggregationFull-text access may be available. Sign in or learn about subscription options.pp. 64,65,66,67,68,69,70,71,72,73
by C.M. Woodside, Yao Li
Superposed stochastic automata: a class of stochastic Petri nets amenable to parallel solutionFull-text access may be available. Sign in or learn about subscription options.pp. 54,55,56,57,58,59,60,61,62,63
by S. Donatelli
Subnetwork time distributions as a means for multilevel evaluation of generalized stochastic Petri netsFull-text access may be available. Sign in or learn about subscription options.pp. 42,43,44,45,46,47,48,49,50,51
by G. Klas, R. Matuschka
Dealing with arbitrary time distributions with the stochastic timed Petri net model-application to queueing systemsFull-text access may be available. Sign in or learn about subscription options.pp. 32,33,34,35,36,37,38,39,40,41
by G. Juanole, Y. Atamna
GSPNs versus SPNs: what is the actual role of immediate transitions?Full-text access may be available. Sign in or learn about subscription options.pp. 20,21,22,23,24,25,26,27,28,29,30,31
by G. Chiola, S. Donatelli, G. Franceschinis
On the construction of abstract GSPNs: an exercise in modelingFull-text access may be available. Sign in or learn about subscription options.pp. 2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17
by M.A. Marsan, S. Donatelli, F. Neri, U. Rubino
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (PNPM91) (Cat. No.91TH0386-3)Freely available from IEEE.pp. 0_1-0_1
Throughput lower bounds for Markovian Petri nets: transformation techniquesFull-text access may be available. Sign in or learn about subscription options.pp. 322,323,324,325,326,327,328,329,330,331
by J. Campos, B. Sanchez, M. Silva
Throughput upper bounds for Markovian Petri nets: embedded subnets and queueing networksFull-text access may be available. Sign in or learn about subscription options.pp. 312,313,314,315,316,317,318,319,320,321
by J. Campos, M. Silva
Approximate performability analysis using generalized stochastic Petri netsFull-text access may be available. Sign in or learn about subscription options.pp. 300,301,302,303,304,305,306,307,308,309
by B.R. Haverkort
Performability modeling with UltraSANFull-text access may be available. Sign in or learn about subscription options.pp. 290,291,292,293,294,295,296,297,298,299
by J. Couvillion, R. Freire, R. Johnson, W.D. Obal, M.A. Qureshi, M. Rai, W.H. Sanders, J.E. Tvedt
GSPN models of concurrent architectures with mesh topologyFull-text access may be available. Sign in or learn about subscription options.pp. 280,281,282,283,284,285,286,287,288,289
by S. Caselli, G. Conte
Reliability modeling of the MARS system: a case study in the use of different tools and techniquesFull-text access may be available. Sign in or learn about subscription options.pp. 268,269,270,271,272,273,274,275,276,277
by H. Kantz, K. Trivedi
Optimal control policies for automated storage/retrieval system using PN models and stochastic optimizationFull-text access may be available. Sign in or learn about subscription options.pp. 258,259,260,261,262,263,264,265,266,267
by F. Archetti, A. Schiomachen, A. Gaivoronski
Systematic construction of functional abstractions of Petri net models of typical components of flexible manufacturing systemsFull-text access may be available. Sign in or learn about subscription options.pp. 248,249,250,251,252,253,254,255,256,257
by R.Z. Zurawski, T.S. Dillon
Free choice simulation of Petri netsFull-text access may be available. Sign in or learn about subscription options.pp. 236,237,238,239,240,241,242,243,244,245
by H.G. Linde
Overview of the results of the Esprit basic research action DEMON-design methods based on netsFull-text access may be available. Sign in or learn about subscription options.pp. 224,225,226,227,228,229,230,231,232,233,234,235
by E. Best
From basic to timed net models of Occam: an application to program placementFull-text access may be available. Sign in or learn about subscription options.pp. 216,217,218,219,220,221
by O. Botti, F. De Cindio
On periodic schedules for deterministically timed Petri net systemsFull-text access may be available. Sign in or learn about subscription options.pp. 210,211,212,213,214,215
by K. Onaga, M. Silva, T. Watanabe
Searching best paths to worst statesFull-text access may be available. Sign in or learn about subscription options.pp. 204,205,206,207,208,209
by G. Florin, C. Fraize, S. Natkin
Can skeletons really be used to detect deadlocks of nets?Full-text access may be available. Sign in or learn about subscription options.pp. 198,199,200,201,202,203
by G. Findlow
Time warp simulation of stochastic Petri netsFull-text access may be available. Sign in or learn about subscription options.pp. 186,187,188,189,190,191,192,193,194,195
by H.H. Ammar, Su Deng
An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net modelsFull-text access may be available. Sign in or learn about subscription options.pp. 176,177,178,179,180,181,182,183,184,185
by C. Lindemann
Showing 33 out of 33