@STRING{pnpm = "Proc. 5th International Workshop of {Petri} Nets/Performance Models (PNPM'93)"} @STRING{springer = "Springer"} @STRING{wic = "Workshops in Computing"} @BOOK{ABCDF95, AUTHOR = {Ajmone~Marsan, M. and Balbo, G. and Conte, G. and Donatelli, S. and Franceschinis, G.}, PUBLISHER = {J. Wiley}, TITLE = {Modelling with Generalized Stochastic {Petri} Nets}, YEAR = {1995} } @INPROCEEDINGS{Agui92, AUTHOR = {Aguilar, J.}, ADDRESS = {Antalya, Turkey}, BOOKTITLE = {ISCIS VI (International Symposium on Computer and Information Sciences)}, MONTH = nov, TITLE = {The random neural network model for the large acyclic graph partitioning problem}, YEAR = {1992} } @INPROCEEDINGS{Agui93, AUTHOR = {Aguilar, J.}, ADDRESS = {Caracas, Venezuela}, BOOKTITLE = {Proc. Panamerican Workshop on Applied and Computational Mathematics}, TITLE = {Combinatorial optimization methods. A study of the graph partitioning problem}, YEAR = {1993} } @INPROCEEDINGS{Agui94, AUTHOR = {Aguilar, J.}, ADDRESS = {Delft}, BOOKTITLE = {Proc. Intl Conference on Massively Parallel Processing, Applications and Development}, MONTH = jun, PUBLISHER = {Elsevier Science Publishers}, TITLE = {Heuristic Algorithms for task assignment of parallel programs}, YEAR = {1994} } @PHDTHESIS{Agui95, AUTHOR = {Aguilar, J.}, MONTH = jan, SCHOOL = {Universit\'{e} Paris {V}}, TITLE = {Allocation de T\^{a}ches et Optimisation Combinatoire}, YEAR = {1995} } @INCOLLECTION{AlBaBo94, AUTHOR = {Altman, E. and Baccelli, F. and Bolot, J.-C.}, BOOKTITLE = {High Speed Networks and their performance}, EDITOR = {Perros, H.G. AND Viniotis Eds, Y.}, NOTE = {(proceedings of the 5th international conference on High Speed Networks, Raleigh, USA, October 1993). Also: 3rd joint ENST Paris/INA Stuttgart workshop on high speed networks, Paris, March 23, 1993.}, PAGES = {121--140}, PUBLISHER = {North Holland}, TITLE = {Discrete-time analysis of adaptive rate control mechanisms}, YEAR = {1994} } @TECHREPORT{AlFo93, AUTHOR = {Altman, E. and Foss, S.}, INSTITUTION = {INRIA}, NOTE = {Submitted to Queueing Systems}, NUMBER = {1992}, TITLE = {Polling on a graph with general arrival and service time}, YEAR = {1993} } @INPROCEEDINGS{AlFoRiSt94, AUTHOR = {Altman, E. and Foss, S. and Riehl, E. and Stidham, S.}, ADDRESS = {Antibes, France}, BOOKTITLE = {14th International Teletraffic Congress}, MONTH = jun, TITLE = {Sample path analysis of token rings}, YEAR = {1994} } @TECHREPORT{AlHo94, AUTHOR = {Altman, E. and Hordijk, A.}, INSTITUTION = {University of Leiden}, NOTE = {Submitted to {\it QUESTA}, special issue on optimization of queueing systems, 1994}, NUMBER = {TW-94-01}, TITLE = {Zero-sum {Markov} games and worst-case optimal control of queueing systems}, YEAR = {1994} } @ARTICLE{AlKo93, AUTHOR = {Altman, E. and Koole, G.}, JOURNAL = {Computers and Mathematics with Applications}, PAGES = {141--148}, TITLE = {Stochastic scheduling games with {Markov} decision arrival processes}, VOLUME = {26}, YEAR = {1993} } @TECHREPORT{AlKo94a, AUTHOR = {Altman, E. and Kofman, D.}, INSTITUTION = {Telecom Paris}, TITLE = {Sample Path Bounds for Performance Measures of Token Rings}, YEAR = {1994} } @ARTICLE{AlKo94b, AUTHOR = {Altman, E. and Koole, G.}, INSTITUTION = {CWI}, JOURNAL = {Systems and Control Letters}, NOTE = {To appear}, TITLE = {Control of a Random walk with Noisy Delayed Information}, YEAR = {1994} } @INPROCEEDINGS{AlLi93, AUTHOR = {Altman, E. and Liu, Z.}, ADDRESS = {Raleigh, USA}, BOOKTITLE = {High Speed Networks and their performance}, MONTH = oct, NOTE = {INRIA Report \#1934}, PAGES = {441--460}, PUBLISHER = {North Holland}, TITLE = {Improving the stability characteristics of asynchronous traffic in {FDDI} token rings}, YEAR = {1993}, editors = { Perros, H.G. AND Y. Viniotis Eds } } @ARTICLE{Altm94a, AUTHOR = {Altman, E.}, JOURNAL = {Math. of Operations Research}, NUMBER = {1}, PAGES = {169-191}, TITLE = {Denumerable Constrained {Markov} Decision Problems and Finite Approximations}, VOLUME = {19}, YEAR = {1994} } @INPROCEEDINGS{Altm94b, AUTHOR = {Altman, E.}, ADDRESS = {Antibes}, BOOKTITLE = {ITC 14: 14th International Teletraffic Congress}, MONTH = jun, NOTE = {To appear; also INRIA report No. 1570, December 1991}, TITLE = {Analysis of Timed-Token Ring Protocols}, YEAR = {1994} } @ARTICLE{AlYe94, AUTHOR = {Altman, E. and Yechiali, U.}, JOURNAL = {Probability in the Engineering and Informational Sciences}, TITLE = {Closed polling systems}, YEAR = {1994} } @INPROCEEDINGS{AmMi94, AUTHOR = {Ametistova, A. and Mitrani, I.}, ADDRESS = {London}, BOOKTITLE = {Computer and Telecommunication Systems Performance Engineering}, EDITOR = {M.E.Woodward and S.Datta and S.Szumko}, PUBLISHER = {Pentech Press}, TITLE = {Modelling and evaluation of cache coherence protocols in multiprocessor systems}, YEAR = {1994} } @INPROCEEDINGS{Angl95, AUTHOR = {Anglano, C.}, ADDRESS = {Washington, D.C.}, BOOKTITLE = {Proc. of the 7-th IASTED International Conference on Parallel and Distributed Computing and Systems}, TITLE = {Performance Analysis of Heterogeneous Applications using Generalized Stochastic {Petri} Net models}, YEAR = {1995} } @INPROCEEDINGS{Angl96, AUTHOR = {Anglano, C.}, ADDRESS = {San Jose, CA, D.C.}, BOOKTITLE = {Proc. of the International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'96)}, PUBLISHER = {IEEE-CS Press}, TITLE = {Performance Modeling of Heterogeneous Distributed Applications}, YEAR = {1996} } @TECHREPORT{BaBo95, AUTHOR = {Bayer, N. and Boxma, O.J.}, ADDRESS = {Amsterdam}, INSTITUTION = {CWI}, MONTH = sep, NUMBER = {BS-R9524}, TITLE = {{W}iener-{H}opf analysis of an {$M/G/1$} queue with negative customers and of a related class of random walks''}, YEAR = {1995} } @BOOK{BaBr94, AUTHOR = {Baccelli, F. and Br\'emaud, P.}, PUBLISHER = {Springer Verlag}, SERIES = {Applications of Mathematics}, TITLE = {Elements of Queueing Theory}, VOLUME = {26}, YEAR = {1994} } @ARTICLE{BaCa93, AUTHOR = {Baccelli, F. and Canales, M.}, JOURNAL = {ACM Transactions on Modeling and Computer Simulation}, MONTH = jan, NUMBER = {1}, PAGES = {20-41}, TITLE = {Parallel Simulation of Stochastic {Petri} Nets using Recursive Equations}, VOLUME = {3}, YEAR = {1993} } @TECHREPORT{BaE.Ko95, AUTHOR = {Bayer, N. and Coffman, E.G.Jr. and Kogan, Y.}, ADDRESS = {Amsterdam}, INSTITUTION = {CWI}, MONTH = sep, NUMBER = {BS-R952x}, TITLE = {An asymptotic analysis of closed queueing networks with branching populations}, TYPE = {CWI Note}, YEAR = {1995} } @ARTICLE{BaFo94, AUTHOR = {Baccelli, F. and Foss, S.}, INSTITUTION = {INRIA}, JOURNAL = {QUESTA}, NUMBER = {1945 (1995)}, PAGES = {5--72}, TITLE = {Stability of {J}ackson-Type Queueing Networks}, VOLUME = {17}, YEAR = {1994} } @ARTICLE{BaFo95, AUTHOR = {Baccelli, F. and Foss, S.}, INSTITUTION = {INRIA}, JOURNAL = {JAP}, MONTH = jun, NUMBER = {2015 (1993)}, PAGES = {494--507}, TITLE = {On the Saturation Rule for the Stability of Queues}, VOLUME = {32}, YEAR = {1995}, QMIPS-No = {D12} } @ARTICLE{BaFoGa96, AUTHOR = {Baccelli, F. and Foss, S. and Gaujal, B.}, JOURNAL = {IEEE Trans. Aut. Contr.}, NOTE = {To appear.}, TITLE = {Structural, Timed and Stochastic properties of Decision Free {Petri} Networks}, YEAR = {1996} } @MISC{BaFoMa95, AUTHOR = {Baccelli, F. and Foss, S. and Mairesse, J.}, NOTE = {In preparation}, TITLE = {Closed {J}ackson networks under stationary ergodic assumptions}, YEAR = {1995} } @INPROCEEDINGS{BaFuGa95, AUTHOR = {Baccelli, F. and Furmento, N. and Gaujal, B.}, ADDRESS = {Lake Placid}, BOOKTITLE = {Proc. Ninth Workshop on Parallel and Distributed Systems (PADS'95)}, MONTH = jun, TITLE = {Parallel and Distributed Simulation of Free Choice {Petri} Nets}, YEAR = {1995} } @INPROCEEDINGS{BaGa94, AUTHOR = {Baccelli, F. and Gaujal, B.}, ADDRESS = {Sophia Antipolis, France}, BOOKTITLE = {Proceedings of the 11-th International on Analysis and Optimisation of Systems}, MONTH = jun, PUBLISHER = {Springer Verlag}, TITLE = {Stationary regime and stability of free-choice {Petri} nets}, YEAR = {1994} } @INPROCEEDINGS{Balb95a, AUTHOR = {Balbo, G.}, ADDRESS = {Erlangen, Germany}, BOOKTITLE = {Proc. International Computer Performance and Dependability Symposium}, TITLE = {Stochastic {Petri} Nets: Accomplishments and Open Problems}, YEAR = {1995} } @INPROCEEDINGS{Balb95b, AUTHOR = {Balbo, G.}, ADDRESS = {Durham, NC}, BOOKTITLE = {Proc. 6th International Workshop on {Petri} Nets and Performance Models}, TITLE = {On the Success of Stochastic {Petri} Nets}, YEAR = {1995} } @ARTICLE{BaLi92, AUTHOR = {Baccelli, F. and Liu, Z.}, JOURNAL = {IEEE Trans. Automatic Control}, MONTH = dec, TITLE = {Comparison properties of Stochastic Decision-Free {Petri} Nets}, VOLUME = {37}, YEAR = {1992} } @INCOLLECTION{BaMa95, AUTHOR = {Baccelli, F. and Mairesse, J.}, BOOKTITLE = {Idempotency}, EDITOR = {Gunawardena, J.}, NOTE = {To appear}, PUBLISHER = {Cambridge Univ. Press}, TITLE = {Ergodic Theory of Stochastic Operators and Discrete Event Networks}, YEAR = {1995} } @ARTICLE{BaSc95, AUTHOR = {Baccelli, F. and Schmidt, V.}, JOURNAL = {Annals of Applied Probability}, NOTE = {To appear. INRIA Report \#2494, march 1995.}, TITLE = {Taylor Series Expansions for Poisson Driven $(\max,+)$-Linear Systems}, YEAR = {1995} } @MASTERSTHESIS{Baue95, AUTHOR = {Bauer, W.}, NOTE = {(Definition of Performance Measures for {TIPP} using Temporal Logics, in German)}, SCHOOL = {Universit{\"a}t Erlangen-N{\"u}rnberg, IMMD {VII}}, TITLE = {Definition von {L}eistungsma\ss{}en f{\"u}r {TIPP} mittels temporaler {L}ogik}, TYPE = {Diploma Thesis}, YEAR = {1995} } @TECHREPORT{Baye95, AUTHOR = {Bayer, N.}, ADDRESS = {Amsterdam}, INSTITUTION = {CWI}, MONTH = sep, NUMBER = {BS-N9502}, TITLE = {On the identification of {W}iener-{H}opf factors}, TYPE = {CWI Note}, YEAR = {1995} } @INPROCEEDINGS{BhHaKa95, AUTHOR = {Bhabuta, M. and Harrison, P.G. and Kanani, K.}, BOOKTITLE = {in Proc. 11th UK Performance Engineering Workshop, Liverpool}, MONTH = sep, PUBLISHER = {Springer-Verlag Workshop Series}, TITLE = {Detecting reversible structures in Markovian Process Algebra}, YEAR = {1995} } @TECHREPORT{BoBo94, AUTHOR = {Borst, S.C. AND Boxma, O.J.}, INSTITUTION = {CWI}, NOTE = {To appear in {\em Oper. Res.}}, NUMBER = {BS-R9421}, TITLE = {Polling models with and without switchover times}, YEAR = {1994} } @TECHREPORT{BoBo95, AUTHOR = {Boucherie, R.J. and Boxma, O.J.}, ADDRESS = {Amsterdam}, INSTITUTION = {CWI}, MONTH = feb, NOTE = {To appear in {\em Probability in the Engineering and Informational Sciences}}, NUMBER = {BS-R9505}, TITLE = {The workload in the {$M/G/1$} queue with work removal}, YEAR = {1995} } @ARTICLE{BoBoHaHu94, AUTHOR = {Borst, S.C. and Boxma, O.J. and Harink, J.H.A. and Huitema, G.B.}, JOURNAL = {Telecommunications Systems}, PAGES = {31--59}, TITLE = {Optimization of fixed time polling schemes}, VOLUME = {3}, YEAR = {1994} } @ARTICLE{BoBoLe95, AUTHOR = {Borst, S.C. AND Boxma, O.J. and Levy, H.}, JOURNAL = {IEEE Trans. Networking}, NUMBER = {5}, TITLE = {The Use of Service Limits for Efficient Operation of Multi--Station Single--Medium Communication Systems}, VOLUME = {3}, YEAR = {1995} } @ARTICLE{BoDiva93, AUTHOR = {Boucherie, R.J. and Dijk, van, N.M.}, JOURNAL = {QUESTA}, PAGES = {251--289}, TITLE = {A generalization of {N}orton's theorem for queueing networks}, VOLUME = {13}, YEAR = {1993} } @MASTERSTHESIS{Bohn95a, AUTHOR = {Bohnenkamp, H.}, MONTH = sep, NOTE = {In German}, SCHOOL = {Universit\"at Erlangen-N\"urnberg, IMMD VII}, TITLE = {Matrix-Semantics for {TIPP}}, YEAR = {1995} } @MASTERSTHESIS{Bohn95b, AUTHOR = {Bohnenkamp, H.}, NOTE = {Diploma Thesis (in German)}, SCHOOL = {Universit{\"a}t Erlangen-N{\"u}rnberg}, TITLE = {Compositional Semantics of Stochastic Process Algebras to Obtain Reduced Transition Systems}, YEAR = {1995} } @ARTICLE{BoHova94, AUTHOR = {Boxma, O.J. and Houtum, van, G.J.}, JOURNAL = {Probability in the Engineering and Informational Sciences}, PAGES = {471--493}, TITLE = {The compensation approach applied to a $2 \times 2$ switch}, VOLUME = {7}, YEAR = {1994} } @ARTICLE{BoJ.94, AUTHOR = {Boxma, O.J. and J.A.C.Resing.}, JOURNAL = {Annals of Oper. Res}, PAGES = {221--239}, TITLE = {Tandem queues with deterministic service times}, VOLUME = {49}, YEAR = {1994} } @ARTICLE{BoKe94, AUTHOR = {Boxma, O.J. and Kelbert, M.}, JOURNAL = {Annals of Oper. Res}, PAGES = {295--310}, TITLE = {Stochastic bounds for a polling system}, VOLUME = {48}, YEAR = {1994} } @BOOK{BoKo94, ADDRESS = {Amsterdam}, EDITOR = {Boxma, O.J. and Koole, G.}, INSTITUTION = {CWI}, NOTE = {Proceedings of the Torino Workshop}, NUMBER = {105 and 106}, PUBLISHER = {CWI}, SERIES = {CWI Tracts}, TITLE = {Performance Evaluation of Parallel and Distributed Systems, {P}arts {I} and {II}}, YEAR = {1994} } @INCOLLECTION{BoKoLi94, AUTHOR = {Boxma, O.J. and Koole, G. and Liu, Z.}, ADDRESS = {Amsterdam}, BOOKTITLE = {Performance Evaluation of Parallel and Distributed Systems}, EDITOR = {Boxma, O.J. and Koole, G.}, INSTITUTION = {CWI}, NOTE = {Proceedings of the Torino Workshop}, NUMBER = {105 and 106}, PAGES = {1--21}, PUBLISHER = {CWI}, SERIES = {CWI Tracts}, TITLE = {Queueing-Theoretic Solution Methods for Models of Parallel and Distributed Systems}, YEAR = {1994} } @INCOLLECTION{BoKoMi95a, AUTHOR = {Boxma, O.J. and Koole, G.M. and Mitrani, I.}, BOOKTITLE = {Quantitative Models in Parallel Systems}, EDITOR = {Baccelli, F. and Jean-Marie, A. AND Mitrani, I.}, PAGES = {129--140}, PUBLISHER = {Springer, Berlin}, TITLE = {Polling models with threshold switching}, YEAR = {1995} } @INPROCEEDINGS{BoKoMi95b, AUTHOR = {Boxma, O.J. and Koole, G.M. and Mitrani, I.}, ADDRESS = {Los Alamitos (CA)}, BOOKTITLE = {Proc. MASCOTS '95}, EDITOR = {Dowd, P. AND Gelenbe, E.}, PAGES = {84--89}, PUBLISHER = {IEEE Computer Society Press}, TITLE = {A two-queue polling model with a threshold service policy}, YEAR = {1995} } @PHDTHESIS{Bors94, AUTHOR = {Borst, S.C.}, MONTH = nov, NOTE = {CWI Press}, SCHOOL = {Tilburg University}, TITLE = {Polling Systems}, YEAR = {1994} } @INPROCEEDINGS{Bors95, AUTHOR = {Borst, S.C.}, ADDRESS = {Ottawa}, BOOKTITLE = {Proc. ACM Sigmetrics/Performance '95}, NOTE = {an updated version has appeared in: {\em Quantitative Models in Parallel Systems}, F. Baccelli, A. Jean-Marie and I. Mitrani (eds.), Springer, Berlin}, PAGES = {116--125}, TITLE = {Optimal probabilistic allocation of customer types to servers}, YEAR = {1995} } @TECHREPORT{BoSe94, AUTHOR = {Boucherie, R.J. and Sereno, M.}, INSTITUTION = {CWI}, NUMBER = {BS-R9402}, TITLE = {A structural characterisation of product form stochastic {Petri} nets}, YEAR = {1994} } @ARTICLE{Bouc93, AUTHOR = {Boucherie, R.J.}, JOURNAL = {Stochastic Processes and their Applications}, PAGES = {95--114}, TITLE = {Aggregation of {Markov} chains}, VOLUME = {45}, YEAR = {1993} } @ARTICLE{Bouc94a, AUTHOR = {Boucherie, R.J.}, BOOKTITLE = pnpm, JOURNAL = {IEEE Trans. Soft. Eng.}, NOTE = {Also: {\em Proc. PNPM'93}, Toulouse, Oct. 1993 and INRIA Report \#1880}, PAGES = {536--544}, TITLE = {A Characterisation of Independence for Competing {Markov} Chains with Applications to Stochastic {Petri} Nets}, VOLUME = {20}, YEAR = {1994} } @TECHREPORT{Bouc94b, AUTHOR = {Boucherie, R.J.}, INSTITUTION = {CWI}, NUMBER = {BS-R9401}, TITLE = {Product forms based on backward traffic equations}, YEAR = {1994} } @INPROCEEDINGS{Boxm94, AUTHOR = {Boxma, O.J.}, ADDRESS = {Amsterdam}, BOOKTITLE = {From Universal Morphisms to Megabytes: a Baayen Space Odyssey}, MONTH = dec, PAGES = {215--230}, TITLE = {Polling systems}, YEAR = {1994}, editors = { Apt, A. Schrijver, K.R. AND N.M. Temme } } @INCOLLECTION{Boxm95, AUTHOR = {Boxma, O.J.}, ADDRESS = {Singapore}, BOOKTITLE = {Recent Trends in Optimization Theory and Applications}, EDITOR = {Agarwal, R.P.}, INSTITUTION = {CWI}, NOTE = {CWI report \#BS-R9506, Feb. 1995}, PUBLISHER = {World Scientific Publishing}, TITLE = {Static optimization of queueing systems}, YEAR = {1995} } @TECHREPORT{BoYe95, AUTHOR = {Boxma, O.J. and Yechiali, U.}, ADDRESS = {Amsterdam}, INSTITUTION = {CWI}, MONTH = aug, NOTE = {To appear in Applied Probability, C.C. Heyde et al. (eds.), Springer L.N. in Statistics, Springer, Berlin, 1996}, NUMBER = {BS-R9521}, TITLE = {An {$M/G/1$} queue with multiple types of feedback and gated vacations}, YEAR = {1995} } @INPROCEEDINGS{BrCoSi94, AUTHOR = {Briz, J.L. and Colom, J.M. and Silva, M.}, ADDRESS = {San Antonio, Texas}, BOOKTITLE = {Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics}, MONTH = oct, PAGES = {1671--1676}, TITLE = {Discrete event simulation based on timed {Petri} nets using linear enabling functions}, YEAR = {1994} } @INPROCEEDINGS{CaCoJuSi93, AUTHOR = {Campos, J. AND Colom, J.M. AND Jungnitz, H. AND Silva, M.}, ADDRESS = {Toulouse, France}, BOOKTITLE = pnpm, MONTH = oct, NOTE = {selected for publication in a special issue of {\em IEEE Transactions on Software Engineering} on the PNPM93 Conference.}, PAGES = {138--147}, TITLE = {A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs}, YEAR = {1993} } @ARTICLE{CaCoJuSi94, AUTHOR = {Campos, J. and Colom, J.M. and Jungnitz, H. and Silva, M.}, JOURNAL = {IEEE Trans. Soft. Engineering}, MONTH = jul, NUMBER = {7}, PAGES = {526--535}, TITLE = {Approximate throughput computation of stochastic marked graphs}, VOLUME = {20}, YEAR = {1994} } @INCOLLECTION{CaCoSiTe94, AUTHOR = {Campos, J. and Colom, J.M. and Silva, M. and Teruel, E.}, ADDRESS = {Amsterdam}, BOOKTITLE = {Performance Evaluation of Parallel and Distributed Systems: Solution Methods}, EDITOR = {Boxma, O.J. and Koole, G.M.}, PAGES = {233--251}, PUBLISHER = {Centrum voor Wiskunde en Informatica}, SERIES = {Tract}, TITLE = {Functional and Performance Analysis of Cooperating Sequential Processes}, VOLUME = {106}, YEAR = {1994} } @TECHREPORT{CaGa93, AUTHOR = {Canales, M. and Gaujal, B.}, INSTITUTION = {INRIA}, MONTH = sep, NUMBER = {2049}, TITLE = {Marking Optimization and Parallelism in Marked Graphs}, YEAR = {1993} } @PHDTHESIS{Cana94, AUTHOR = {Canales, M.}, MONTH = feb, SCHOOL = {Univerist\'e de Nice-Sophia Antipolis}, TITLE = {Simulation Parall\`ele de r\'eseaux de {Petri} Stochastiques}, YEAR = {1994} } @ARTICLE{CaPlSa93, AUTHOR = {Campos, J. and Plo, B.F. and San Miguel, M.}, JOURNAL = {Revista Matem\'atica de la Universidad Complutense de Madrid}, NUMBER = {1}, PAGES = {123--136}, TITLE = {Boundedness on stochastic Petri nets}, VOLUME = {6}, YEAR = {1993} } @ARTICLE{CaSi93, AUTHOR = {Campos, J. and Silva, M.}, JOURNAL = {Performance Evaluation}, MONTH = jul, NUMBER = {1}, PAGES = {3--19}, TITLE = {Embedded product-form queueing networks and the improvement of performance bounds for stochastic {P}etri net systems}, VOLUME = {18}, YEAR = {1993} } @TECHREPORT{CaSi95a, AUTHOR = {P{\'e}rez-Jim{\'e}nez, C.J. and Campos, J. and Silva, M.}, INSTITUTION = {DISI, Centro Polit{\'e}nico Superior, Universidad de Zaragoza}, MONTH = mar, NUMBER = {GISI RR-95-03}, TITLE = {On approximate throughput computation of deterministic systems of sequential processes}, YEAR = {1995} } @TECHREPORT{CaSi95b, AUTHOR = {P{\'e}rez-Jim{\'e}nez, C.J. and Campos, J. and Silva, M.}, INSTITUTION = {DISI, Centro Polit{\'e}nico Superior, Universidad de Zaragoza}, MONTH = sep, NOTE = {Submitted for publication}, NUMBER = {RR-95-07}, TITLE = {State machine reduction for the approximate performance evaluation of manufacturing systems modelled with cooperating sequential processes}, YEAR = {1995} } @INPROCEEDINGS{CCCSA93, AUTHOR = {Chiola, G. and Campos, J. and Colom J.M. and Silva, M. and Anglano, C.}, ADDRESS = {Toulouse, France}, BOOKTITLE = pnpm, MONTH = oct, TITLE = {Operational Analysis of Timed {Petri} Nets and Application to the Computation of Performance Bounds}, YEAR = {1993} } @PHDTHESIS{Chab95, AUTHOR = {Chabridon, S.}, SCHOOL = {Univ. Paris V}, TITLE = {Execution fiable de programmes r\'{e}partis en environnement peu fiable}, TYPE = {Doctoral Thesis}, YEAR = {1995} } @INPROCEEDINGS{Chak95a, AUTHOR = {Chakka, R.}, ADDRESS = {Bradford}, BOOKTITLE = {3rd Intl. Workshop on Queueing Networks with Finite Capacity}, MONTH = sep, TITLE = {Spectral Expansion Solution for Large Markov Processes with Finite State Space}, YEAR = {1995} } @PHDTHESIS{Chak95b, AUTHOR = {Chakka, R.}, MONTH = sep, SCHOOL = {University of Newcastle}, TITLE = {Performance and Reliability Modelling of Computing Systems Using Spectral Expansion}, YEAR = {1995} } @INPROCEEDINGS{ChAn93, AUTHOR = {Chiola, G. and Anglano, C.}, ADDRESS = {Toulouse, France}, BOOKTITLE = pnpm, MONTH = oct, TITLE = {Linear Programming Performance Bounds for Symmetric Coloured Nets}, YEAR = {1993} } @INPROCEEDINGS{ChCaCoSi93, AUTHOR = {Chiola, G. and Campos, J. and Colom, J.M. and Silva, M.}, ADDRESS = {Roma, Italy}, BOOKTITLE = {Performance'93}, MONTH = sep, TITLE = {Operational Analysis of Timed {Petri} Nets and Application to the Computation of Performance Bounds}, YEAR = {1993} } @ARTICLE{ChDuFrHa93, AUTHOR = {Chiola, G. and Dutheillet, C. and Franceschinis, G. and Haddad, S.}, JOURNAL = {IEEE Transactions on Computers}, MONTH = nov, NUMBER = {11}, PAGES = {1343--1360}, TITLE = {Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications}, VOLUME = {42}, YEAR = {1993} } @ARTICLE{ChFe93a, AUTHOR = {Chiola, G. and Ferscha, A.}, JOURNAL = {IEEE Journal of Parallel and Distributed Technology}, NUMBER = {3}, PAGES = {33--50}, TITLE = {Distributed Simulation of {Petri} Nets}, VOLUME = {1}, YEAR = {1993} } @INPROCEEDINGS{ChFe93b, AUTHOR = {Chiola, G. and Ferscha, A.}, ADDRESS = {Honolulu, Hawaii}, BOOKTITLE = {26$^{th}$ Hawaii International Computer Science Symposium}, MONTH = jan, TITLE = {Exploiting {Petri} Net Model Structure to Improve Distributed Simulation}, YEAR = {1993} } @INPROCEEDINGS{ChFe93c, AUTHOR = {Chiola, G. and Ferscha, A.}, ADDRESS = {Chicago, Illinois}, BOOKTITLE = {$14^{th}$ International Conference on Application and Theory of {Petri} Nets}, MONTH = jun, NUMBER = {691}, PUBLISHER = {Springer Verlag}, SERIES = {LNCS}, TITLE = {Distributed Simulation of Timed {Petri} Nets: exploiting the net structure to obtain efficiency}, YEAR = {1993} } @INPROCEEDINGS{ChFe94, AUTHOR = {Chiola, G. and Ferscha, A.}, ADDRESS = {La Jolla, California}, BOOKTITLE = {$27^{th}$ Annual Simulation Symposium}, MONTH = apr, TITLE = {Self Adaptive Logical Processes: the Probabilistic Distributed Simulation Protocol}, YEAR = {1994} } @INPROCEEDINGS{ChFrGa94, AUTHOR = {Chiola, G. and Franceschinis, G. and Gaeta, R.}, ADDRESS = {Zaragoza, Spain}, BOOKTITLE = {$15^{th}$ International Conference on Application and Theory of {Petri} Nets}, MONTH = jun, TITLE = {Modelling Symmetric Computer Architectures by Stochastic Well-Formed Coloured Nets}, YEAR = {1994} } @INCOLLECTION{ChGe95a, AUTHOR = {Chabridon, S. and Gelenbe, E.}, BOOKTITLE = {Quantitative Models in Parallel Systems}, EDITOR = {Baccelli, F. and Jean-Marie, A. AND Mitrani, I.}, PAGES = {220--236}, PUBLISHER = {Springer, Berlin}, TITLE = {Dependability of Distributed Programs: Algorithms and Performance}, YEAR = {1995} } @INPROCEEDINGS{ChGe95b, AUTHOR = {Chabridon, S. and Gelenbe, E.}, ADDRESS = {San Remo, Italy, Jan. 25-27}, BOOKTITLE = {Euromicro'95}, PAGES = {350--357}, PUBLISHER = {IEEE Computer Society Press}, TITLE = {Dependable Distributed Computing with the help of Agents}, YEAR = {1995} } @INPROCEEDINGS{ChGe95c, AUTHOR = {Chabridon, S. and Gelenbe, E.}, ADDRESS = {Bad Neuenahr}, BOOKTITLE = {14th Symposium on Reliable Distributed Systems (SRDS-14)}, MONTH = {September 13-15}, PAGES = {229-238}, TITLE = {Dependable Execution of Distributed Programs}, YEAR = {1995} } @INCOLLECTION{ChGeHeLa95, AUTHOR = {Chabridon, S. and Gelenbe, E. and Hern\'andez, M. AND Labed, A.}, BOOKTITLE = {Quantitative Models in Parallel Systems}, EDITOR = {Baccelli, F. and Jean-Marie, A. AND Mitrani, I.}, PAGES = {114--128}, PUBLISHER = {Springer, Berlin}, TITLE = {{G}-networks: A Survey of Results, Applications and Solutions}, YEAR = {1995} } @INPROCEEDINGS{Chio95, AUTHOR = {Chiola, G.}, ADDRESS = {Durham, NC}, BOOKTITLE = {Proc. 6th International Workshop on {Petri} Nets and Performance Models}, TITLE = {Characterization of Timed Well-formed {Petri} Nets Behavior by Means of Occurence Equations}, YEAR = {1995} } @INPROCEEDINGS{ChMi92, AUTHOR = {Chakka, R. and Mitrani, I.}, ADDRESS = {Edinburgh}, BOOKTITLE = {Int. Conf. on Modelling Techniques}, TITLE = {A Numerical Solution Method for Multiprocessor Systems with general breakdowns and repairs}, YEAR = {1992} } @ARTICLE{ChMi94, AUTHOR = {Chakka, R. and Mitrani, I.}, ADDRESS = {Edinburgh}, JOURNAL = {Theoretical Computer Science}, PAGES = {91--109}, TITLE = {Heterogeneous Multiprocessor Systems with Breakdowns: Performance and Optimal Repair Strategies}, VOLUME = {125}, YEAR = {1994} } @INPROCEEDINGS{ChMi95, AUTHOR = {Chakka, R. and Mitrani, I.}, ADDRESS = {Edinburgh}, BOOKTITLE = {Stochastic Networks Workshop}, TITLE = {Approximate solution methods for open queueing networks with breakdowns and repairs}, YEAR = {1995} } @ARTICLE{CoBo94, AUTHOR = {Combe, M.B. and Boxma, O.J.}, JOURNAL = {Theor. Comp. Sci, special issue on Parallel Systems}, PAGES = {17--43}, TITLE = {Optimization of Static Traffic Allocation Policies}, VOLUME = {125}, YEAR = {1994} } @TECHREPORT{CoDo95, AUTHOR = {Cohen, J.W. and Down, D.G.}, ADDRESS = {Amsterdam}, INSTITUTION = {CWI}, MONTH = aug, NUMBER = {BS-R9523}, TITLE = {On the role of {R}ouch\'{e}'s theorem in queueing analysis}, YEAR = {1995} } @INPROCEEDINGS{CoHa94a, AUTHOR = {Coury, S. and Harrison, P.G.}, ADDRESS = {Vienna}, BOOKTITLE = {7th Int. Conf. on Tools and Techniques for Performance Modelling}, MONTH = may, NOTE = {Poster presentation}, TITLE = {Asymptotic properties of queueing networks}, YEAR = {1994} } @INPROCEEDINGS{CoHa94b, AUTHOR = {Coury, S. and Harrison, P.G.}, ADDRESS = {Kyoto}, BOOKTITLE = {Proc. International Conference on Local and Metropolitan Communication Systems}, MONTH = dec, TITLE = {Waiting time distribution in a class of wireless multi-channel local area networks}, YEAR = {1994} } @ARTICLE{Cohe92, AUTHOR = {Cohen, J.W.}, JOURNAL = {Stochastic Models}, PAGES = {359--374}, TITLE = {On a Class of Two--Dimensional Nearest Neighbouring Random Walks}, VOLUME = {8}, YEAR = {1992} } @TECHREPORT{Cohe94, AUTHOR = {Cohen, J.W.}, ADDRESS = {Amsterdam}, INSTITUTION = {CWI}, MONTH = dec, NUMBER = {BS-R9437}, TITLE = {Analysis of a two-dimensional algebraic nearest-neighbour random walk (queue with paired services)}, YEAR = {1994} } @ARTICLE{Cohe95a, AUTHOR = {Cohen, J.W.}, BOOKTITLE = {Studies in Applied Probability - Papers in honour of Lajos Tak\'{a}cs}, EDITOR = {Galambos, J. AND Gani, J.}, JOURNAL = {J. Appl. Probab.}, PAGES = {207-237}, TITLE = {On a class of two-dimensional nearest-neighbour random walks}, VOLUME = {31A}, YEAR = {1995} } @INCOLLECTION{Cohe95b, AUTHOR = {Cohen, J.W.}, BOOKTITLE = {Quantitative Models in Parallel Systems}, EDITOR = {Baccelli, F. and Jean-Marie, A. AND Mitrani, I.}, PAGES = {141--152}, PUBLISHER = {Springer, Berlin}, TITLE = {Two-dimensional nearest-neighbour queueing models, a review and an example}, YEAR = {1995} } @INCOLLECTION{Cohe95c, AUTHOR = {Cohen, J.W.}, BOOKTITLE = {Quantitative Models in Parallel Systems}, EDITOR = {Baccelli, F. and Jean-Marie, A. AND Mitrani, I.}, PUBLISHER = {Springer, Berlin}, TITLE = {Two-dimensional nearest-neighbour queueing models, a review and an example}, YEAR = {1995} } @TECHREPORT{Cohe95d, AUTHOR = {Cohen, J.W.}, ADDRESS = {Amsterdam}, INSTITUTION = {CWI}, MONTH = mar, NUMBER = {BS-R9509}, TITLE = {Analysis of the asymmetrical shortest two-server queueing model}, YEAR = {1995} } @TECHREPORT{Cohe95e, AUTHOR = {Cohen, J.W.}, ADDRESS = {Amsterdam}, INSTITUTION = {CWI}, MONTH = jul, NUMBER = {BS-R9519}, TITLE = {On the symmetrical shortest queue and the compensation approach}, YEAR = {1995} } @INPROCEEDINGS{Colo95, AUTHOR = {Garc\'{\i}a-Vall\'es, F. and Colom, J.M.}, ADDRESS = {Vancouver, British Columbia, Canada, Otc. 22-25}, BOOKTITLE = {IEEE International Conference on Systems, Man and Cybernetics}, MONTH = oct, PUBLISHER = {IEEE Computer Society Press}, TITLE = {A boolean approach to the state machine decomposition of place/transition nets}, YEAR = {19951995} } @MASTERSTHESIS{Do93, AUTHOR = { Do, H.T. }, NOTE = {Design of Process Languages for Performance Evaluation (in german)}, SCHOOL = {Universit{\"a}t Erlangen-N{\"u}rnberg}, TITLE = {Entwurf von Proze{\ss}sprachen zur Leistungsbewertung}, TYPE = {Diploma Thesis}, YEAR = {1993}, } @INPROCEEDINGS{DoBo95, AUTHOR = {Down, D.G. AND Boxma, O.J.}, ADDRESS = {Otaniemi, Espoo, Finland}, BOOKTITLE = {Proc. NTS-12 Conference}, MONTH = {Aug. 22-24}, TITLE = {A polling model with threshold switching}, YEAR = {1995} } @INPROCEEDINGS{DoG.95, AUTHOR = {Donatelli, S. and G.~Franceschinis}, ADDRESS = {Ottawa, Canada}, BOOKTITLE = {Proc. Sigmetrics 95/Performance}, NOTE = {Poster Session}, TITLE = {State Space Reductions Using Stochastic Well-Formed Net Simplifications: an Application to Random Polling Systems}, YEAR = {1995} } @INCOLLECTION{DoHeHiRi95, AUTHOR = {Donatelli, S. and Hermanns, H. and Hillston, J. and Ribaudo, M.}, BOOKTITLE = {Quantitative Models in Parallel Systems}, EDITOR = {Baccelli, F. and Jean-Marie, A. AND Mitrani, I.}, PAGES = {38--51}, PUBLISHER = {Springer, Berlin}, TITLE = {{GSPN} and {SPA} Compared in Practice}, YEAR = {1995} } @INPROCEEDINGS{DoHiRi95, AUTHOR = {Donatelli, S. and Hillston, J. and Ribaudo, M.}, ADDRESS = {Durham, NC}, BOOKTITLE = {Proc. 6th International Workshop on {Petri} Nets and Performance Models}, TITLE = {A Comparison of Performance Evaluation Process Algebra and Generalized Stochastic {Petri} Nets}, YEAR = {1995} } @INPROCEEDINGS{EtMi94, AUTHOR = {Ettl, M. and Mitrani, I.}, BOOKTITLE = {Proceedings of the {QMIPS} Workshop on Solution Techniques, Torino, Sept 1993}, SERIES = {CWI Tracts}, TITLE = {Applications of the spectral expansion method: two case studies}, YEAR = {1994} } @PHDTHESIS{Ettl95, AUTHOR = {Ettl, M.}, SCHOOL = {Universit{\"a}t Erlangen-N{\"u}rnberg}, TITLE = {Analysis and optimization of kanban controlled production lines - a queueing network modeling approach}, YEAR = {1995} } @INPROCEEDINGS{FeCh94, AUTHOR = {Ferscha, A. and Chiola, G.}, ADDRESS = {Vienna, Austria}, BOOKTITLE = {$7^{th}$ Intern. Conference on Modeling Techniques and Tools for Computer Performance Evaluation}, MONTH = may, TITLE = {Accelerating the Evaluation of Parallel Program Performance Models using Distributed Simulation}, YEAR = {1994} } @INPROCEEDINGS{FiHa94, AUTHOR = {Field, A.J. and Harrison, P.G.}, ADDRESS = {St. Charles, Illinois}, BOOKTITLE = {Int. Conf. on Parallel Processing}, MONTH = aug, TITLE = {Transmission Times in buffered full-crossbar Communication Networks with Cyclic Arbitration}, YEAR = {1994} } @INPROCEEDINGS{FiHa95, AUTHOR = {Field, A.J. and Harrison, P.G.}, ADDRESS = {Oconomowok, Wisconsin}, BOOKTITLE = {Int. Conf. on Parallel Processing}, TITLE = {An analytical model for the standard coherent interface {SCI}}, YEAR = {1995} } @ARTICLE{FiHa96, AUTHOR = {Field, A.J. and Harrison, P.G.}, JOURNAL = {IEEE Proceedings}, NOTE = {Accepted for publication}, TITLE = {A stochastic model of cache coherency overhead in {SCI} rings}, YEAR = {1996} } @INPROCEEDINGS{FiHaLe94, AUTHOR = {Field, A.J. and Harrison, P.G. and Lehovetski, N.}, ADDRESS = {Edinburgh}, BOOKTITLE = {Proc. 10th UK Performance Engineering Workshop}, MONTH = sep, TITLE = {A Uniform-memory access model of a distributed Coherent Cache System}, YEAR = {1994} } @INPROCEEDINGS{FiHaLe95, AUTHOR = {Field, A.J. and Harrison, P.G. and Lehovetski, N.}, ADDRESS = {Oconomowok, Wisconsin}, BOOKTITLE = {Int. Conf. on Parallel Processing}, TITLE = {Performance model of the {SCI} ring}, YEAR = {1995} } @TECHREPORT{FiLi94, AUTHOR = {Finta, L. and Liu, Z.}, INSTITUTION = {INRIA}, KEY = {scheduling, resource constraint, makespan}, NUMBER = {2302}, TITLE = {Scheduling of Parallel Programs in Single-Bus Multiprocessor Systems}, YEAR = {1994} } @ARTICLE{FiLi95, AUTHOR = {Finta, L. and Liu, Z.}, ADDRESS = {Sophia Antipolis}, INSTITUTION = {INRIA}, JOURNAL = {Disc. Appl. Maths}, KEY = {scheduling, makespan}, NOTE = {To appear}, TITLE = {Single Machine Scheduling Subject to Precedence Delays}, YEAR = {1995} } @TECHREPORT{FiLiMiBa95, AUTHOR = {Finta, L. and Liu, Z. and Milis, I. AND Bampis, E.}, INSTITUTION = {INRIA}, NUMBER = {2566}, TITLE = {Scheduling {UET}-{UCT} Series-Parallel Graphs on Two Processors}, YEAR = {1995} } @ARTICLE{FoGeSu95, AUTHOR = {Fourneau, J.M. and Gelenbe, E. and Suros, R.}, JOURNAL = {Theoretical Computer Science}, NOTE = {To appear}, TITLE = {{G}-networks with Multiple Classes of Negative and Positive Customers}, YEAR = {1995} } @INPROCEEDINGS{FrMu93a, AUTHOR = {Franceschinis, G. and Muntz, R.R.}, ADDRESS = {Roma, Italy}, BOOKTITLE = {Performance'93}, MONTH = sep, TITLE = {Bounds for Quasi-lumpable {Markov} Chains}, YEAR = {1993} } @INPROCEEDINGS{FrMu93b, AUTHOR = {Franceschinis, G. and Muntz, R.R.}, ADDRESS = {Toulouse, France}, BOOKTITLE = pnpm, MONTH = oct, TITLE = {Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets}, YEAR = {1993} } @INPROCEEDINGS{GaCh95, AUTHOR = {Gaeta, G. and Chiola, G.}, ADDRESS = {Durham, NC}, BOOKTITLE = {Proc. 6th International Workshop on {Petri} Nets and Performance Models}, TITLE = {Efficient Simulation of {SWN} models}, YEAR = {1995} } @ARTICLE{GaChFrRi95, AUTHOR = {Gaeta, R. and Chiola, G. and Franceschinis, G. and Ribaudo, M.}, JOURNAL = {Performance Evaluation, special issue on Performance Modelling Tools}, MONTH = aug, TITLE = {GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic {Petri} Nets}, YEAR = {1995} } @INCOLLECTION{GaJe95, AUTHOR = {Gaujal, B. and Jean-Marie, A.}, BOOKTITLE = {Idempotency}, EDITOR = {Gunawardena, J.}, NOTE = {To appear}, PUBLISHER = {Cambridge University Press}, TITLE = {Computational Issues in Recursive Stochastic Systems}, YEAR = {1995} } @TECHREPORT{GaJeMa95, AUTHOR = {Gaujal, B. and Jean-Marie, A. and Mairesse, J.}, INSTITUTION = {INRIA}, MONTH = jun, NUMBER = {2568}, TITLE = {Minimal Representation of Uniform Recurrence Equations}, YEAR = {1995} } @INCOLLECTION{GaMa95, AUTHOR = {Gaubert, S. and Mairesse, J.}, BOOKTITLE = {Idempotency}, EDITOR = {Gunawardena, J.}, NOTE = {To appear}, PUBLISHER = {Cambridge University Press}, TITLE = {Task Resource Models and (max,+) Automata}, YEAR = {1995} } @ARTICLE{Gauj94a, AUTHOR = {Gaujal, B.}, INSTITUTION = {INRIA}, JOURNAL = {JDEDS}, NOTE = {In revision. INRIA Report RR 2223}, TITLE = {Optimal Allocation Sequences of Two Processes Sharing a Resource}, YEAR = {1994} } @PHDTHESIS{Gauj94b, AUTHOR = {Gaujal, B.}, MONTH = jun, SCHOOL = {Universit\'e de Nice-Sophia Antipolis}, TITLE = {Parall\'elisme et simulation des syst\`emes \`a \'ev\'enements discrets}, TYPE = {Th\`ese de doctorat}, YEAR = {1994} } @INPROCEEDINGS{Gauj96, AUTHOR = {Gaujal, B.}, ADDRESS = {Hawaii}, BOOKTITLE = {Proc. HICSS-29}, MONTH = jan, TITLE = {Some Algebraic Considerations for Efficient Computations in Timed {Petri} Nets}, YEAR = {1996} } @INPROCEEDINGS{GBFHHP95, AUTHOR = {Gelenbe, E. and Boxma, O. and Fourneau, J.-M. and Hern\'andez, M. and Harrison, P. and Pitel, E.}, ADDRESS = {Ottawa}, BOOKTITLE = {ACM-SIGMETRICS and IFIP WG 7.3 Sysmposium on System Performance Evaluation}, MONTH = may, TITLE = {G-networks}, YEAR = {1995} } @INPROCEEDINGS{GeCh94, AUTHOR = {Gelenbe, E. and Chabridon, S.}, ADDRESS = {Delft}, BOOKTITLE = {Proc. Parallel Computing Symposium}, PUBLISHER = {Elsevier, North-Holland}, TITLE = {Scheduling distributed tasks for survivability of the application}, YEAR = {1994} } @ARTICLE{GeCh95, AUTHOR = {Gelenbe, E. and Chabridon, S.}, JOURNAL = {Journal of Simulation Pratice and Theory}, MONTH = jul, PAGES = {1--16}, PUBLISHER = {Elsevier, North-Holland}, TITLE = {Dependable Execution of Distributed Programs}, VOLUME = {3}, YEAR = {1995} } @TECHREPORT{GeJi95, AUTHOR = {Gelenbe, E. and Jin, W.}, INSTITUTION = {EHEI, University Paris {V}}, MONTH = oct, TITLE = {Convergence of a Fixed-Point Iteration for {G}-Networks}, YEAR = {1995} } @UNPUBLISHED{GeKu93, AUTHOR = {Gelenbe, E. and Kushwaha, R.}, NOTE = {submitted for publication}, TITLE = {Incremental Adaptive Load Balancing in Distributed Systems}, YEAR = {1993} } @INPROCEEDINGS{GeKu94, AUTHOR = {Gelenbe, E. and Kushwaha, R.}, ADDRESS = {Los Alamitos, CA}, BOOKTITLE = {Proc. MASCOTS'94}, MONTH = jan, PAGES = {245--249}, PUBLISHER = {IEEE Computer Society Press}, TITLE = {Dynamic Load Balancing in Distributed Systems}, YEAR = {1994} } @TECHREPORT{GeLa95, AUTHOR = {Gelenbe, E. and Labed, A.}, INSTITUTION = {EHEI, University Paris {V}}, MONTH = oct, TITLE = {{G}-networks with Multiple Classes of Customers and Triggers}, YEAR = {1995} } @ARTICLE{Gele93a, AUTHOR = {Gelenbe, E.}, JOURNAL = {Probability in the Engineering and Information Sciences}, PAGES = {335-342}, TITLE = {{G}-Networks with signals and batch removal}, VOLUME = {7}, YEAR = {1993} } @ARTICLE{Gele93b, AUTHOR = {Gelenbe, E.}, JOURNAL = {Journal of Applied Probability}, NUMBER = {3}, PAGES = {742--748}, TITLE = {{G}-Networks with instantaneous customer movement}, VOLUME = {30}, YEAR = {1993} } @ARTICLE{Gele94, AUTHOR = {Gelenbe, E.}, JOURNAL = {Annals of Operations Research}, NOTE = {To appear, also {\em in Proc. MASCOTS}, San Diego, California (January 93)}, TITLE = {{G}-Networks: A unifying model for neural nets and queueing networks}, YEAR = {1994} } @INPROCEEDINGS{Gele95, AUTHOR = {Gelenbe, E.}, ADDRESS = {Los Alamitos}, BOOKTITLE = {Proc. MASCOTS'95}, NOTE = {Invited Paper}, PAGES = {135-141}, PUBLISHER = {IEEE Computer Society Press}, TITLE = {{G}-networks and minimum cost functions}, YEAR = {1995} } @TECHREPORT{GePe93, AUTHOR = {Gelenbe, E. and Pekergin, F.}, INSTITUTION = {EHEI Universit\'e Ren\'e Descartes}, MONTH = feb, TITLE = {Load balancing pragmatics}, YEAR = {1993} } @ARTICLE{GeSc92, AUTHOR = {Gelenbe, E. and Schassberger, M.}, JOURNAL = {Probability in the Engineering and Information Sciences}, PAGES = {271--276}, TITLE = {Stability of Product form $G$-networks}, VOLUME = {6}, YEAR = {1992} } @TECHREPORT{GiHiHoRe94, AUTHOR = {Gilmore, S. and Hillston, J. and Holton, R. and Rettelbach, M.}, ADDRESS = {The King's Buildings, Edinburgh EH9 3JZ}, INSTITUTION = {Computer Systems Group, Dept. of Computer Science, The University of Edinburgh}, MONTH = dec, NUMBER = {ESG-CSG-7-94}, TITLE = {Specifications in Stochastic Process Algebra for a Robot Control Problem}, TYPE = {CSG Report Series}, YEAR = {1994} } @ARTICLE{GiHiHoRe95, AUTHOR = {Gilmore, S. and Hillston, J. and Holton, R. AND Rettelbach, M.}, JOURNAL = {International Journal of Production Research}, NOTE = {To appear}, TITLE = {Specifications in Stochastic Process Algebra for a Robot Control Problem}, YEAR = {1995} } @PHDTHESIS{Gotz94, AUTHOR = {G{\"o}tz, N.}, MONTH = may, NOTE = {Stochastische Proze{\ss}algebren (in German)}, NUMBER = {1}, SCHOOL = {Universit{\"a}t Erlangen-N{\"u}rnberg}, SERIES = {Arbeitsberichte des IMMD}, TITLE = {Stochastic Process Algebas | Integration of Functional Design and Performance Evaluation of Distributed Systems}, VOLUME = {27}, YEAR = {1994} } @ARTICLE{GrHa96, AUTHOR = {Grant-Duff, Z.N. and Harrison, P.G.}, JOURNAL = {Parallel Processing Letters}, TITLE = {Parallelism via Homomorphisms}, YEAR = {1996} } @INPROCEEDINGS{HaA.Pi94, AUTHOR = {Harrison, P.G. and A.de Pinto, C.}, ADDRESS = {Bradford}, BOOKTITLE = {Proc. 2nd Workshop on Performance Modelling and Evaluation of ATM Networks}, MONTH = jul, NOTE = {Extended version in D. Kouvatsos (ed.), Performance Modelling and Evaluation of ATM networks, Chapman-Hall, 1995}, TITLE = {Response time distributions in packet-switched banyan networks}, YEAR = {1994} } @ARTICLE{Hade94, AUTHOR = {Harrison, P.G. and de C. Pinto, A.}, JOURNAL = {Performance Evaluation}, TITLE = {An approximate analysis of asynchronous, packet-switched, buffered Banyan networks with blocking}, YEAR = {1994} } @INPROCEEDINGS{HaHi95, AUTHOR = {Harrison, P.G. and Hillston, J.E.}, BOOKTITLE = {Proc. PAPM, Edinburgh}, MONTH = jun, NOTE = {Extended version in {\em Computer Journal}, 1996}, TITLE = {Exploiting Quasi-reversible Structures in Markovian Process Algebra Models}, YEAR = {1995} } @INPROCEEDINGS{HaPaPi95, AUTHOR = {Harrison, P.G. and Patel, N.M. and Pitel, E.}, ADDRESS = {Liverpool}, BOOKTITLE = {Proc. UK Performance Engineering Workshop}, MONTH = sep, PUBLISHER = {Springer-Verlag}, SERIES = {Workshop Series}, TITLE = {Negative Customers Model Queues with Breakdowns}, YEAR = {1995} } @ARTICLE{HaPi93a, AUTHOR = {Harrison, P.G. and Pitel, E.}, JOURNAL = {J. Appl. Prob}, TITLE = {Sojourn times in single server queues with negative customers}, YEAR = {1993} } @INPROCEEDINGS{HaPi93b, AUTHOR = {Harrison, P.G. and Pitel, E.}, ADDRESS = {Rome}, BOOKTITLE = {Performance'93}, NOTE = {State of the art tutorial}, PUBLISHER = {Springer Verlag}, SERIES = {LNCS}, TITLE = {Response time distributions in queueing network models}, YEAR = {1993} } @ARTICLE{HaPi95a, AUTHOR = {Harrison, P.G. and Pitel, E.}, JOURNAL = {J. Appl. Prob}, NOTE = {To appear}, TITLE = {Response time distributions in tandem {G}-networks}, YEAR = {1995} } @INPROCEEDINGS{HaPi95b, AUTHOR = {Harrison, P.G. and Pitel, E.}, ADDRESS = {North Carolina}, BOOKTITLE = {MASCOTS '95}, TITLE = {$M/G/1$ Queues with Negative Arrivals: an iteration to solve a Fredholm integral equation of the first kind}, YEAR = {1995} } @ARTICLE{HaPi96, AUTHOR = {Harrison, P.G. and Pitel, E.}, ADDRESS = {London}, INSTITUTION = {Imperial College}, JOURNAL = {Adv. Appl. Prob.}, NOTE = {Presented at Cambridge University Workshop on Stochastic Models, December 1993 and at a University of Edinburgh Research Colloquium, April 1994.}, TITLE = {The {$M/G/1$} queue with negative customers}, YEAR = {1996} } @INPROCEEDINGS{HeHeMe95, AUTHOR = {Hermanns, H. and Herzog, U. AND Mertsiotakis, V.}, ADDRESS = {Erlangen}, BOOKTITLE = {Proc. of IEEE International Computer Performance and Dependability Symposium}, MONTH = apr, PUBLISHER = {IEEE Computer Society Press}, TITLE = {Stochastic Process Algebras as a Tool for Performance and Dependability Modelling}, YEAR = {1995} } @INPROCEEDINGS{HeMe95, AUTHOR = {Hermanns, H. and Mertsiotakis, V.}, BOOKTITLE = {Proc. of the 11th U.K. Performance Engineering Workshop for Computer and Telecommunication Systems}, PUBLISHER = {Springer}, TITLE = {A Stochastic Process Algebra Based Modelling Tool}, YEAR = {1995} } @INCOLLECTION{GoHeRe93a, AUTHOR = {G\"otz, N. and Herzog, U. and Rettelbach, M.}, ADDRESS = {Munich}, BOOKTITLE = {Formale Beschreibungstechniken f\"ur Verteilte Systeme}, PUBLISHER = {Sauer publishers}, SERIES = {FOKUS series}, TITLE = {{TIPP} --- Introduction and Application to Protocol Performance Analysis}, YEAR = {1993} } @INPROCEEDINGS{GoHeRe93b, AUTHOR = {G{\"o}tz, N. and Herzog, U. AND Rettelbach, M.}, BOOKTITLE = {Proc. of the 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation, PERFORMANCE '93}, NOTE = {Tutorial; also in \cite{GoHeRe93a}}, NUMBER = {729}, PUBLISHER = {Springer Verlag}, SERIES = {LNCS}, TITLE = {Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras}, YEAR = {1993} } @INPROCEEDINGS{GoHeRe93c, AUTHOR = {G\"otz, N. and Herzog, U. and Rettelbach, M.}, ADDRESS = {University of Edinburgh}, BOOKTITLE = {Proceedings of the Workshop on Process Algebra and Performance Evaluation}, EDITOR = {Hillston, J. and Pooley, R.}, NOTE = {Computer Science Report CSR-26-93}, TITLE = {{TIPP} --- An Overview}, YEAR = {1993} } @INPROCEEDINGS{GoHeRe93d, AUTHOR = {G{\"o}tz, N. and Herzog, U. and Rettelbach, M.}, BOOKTITLE = {Proceeding of the Workshop on Process Algebras and Performance Modelling}, EDITOR = {Hillston, J. AND Moller, F.}, MONTH = may, NUMBER = {CSR-26-93}, ORGANIZATION = {University of Edinburgh}, PUBLISHER = {Department of Computer Science}, SERIES = {Computer Science Report}, TITLE = {{TIPP} - A Stochastic Process Algebra}, YEAR = {1993} } @PROCEEDINGS{GoHeRe93e, EDITOR = {G\"otz, N. and Herzog, U. and Rettelbach, M.}, MONTH = sep, NUMBER = {14}, PUBLISHER = {University of Erlangen}, SERIES = {Arbeitsberichte des IMMD}, TITLE = {Proceedings of the {QMIPS} workshop on Formalisms --- Principles and State-of-the-Art}, VOLUME = {26}, YEAR = {1993}, ISSN_ISBN = {SN 0344-3515} } @PROCEEDINGS{HeRe94a, ADDRESS = {Martensstr.~3, D-91085 Erlangen}, BOOKTITLE = {Proceedings of the 2nd Workshop on Process Algebra and Performance Modelling}, EDITOR = {Herzog, U. and Rettelbach, M.}, MONTH = nov, ORGANIZATION = {University of Erlangen-N{\"u}rnberg}, PUBLISHER = {IMMD}, TITLE = {Proceedings of the 2nd Workshop on Process Algebra and Performance Modelling}, YEAR = {1994} } @INPROCEEDINGS{HeRe94b, AUTHOR = {Hermanns, H. and Rettelbach, M.}, ADDRESS = {University of Erlangen-N{\"u}rnberg, IMMD, Martensstr.~3, D-91085 Erlangen}, BOOKTITLE = {Proceedings of the 2nd Workshop on Process Algebra and Performance Modelling}, EDITOR = {Herzog, U. and Rettelbach, M.}, MONTH = nov, TITLE = {Syntax, Semantics, Equivalences and Axioms for {MTIPP}}, YEAR = {1994} } @INPROCEEDINGS{HeReWe95, AUTHOR = {Hermanns, H. and Rettelbach, M. and Wei\ss, T.}, ADDRESS = {Edinburgh}, BOOKTITLE = {Proceedings of the 3rd Workshop on Process Algebra and Performance Modelling}, EDITOR = {Gilmore, S. AND Hillston, J.}, MONTH = jun, NOTE = {To appear in The Computer Journal}, PUBLISHER = {Springer}, TITLE = {Formal Characterisation of Immediate Actions in an SPA with Non-Deterministic Branching}, YEAR = {1995} } @PHDTHESIS{Herm93, AUTHOR = {Hermanns, H.}, MONTH = nov, NOTE = {Semantik von Proze{\ss}sprachen zur Leistungsbewertung (in german)}, SCHOOL = {University of Erlangen}, TITLE = {Semantics of Process Languages for Performance Evaluation}, TYPE = {Diploma Thesis}, YEAR = {1993} } @INPROCEEDINGS{Herm95a, AUTHOR = {Hermanns, H.}, BOOKTITLE = {Formale Beschreibungstechniken f{\"u}r verteilte Systeme}, EDITOR = {Reinhard Gotzhein and Jan Bredereke}, PUBLISHER = {Universit{\"a}t Kaiserslautern, Fachbereich Informatik}, TITLE = {Leistungsvorhersage von Verhaltensbeschreibungen mittels temporaler Logik}, YEAR = {1995} } @MISC{Herm95b, AUTHOR = {Hermanns, H.}, MONTH = {September}, NOTE = {Extended Abstract, QMIPS Deliverable D3}, TITLE = {Performance Prediction of Behavioural Descriptions with Temporal Logics}, YEAR = {1995} } @INPROCEEDINGS{Herz93a, AUTHOR = {Herzog, U.}, ADDRESS = {Toulouse, France}, BOOKTITLE = pnpm, MONTH = oct, NOTE = {Invited Talk}, PUBLISHER = {IEEE CS-Press}, TITLE = {Constructive Modeling and Design -- {B}asic Research within the European {QMIPS}--Project}, YEAR = {1993} } @INPROCEEDINGS{Herz93b, AUTHOR = {Herzog, U.}, ADDRESS = {University of Vienna, Austria}, BOOKTITLE = {Minisymposium on Performance and Parallel Processing}, MONTH = dec, TITLE = {Constructive Modeling and Design -- Basic Research within the European {QMIPS}--Project}, YEAR = {1993} } @INCOLLECTION{HeU.MeRe95, AUTHOR = {G\"otz, N. and Hermanns, H. and U.~Herzog and Mertsiotakis, V. and Rettelbach, M.}, BOOKTITLE = {Quantitative Models in Parallel Systems}, EDITOR = {Baccelli, F. and Jean-Marie, A. AND Mitrani, I.}, PAGES = {3--17}, PUBLISHER = {Springer, Berlin}, TITLE = {Stochastic Process Algebras; Constructive Specification Techniques - Integrating Functional, Performance and Dependability Aspects}, YEAR = {1995} } @TECHREPORT{HHHMR94, AUTHOR = {Hermanns, H. and Herzog, U. AND Hillston, J. and Mertsiotakis, V. AND Rettelbach, M.}, ADDRESS = {Martensstr. 3, 91058 Erlangen}, INSTITUTION = {Universit{\"a}t Erlangen--N{\"u}rnberg, IMMD VII}, KEY = {TIPP, PEPA}, MONTH = may, NUMBER = {11/94}, TITLE = {{Stochastic Process Algebras: Integrating Qualitative and Quantitative Modelling}}, YEAR = {1994} } @INPROCEEDINGS{HiMe95, AUTHOR = {Hillston, J. and Mertsiotakis, V.}, ADDRESS = {Edinburgh}, BOOKTITLE = {Proceedings of the 3rd Workshop on Process Algebra and Performance Modelling}, EDITOR = {Gilmore, S. AND Hillston, J.}, MONTH = jun, NOTE = {To appear in The Computer Journal}, PUBLISHER = {Springer}, TITLE = {A simple time scale decomposition technique for stochastic process algebras}, YEAR = {1995} } @ARTICLE{HoKo93, AUTHOR = {Hordijk, A. and Koole, G.M.}, JOURNAL = {Adv. Appl. Probab}, PAGES = {979--996}, TITLE = {On the optimality of {LEPT} and $c \mu$ rules for parallel processors and dependent arrival processes}, VOLUME = {25}, YEAR = {1993} } @TECHREPORT{HoKoLo93, AUTHOR = {Hordijk, A. and Koole, G.M. and Loeve, J.A.}, INSTITUTION = {Leiden University}, NUMBER = {TW-93-15}, TITLE = {Analysis of a customer assignment model with no state information}, YEAR = {1993} } @INPROCEEDINGS{HUJMR94, AUTHOR = {Hermanns, H. and U.~Herzog and J.~Hillston and Mertsiotakis, V. and Rettelbach, M.}, ADDRESS = {Bern}, BOOKTITLE = {Proc. of the 7th International Conference on Formal Description Techniques (FORTE '94)}, MONTH = oct, NOTE = {Extended Abstract}, TITLE = {Stochastic Process Algebras: Integrating Qualitative and Quantitative Modelling}, YEAR = {1994} } @MISC{Jean, AUTHOR = {Jean-Marie, A.}, NOTE = {In preparation}, TITLE = {The waiting time distribution in systems with Poisson Inputs and known services} } @INPROCEEDINGS{Jean93, AUTHOR = {Jean-Marie, A.}, ADDRESS = {Paris}, BOOKTITLE = {ORSA/ TIMS Applied Probability Conference}, MONTH = jun, TITLE = {Computing transient and Stationary Measures for Discrete Event Systems}, YEAR = {1993} } @INCOLLECTION{Jean94, AUTHOR = {Jean-Marie, A.}, ADDRESS = {Amsterdam}, BOOKTITLE = {Performance Evaluation of Parallel and Distributed Systems}, EDITOR = {Boxma, O.J. and Koole, G.}, INSTITUTION = {CWI}, NUMBER = {105 and 106}, PAGES = {1--21}, PUBLISHER = {CWI}, SERIES = {CWI Tracts}, TITLE = {`Analytical computation of Lyapunov exponents in stochastic event graphs}, YEAR = {1994} } @ARTICLE{JeOl93, AUTHOR = {Jean-Marie, A. and Olsder, O.J.}, INSTITUTION = {Technological University of Delft}, JOURNAL = {Mathematical and Computer modelling}, NOTE = {Special issue on Discrete Event Systems, to appear}, TITLE = {Analysis of Stochastic Min-Max Systems: Results and Conjectures}, YEAR = {1993} } @TECHREPORT{Kool92, AUTHOR = {Koole, G.M.}, INSTITUTION = {CWI}, NUMBER = {BS-R9235}, TITLE = {On the optimality of {FCFS} for networks of multi-server queues}, YEAR = {1992} } @TECHREPORT{Kool94a, AUTHOR = {Koole, G.}, INSTITUTION = {CWI}, NOTE = {Also in {\em Proc. QMIPS Torino Workshop}, CWI Tracts \#105--106, pp. 139--155, 1994}, NUMBER = {BS-R9404}, TITLE = {On the power series algorithm}, YEAR = {1994} } @TECHREPORT{Kool94b, AUTHOR = {Koole, G.}, INSTITUTION = {CWI}, NUMBER = {BS-R9405}, TITLE = {Assigning a single server to inhomogeneous queues with switching costs}, YEAR = {1994} } @ARTICLE{Kool95, AUTHOR = {Koole, G.}, JOURNAL = {EJOR}, PAGES = {295--301}, TITLE = {Optimal Repairman Assignment in two Maintenance Models which Are Equivalent to Routing with Early Decisions}, YEAR = {1995} } @TECHREPORT{LaChHeGe95, AUTHOR = {Labed, A. and Chabridon, S. and Hern\'andez, M. and Gelenbe, E.}, INSTITUTION = {EHEI, University Paris {V}}, MONTH = oct, TITLE = {A Solver for {G}-networks}, YEAR = {1995}, Qmips-No = {D 7} } @UNPUBLISHED{LiRe93, AUTHOR = {Liu, Z. and Resing, J.}, NOTE = {submitted to {\it Queueing Systems}. INRIA Report RR 2115, 1994}, TITLE = {Duality and Equivalencies in Closed Tandem Queueing Networks}, YEAR = {1993} } @ARTICLE{LiTo94a, AUTHOR = {Liu, Z. and Towsley, D.}, JOURNAL = {Journal Applied Probabilities}, MONTH = jun, PAGES = {466--475}, TITLE = {Optimality of the Round Robin Routing Policy}, VOLUME = {31}, YEAR = {1994} } @ARTICLE{LiTo94b, AUTHOR = {Liu, Z. and Towsley, D.}, JOURNAL = {The Annals of OR}, PAGES = {401--420}, TITLE = {The effect of service discipline in {$G/GI/s$} queueing systems}, VOLUME = {48}, YEAR = {1994} } @TECHREPORT{Mair93, AUTHOR = {Mairesse, J.}, INSTITUTION = {INRIA}, NOTE = {To appear in {\em JAP}, 1995}, NUMBER = {1939}, TITLE = {Products of Irreducible Random Matrices in the (Max,+) Algebra - {P}art {I}}, YEAR = {1993} } @ARTICLE{Mair95a, AUTHOR = {Mairesse, J.}, JOURNAL = {IEEE Trans. Automatic Control}, MONTH = sep, NOTE = {INRIA Report RR 2078, 1993}, TITLE = {A Graphical Representation for Matrices in the (Max,+) Algebra}, YEAR = {1995} } @PHDTHESIS{Mair95b, AUTHOR = {Mairesse, J.}, MONTH = jun, SCHOOL = {\'Ecole polytechnique, Palaiseau}, TITLE = {Stabilit\'e des syst\`emes \`a \'ev\'enements discrets stochastiques}, YEAR = {1995} } @TECHREPORT{MeSi95, AUTHOR = {Mertsiotakis, V. and Silva, M.}, INSTITUTION = {IMMD VII, Universit\"at Erlangen}, NUMBER = {15/95}, TITLE = {Response Time Approximation for Decision-Free {TIPP} Specifications}, YEAR = {1995} } @ARTICLE{MiCh95, AUTHOR = {Mitrani, I. and Chakka, R.}, JOURNAL = {Performance Evaluation}, NUMBER = {3}, TITLE = {Spectral expansion solution for a class of {M}arkov models: application and comparison with the matrix-geometric method}, VOLUME = {23}, YEAR = {1995} } @INCOLLECTION{MiOsRe95, AUTHOR = {Mitrani, I. and Ost, A. and Rettelbach, M.}, BOOKTITLE = {Quantitative Models in Parallel Systems}, EDITOR = {Baccelli F. and Jean-Marie, A. AND Mitrani, I.}, PAGES = {99--113}, PUBLISHER = {Springer, Berlin}, TITLE = {{TIPP} and the Spectral Expansion Method}, YEAR = {1995} } @ARTICLE{MiPu93a, AUTHOR = {Mitrani, I. and Puhalskii, A.}, JOURNAL = {Queueing Systems}, PAGES = {293--311}, TITLE = {Limiting Results for Multiprocessor Systems with Breakdowns and Repairs}, VOLUME = {14}, YEAR = {1993} } @INPROCEEDINGS{MiPu93b, AUTHOR = {Mitrani, I. and Puhalskii, A.}, ADDRESS = {Mont St Michel}, BOOKTITLE = {2nd Intl. Workshop on Performability Modeling of Computer and Communication Systems}, TITLE = {Queues with Breakdowns}, YEAR = {1993} } @ARTICLE{MiR.93, AUTHOR = {Mitrani, I. and Chakka, R..}, JOURNAL = {Theoretical Computer Science}, NOTE = {To appear}, TITLE = {Heterogeneous Multiprocessor Systems with Breakdowns: Performance and Optimal Repair Strategies}, YEAR = {1993} } @ARTICLE{Mitr95, AUTHOR = {Mitrani, I.}, EDITOR = {J.H.Dshalalow}, JOURNAL = {Advances in Queueing}, PUBLISHER = {CRC Press}, TITLE = {The spectral expansion solution method for Markov processes on lattice strips}, YEAR = {1995} } @ARTICLE{MiWr94a, AUTHOR = {Mitrani, I. and Wright, P.E.}, JOURNAL = {Performance Evaluation}, PAGES = {151--164}, TITLE = {Routing in the Presence of Breakdowns}, VOLUME = {20}, YEAR = {1994} } @INCOLLECTION{MiWr94b, AUTHOR = {Mitrani, I. and Wright, P.E.}, BOOKTITLE = {Probability, Statistics and Optimization}, CHAPTER = {9}, EDITOR = {Kelly, F.P.}, PUBLISHER = {Wiley}, TITLE = {On the Interaction of Unreliable Routes}, YEAR = {1994} } @UNPUBLISHED{MiWr94c, AUTHOR = {Mitrani, I. and Wright, P.E.}, NOTE = {QMIPS Workshop.}, TITLE = {Dispatching policy in a transportation network}, YEAR = {1994} } @MASTERSTHESIS{Ost95, AUTHOR = { Ost, A. }, MONTH = may, NOTE = {In German}, SCHOOL = {Universit\"at Erlangen-N\"urnberg, IMMD VII}, TITLE = {{TIPP} and the Spectral Expansion Method}, YEAR = {1995}, } @INPROCEEDINGS{Pide94, AUTHOR = {Pinto, de C., A. AND Harrison, P.G.}, ADDRESS = {Kyoto}, BOOKTITLE = {Proc. Intl. Conf. on Local and Metropolitan Communication Systems}, MONTH = dec, TITLE = {An approximation for end-to-end delay distributions in buffered multistage interconnection networks}, YEAR = {1994} } @INPROCEEDINGS{PideKo95, AUTHOR = {Pinto, de C., A. AND Harrison, P.G. and Kouvatsos, D.D.}, ADDRESS = {Ilkley}, BOOKTITLE = {Proc. 3rd International Workshop on Performance Modelling and Evaluation of ATM Networks}, MONTH = jul, TITLE = {Finite buffered Banyan networks with large crossbars}, YEAR = {1995} } @MASTERSTHESIS{Reca95, AUTHOR = {Recalde, L.}, MONTH = sep, SCHOOL = {University of Zaragoza, Spain}, TITLE = {A modular and recursively defined class of models of concurrent systems: {$\{SC\}^ ECS$}}, YEAR = {1995} } @INPROCEEDINGS{ReSi94, AUTHOR = {Rettelbach, M. and Siegle, M.}, BOOKTITLE = {Proc. 2nd Workshop on Process Algebra and Performance Modelling}, EDITOR = {Herzog, U. and Rettelbach, M.}, MONTH = nov, ORGANIZATION = {University of Erlangen-N{\"u}rnberg}, PUBLISHER = {IMMD}, TITLE = {Compositional Minimal Semantics for the Stochastic Process Algebra {TIPP}}, YEAR = {1994} } @INPROCEEDINGS{ReTeSi95, AUTHOR = {Recalde, L. and Teruel, E. and Silva, M.}, BOOKTITLE = {Proc. STRICT '95}, EDITOR = {J.~Desel}, NOTE = {To appear}, PUBLISHER = {Springer Verlag}, TITLE = {On well-formedness analysis: The case of deterministic systems of sequential processes}, YEAR = {1995} } @INPROCEEDINGS{Rett95a, AUTHOR = {Rettelbach, M.}, ADDRESS = {Edinburgh}, BOOKTITLE = {Proceedings of the 3rd Workshop on Process Algebra and Performance Modelling}, EDITOR = {Gilmore, S. AND Hillston, J.}, MONTH = jun, NOTE = {To appear in The Computer Journal}, PUBLISHER = {Springer}, TITLE = {Probabilistic Branching in Markovian Process Algebras}, YEAR = {1995} } @PHDTHESIS{Rett95b, AUTHOR = {Rettelbach, M.}, NOTE = {In German}, SCHOOL = {Uiversity Erlangen-N{\"u}rnberg}, TITLE = {Immediate and Probabilistic Activities in Stochastic Process Algebras}, YEAR = {1995} } @INPROCEEDINGS{Riba95a, AUTHOR = {Ribaudo, M.}, ADDRESS = {Edinburgh}, BOOKTITLE = {Proceedings of the 3rd Workshop on Process Algebra and Performance Modelling}, EDITOR = {S.~Gilmore and J.~Hillston}, MONTH = jun, NOTE = {The Computer Journal, Vol. 36 (6)}, PUBLISHER = {Springer}, TITLE = {On the Aggregation Techniques in Stochastic {Petri} Nets and Stochastic Process Algebras}, YEAR = {1995} } @INPROCEEDINGS{Riba95b, AUTHOR = {Ribaudo, M.}, ADDRESS = {Durham, NC}, BOOKTITLE = {Proc. 6th International Workshop on {Petri} Nets and Performance Models}, TITLE = {Stochastic {Petri} Net Semantics for Stochastic Process Algebras}, YEAR = {1995} } @INPROCEEDINGS{Sanc93, AUTHOR = {S\'{a}nchez, B.}, ADDRESS = {Toulouse, France}, BOOKTITLE = pnpm, MONTH = oct, PAGES = {20-22}, TITLE = {Throughput of Transitions and Free Choice Decomposition into {T}-Components}, YEAR = {1993} } @INPROCEEDINGS{SeBa93a, AUTHOR = {Sereno, M. and Balbo, G.}, ADDRESS = {Toulouse, France}, BOOKTITLE = pnpm, MONTH = oct, TITLE = {Computational Algorithms for Product Form Solution Stochastic {Petri} Nets}, YEAR = {1993} } @TECHREPORT{SeBa93b, AUTHOR = {Sereno, M. and Balbo, G.}, INSTITUTION = {University of Torino}, MONTH = sep, TITLE = {Mean Value Analysis of Stochastic {Petri} Nets}, YEAR = {1993} } @INPROCEEDINGS{SeBaBr94, AUTHOR = {Sereno, M. and Balbo, G. and Bruell, S.}, ADDRESS = {Nashville, Tennessee}, BOOKTITLE = {1994 ACM SIGMETRICS Conference}, MONTH = may, TITLE = {Arrival Theorems for Product-Form Stochastic {Petri} Nets}, YEAR = {1994} } @INPROCEEDINGS{Sere95a, AUTHOR = {Sereno, M.}, ADDRESS = {Edinburgh}, BOOKTITLE = {Proceedings of the 3rd Workshop on Process Algebra and Performance Modelling}, EDITOR = {S.~Gilmore and J.~Hillston}, MONTH = jun, NOTE = {The Computer Journal, Vol. 36 (6)}, PUBLISHER = {Springer}, TITLE = {Towards a Product Form Solution for Stochastic Process Algebras}, YEAR = {1995} } @INPROCEEDINGS{Sere95b, AUTHOR = {Sereno, M.}, ADDRESS = {Durham, NC}, BOOKTITLE = {Proc. 6th International Workshop on {Petri} Nets and Performance Models}, TITLE = {Approximate Mean Value Analysis Technique for non-Product Form Solution Stochastic {Petri} Nets: an Application to Stochastic Marked Graphs}, YEAR = {1995} } @INPROCEEDINGS{SiCa93, AUTHOR = {Silva, M. and Campos, J.}, ADDRESS = {Brussels, Belgium}, BOOKTITLE = {Proceedings of the IMACS/IFAC Second International Symposium on Mathematical and Intelligent Models in System Simulation}, MONTH = apr, NOTE = {Invited paper.}, PAGES = {xiv-xxi}, TITLE = {Performance Models Based on {Petri} Nets}, YEAR = {1993} } @PHDTHESIS{Sieg95, AUTHOR = {Siegle, M.}, NOTE = {In German}, SCHOOL = {Universit{\"a}t Erlangen-N{\"u}rnberg}, TITLE = {Description and Analysis of Markov Models with Large State Space}, YEAR = {1995} } @INPROCEEDINGS{SiJ.95, AUTHOR = {Silva, M. and J.~Campos}, ADDRESS = {Erlangen, Germany}, BOOKTITLE = {Proceedings of the IEEE International Computer Performance and Dependability Symposium}, MONTH = apr, NOTE = {Invited paper}, PAGES = {61--70}, PUBLISHER = {IEEE-Computer Society Press}, TITLE = {Structural performance analysis of stochastic {Petri} nets}, YEAR = {1995} } @UNPUBLISHED{Silv93a, AUTHOR = {S\'{a}nchez, B. and Silva, M.}, MONTH = sep, NOTE = {Draft report}, TITLE = {Monotonicity Results for Stochastic Weighted {T}-Systems}, YEAR = {1993} } @INPROCEEDINGS{Silv93b, AUTHOR = {Silva, M.}, ADDRESS = {Chicago, Illinois}, BOOKTITLE = {$14^{th}$ International Conference on Application and Theory of {Petri} Nets}, EDITOR = {Ajmone Marsan, M.}, MONTH = jun, NUMBER = {691}, PUBLISHER = {Springer Verlag}, SERIES = {LNCS}, TITLE = {Interleaving Functional and Performance Structural Analysis of Net Models}, YEAR = {1993} } @INCOLLECTION{SiTe94, AUTHOR = {Silva, M. and Teruel, E.}, ADDRESS = {London}, BOOKTITLE = {$11^{th}$ International Conference on Analysis and Optimization of Systems: Discrete Event Systems}, EDITOR = {Cohen, G. AND Quadrat, J.P.}, PAGES = {131-143169-175}, PUBLISHER = {Springer-Verlag}, SERIES = {Lecture Notes in Control and Information Sciences}, TITLE = {Analysis of Autonomous {P}etri Nets with Bulk services and Arrivals}, VOLUME = {199}, YEAR = {1994} } @INCOLLECTION{StGaHa94, AUTHOR = {Strulo, B. and Gabbay, D.M. and Harrison, P.}, BOOKTITLE = {Time and Logic}, EDITOR = {Bolk, L. AND Szalas, A.}, PUBLISHER = {UCL Press}, SERIES = {Artificial Intelligence Series}, TITLE = {Temporal logic in a stochastic environment}, YEAR = {1994} } @PHDTHESIS{Stru93, AUTHOR = {Strulo, D.}, SCHOOL = {Imperial College, Univ. London}, TITLE = {Process Algebra for Discrete Event Simulation}, YEAR = {1993} } @TECHREPORT{Stud95, AUTHOR = {Studt, R.}, INSTITUTION = {University of Erlangen-N{\"u}rnberg}, NOTE = {In German}, TITLE = {Syntactical and Semantical Analysis of {TIPP} processes}, YEAR = {1995} } @INPROCEEDINGS{TeCoSi93, AUTHOR = {Teruel, E. and Colom, J.M. and Silva, M.}, BOOKTITLE = {Proc. 2nd European Control Conference}, PAGES = {513--518}, PUBLISHER = {North-Holland}, TITLE = {Linear analysis of deadlock-freeness of {P}etri net models}, YEAR = {1993} } @TECHREPORT{TeCoSi95, AUTHOR = {Teruel, E. and Colom, J.M. and Silva, M.}, INSTITUTION = {DISI, Centro Polit{\'e}nico Superior, Universidad de Zaragoza}, MONTH = may, NUMBER = {RR-95-04}, TITLE = {Deterministic concurrent systems with bulk services and arrivals}, TYPE = {Research Report}, YEAR = {1995} } @INCOLLECTION{TeSi93, AUTHOR = {Teruel, E. and Silva, M.}, BOOKTITLE = {Application and Theory of {Petri} Nets 1993}, EDITOR = {Ajmone Marsan}, PAGES = {415--432}, PUBLISHER = {Springer-Verlag}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Liveness and home state in {E}qual {C}onflict Systems}, VOLUME = {691}, YEAR = {1993} } @INCOLLECTION{TeSi94, AUTHOR = {Teruel, E. and Silva, M.}, ADDRESS = {Berlin}, BOOKTITLE = {Application and Theory of {Petri} Nets 1994}, EDITOR = {Valette, R.}, PAGES = {491-510}, PUBLISHER = {Springer-Verlag}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Well-formedness of {E}qual {C}onflict Systems}, VOLUME = {815}, YEAR = {1994} } @ARTICLE{TeSi95, AUTHOR = {Teruel, E. and Silva, M.}, JOURNAL = {Theoretical Computer Science (to appear)}, NOTE = {Research Report GISI-RR-93-22, Departamento de Ingenier{\'\i}a El{\'e}ctrica e Inform{\'a}tica, Universidad de Zaragoza, Spain, November 1993.}, TITLE = {Structure theory of {E}qual {C}onflict systems}, YEAR = {1995} } @INCOLLECTION{TeSiCoCa94, AUTHOR = {Teruel, E. and Silva, M. and Colom, J.M. and Campos, J.}, ADDRESS = {London}, BOOKTITLE = {$11^{th}$ International Conference on Analysis and Optimization of Systems: Discrete Event Systems}, EDITOR = {Cohen, G. AND Quadrat, J.P.}, PAGES = {169-175}, PUBLISHER = {Springer-Verlag}, SERIES = {Lecture Notes in Control and Information Sciences}, TITLE = {Functional and Performance Analysis of Cooperating Sequential Processes}, VOLUME = {199}, YEAR = {1994} } @INPROCEEDINGS{ThMi95, AUTHOR = {Thomas, N. AND Mitrani, I.}, ADDRESS = {Erlangen}, BOOKTITLE = {Procs. IPDS'95}, NOTE = {Also in {\em Quantitative Models in Parallel Systems}}, TITLE = {Routing among different nodes where servers break down without losing jobs}, YEAR = {1995} } @INPROCEEDINGS{TiSi94, AUTHOR = {Tilgner, M. and Silva, M.}, ADDRESS = {San Diego, California}, BOOKTITLE = {1994 IEEE International Conference on Robotics and Automation}, MONTH = may, TITLE = {Approximate Performance Analysis on {Petri} Net Based Models of Manufacturing Systems}, YEAR = {1994} } @INCOLLECTION{UTZA93, AUTHOR = {QMIPS groups in UTO and ZAR}, ADDRESS = {Erlangen, Germany}, BOOKTITLE = {Workshop on Formalisms, Principles and State-of-the-Art}, NUMBER = {14}, PAGES = {3-60}, PUBLISHER = {Arbeitsberichte des Instituts f{\"u}r Mathematische Maschinen und Datenverarbeitung (Informatik)}, SERIES = {Band 26}, TITLE = {The Timed (Coloured) {Petri} Net Formalism: Position Paper}, YEAR = {1993} } @TECHREPORT{Weis95, AUTHOR = {Wei\ss{}, T.}, INSTITUTION = {University of Erlangen-N{\"u}rnberg}, NOTE = {In German}, TITLE = {Congruence Investigations for the Integration of Immediate Actions into Stochastic Process Algebras}, YEAR = {1995} }