Journal: IEEE Trans. Software Eng.

Volume 17, Issue 2

97 -- 98Sadatoshi Kumagai, Tadao Murata, Shojiro Nishio. Guest Editors Introduction Special Section on Petri Net Performance Models
99 -- 107Gerard Florin, Stéphane Natkin. Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets
108 -- 116William Henderson, Peter G. Taylor. Embedded Processes in Stochastic Petri Nets
117 -- 125Javier Campos, Giovanni Chiola, Manuel Silva. Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector
126 -- 132Itsuo Hatono, Keiichi Yamagata, Hiroyuki Tamura. Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets
133 -- 140Jason Gait. Stability, Availability and Response in Network File Service
141 -- 152Richard W. Selby, Victor R. Basili. Analyzing Error-Prone System Structure
153 -- 159James M. Purtilo, Pankaj Jalote. An Environment for Developing Fault-Tolerant Software
160 -- 172Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè. A Unified High-Level Petri Net Formalism for Time-Critical Systems
173 -- 182Timothy J. Shimeall, Nancy G. Leveson. An Empirical Comparison of Software Fault Tolerance and Fault Elimination
183 -- 195Naftaly H. Minsky. The Imposition of Protocols Over Open Distributed Systems
196 -- 207Watts S. Humphrey, Nozer D. Singpurwalla. Predicting (Individual) Software Productivity