{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,28]],"date-time":"2024-12-28T21:10:17Z","timestamp":1735420217769,"version":"3.32.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1990,9,1]],"date-time":"1990-09-01T00:00:00Z","timestamp":652147200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Queueing Syst"],"published-print":{"date-parts":[[1990,9]]},"DOI":"10.1007\/bf01154551","type":"journal-article","created":{"date-parts":[[2005,3,25]],"date-time":"2005-03-25T07:54:55Z","timestamp":1111737295000},"page":"355-373","source":"Crossref","is-referenced-by-count":3,"title":["Service stage Petri net models with product form solution"],"prefix":"10.1007","volume":"7","author":[{"given":"Irving Y.","family":"Wang","sequence":"first","affiliation":[]},{"given":"Thomas G.","family":"Robertazzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"88","volume-title":"Int. Workshop on Timed Petri Nets","author":"H.H. Ammar","year":"1985","unstructured":"H.H. Ammar and R.W. Liu, Analysis of the generalized stochastic Petri nets by state aggregation,Int. Workshop on Timed Petri Nets, Torino, Italy, 1985 (IEEE Comp. Soc. Press, 1986) pp. 88?95."},{"issue":"2","key":"CR2","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Baskett","year":"1975","unstructured":"F. Baskett, K.M. Chandy, R.R. Muntz and F. Palacios, Open, closed and mixed networks of queues with different classes of customers, J. ACM 22 (2) (1975) 248?260.","journal-title":"J. ACM"},{"volume-title":"Net theory and applications,Proc. Advanced Course on General Net Theory of Processes and Systems","year":"1979","key":"CR3","unstructured":"W. Brauer (ed.), Net theory and applications,Proc. Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979 (Springer, 1980)."},{"key":"CR4","first-page":"250","volume-title":"Int. Workshop on Timed Petri Nets","author":"S.C. Bruell","year":"1985","unstructured":"S.C. Bruell and S. Ghanta, Throughput bounds for generalized stochastic Petri net models,Int. Workshop on Timed Petri Nets Torino, Italy, 1985 (IEEE Comp. Soc. Press, 1986) pp. 250?261."},{"key":"CR5","unstructured":"Y.C. Cheng and T.G. Robertazzi, The lattice geometry of Petri network models of multihop radio networks,Proc. 22nd Annual Conf. on Information Sciences and Systems, Princeton, NJ (March 1988) pp. 251?256."},{"volume-title":"Record of the Project MAC Conf. on Concurrent Systems and Parallel Computation","year":"1970","key":"CR6","unstructured":"J. Dennis (ed.),Record of the Project MAC Conf. on Concurrent Systems and Parallel Computation, ACM, New York (June 1970)."},{"key":"CR7","first-page":"43","volume-title":"Programming Languages","author":"E.W. Dijkstra","year":"1968","unstructured":"E.W. Dijkstra, Cooperating sequential processes,Programming Languages, F. Genvys (ed.) (Academic Press, New York, 1968) pp. 43?112."},{"key":"CR8","first-page":"6","volume-title":"Int. Workshop on Timed Petri Nets","author":"J.B. Dugan","year":"1985","unstructured":"J.B. Dugan, G. Ciardo, A. Bobbio and K. Trivedi, The design of a unified package for the solution of stochastic Petri net models,Int. Workshop on Timed Petri Nets, Torino, Italy, 1985 (IEEE Computer Society Press, 1986) pp. 6?13."},{"key":"CR9","volume-title":"Coordinated Computing, Tools and Techniques for Distributed Software","author":"R.E. Filman","year":"1984","unstructured":"R.E. Filman and D.P. Friedman,Coordinated Computing, Tools and Techniques for Distributed Software (McGraw-Hill, New York, 1984)."},{"key":"CR10","unstructured":"G. Florin and S. Natkin, Evaluation des performances d'un protocole de communication a l'aide des r\u00e9seaux de Petri et des processus stochastiques, J. AFCET Multiprocesseurs et Multiordinateurs en Temps R\u00e9el (1978) E0-E26."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1287\/opre.15.2.254","volume":"15","author":"W.J. Gordon","year":"1967","unstructured":"W.J. Gordon and G.F. Newell, Closed queueing systems with exponential servers, Oper. Res. 15 (1967) 254?265.","journal-title":"Oper. Res."},{"key":"CR12","first-page":"296","volume-title":"Int. Workshop on Timed Petri Nets","author":"E. Gressier","year":"1985","unstructured":"E. Gressier, A stochastic Petri net model for Ethernet,Int. Workshop on Timed Petri Nets, Torino, Italy, 1985 (IEEE Comp. Soc. Press, 1986) pp. 296?306."},{"key":"CR13","first-page":"14","volume-title":"Int. Workshop on Timed Petri Nets","author":"P.J. Haas","year":"1985","unstructured":"P.J. Haas and G.S. Shedler, Regenerative simulation of stochastic Petri nets, ibid., Torino, Italy, 1985 (IEEE Comp. Soc. Press, 1986), pp. 14?21."},{"key":"CR14","unstructured":"W. Henderson and D. Lucie, Applications of generalised Markov processes to stochastic Petri nets,Performance of Distributed and Parallel Systems, T. Hasegawa, H. Takagi and Y. Takahashi (eds.) (North-Holland, 1989)."},{"key":"CR15","volume-title":"Technical Report RADC-TR-68-305","author":"A. Holt","year":"1968","unstructured":"A. Holt, H. Saint, R. Shapiro and S. Warshall, Final report of the information system theory project, Technical Report RADC-TR-68-305. Rome Air Development Center, Griffiss Air Force Base, New York (1968) 352 pp."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"J.R. Jackson, Networks of waiting lines, Oper. Res. 5 (1957).","DOI":"10.1287\/opre.5.4.518"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"554","DOI":"10.1109\/TCOM.1986.1096579","volume":"COM-34","author":"P.S. Kritzinger","year":"1986","unstructured":"P.S. Kritzinger, A performance model of the OSI communication architecture, IEEE Trans. Commun. COM-34 (1986) 554?563.","journal-title":"IEEE Trans. Commun."},{"key":"CR18","unstructured":"A.A. Lazar and T.G. Robertazzi, The geometry of lattices for Markovian queueing networks, Research Report, Center for Telecommunications Research, Columbia University (1984). Available from T. Robertazzi upon request."},{"key":"CR19","first-page":"164","volume-title":"Proc. 18th Conf. on Information Sciences and Systems","author":"A.A. Lazar","year":"1984","unstructured":"A.A. Lazar and T.G. Robertazzi, The geometry of lattices for multiclass Markovian queueing networks,Proc. 18th Conf. on Information Sciences and Systems, Princeton University, Princeton, NJ (1984) pp. 164?168."},{"key":"CR20","first-page":"437","volume-title":"Proc. 18th Conf. on Information Sciences and Systems","author":"A.A. Lazar","year":"1984","unstructured":"A.A. Lazar, An algebraic topological approach to Markovian queueing networks, ibid., pp. 437?442."},{"key":"CR21","unstructured":"A.A. Lazar and T.G. Robertazzi, Markovian Petri net protocol models with product form solution,Proc. IEEE INFOCOM '87, San Francisco, CA (1987) pp. 1054?1062."},{"key":"CR22","unstructured":"A.A. Lazar and T.G. Robertazzi, The algebraic and geometric structure of Markovian Petri network lattices,Proc. 24th Annual Allerton Conf. on Communications, Control and Computing, Urbana-Champaigne, Illinois (Oct. 1986) pp. 834?843."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/TC.1983.1676124","volume":"C-32","author":"M. Marsan","year":"1983","unstructured":"M. Marsan, G. Balbo, G. Conte and F. Gregoretti, Modelling bus contention and memory interference in a multiprocessor system, IEEE Trans. Computers C-32 (1983) 60?72.","journal-title":"IEEE Trans. Computers"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"M. Marsan, G. Balbo and G. Conte, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Trans. Computer Systems (May 1984).","DOI":"10.1145\/800040.801407"},{"key":"CR25","volume-title":"Performance Models of Multiprocessor Systems","author":"M. Marsan","year":"1986","unstructured":"M. Marsan, G. Balbo and G. Conte,Performance Models of Multiprocessor Systems (The MIT Press, Cambridge, MA, 1986)."},{"key":"CR26","first-page":"80","volume-title":"Int. Workshop on Timed Petri Nets","author":"M. Marsan","year":"1985","unstructured":"M. Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte and A. Cumani, On Petri nets with stochastic timing,Int. Workshop on Timed Petri Nets, Torino, Italy, 1985 (IEEE Comp. Soc. Press, 1986) pp. 80?87."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"C-31","author":"M.K. Molloy","year":"1982","unstructured":"M.K. Molloy, Performance analysis using stochastic Petri nets, IEEE Trans. Computers C-31 (1982) 913?917.","journal-title":"IEEE Trans. Computers"},{"key":"CR28","first-page":"244","volume-title":"Int. Workshop on Timed Petri Nets","author":"M.K. Molloy","year":"1985","unstructured":"M.K. Molloy, Fast bounds for stochastic Petri nets,Int. Workshop on Timed Petri Nets, Torino, Italy, 1985 (IEEE Comp. Soc. Press, 1986) pp. 244?249."},{"key":"CR29","unstructured":"J.L. Peterson,Petri Net Theory and the Modeling of Systems (Prentice Hall, 1981)."},{"key":"CR30","volume-title":"Ph.D. Thesis","author":"C.A. Petri","year":"1962","unstructured":"C.A. Petri, Kommunikation mit Automaten, Ph.D. Thesis, Univ. of Bonn, FRG (1962)."},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"S.D. Shapiro, A stochastic Petri net with applications to modeling occupancy times for concurrent task systems, Networks (1979) 375?379.","DOI":"10.1002\/net.3230090407"},{"key":"CR32","unstructured":"I.Y. Wang and T.G. Robertazzi, The probability flux circulation of certain communication and computation state models,Proc. 1986 Information Sciences and Systems Conf., Princeton, NJ (March 1986)."},{"key":"CR33","first-page":"96","volume-title":"Int. Workshop on Timed Petri Nets","author":"C.Y. Wong","year":"1985","unstructured":"C.Y. Wong, T.S. Dillon and K.E. Forward, Timed places Petri nets with stochastic representation of place time,Int. Workshop on Timed Petri Nets, Torino, Italy, 1985 (IEEE Comp. Soc. Press, 1986) pp. 96?103."},{"key":"CR34","first-page":"262","volume-title":"Int. Workshop on Timed Petri Nets","author":"A. Zenie","year":"1985","unstructured":"A. Zenie, Colored stochastic Petri nets, ibid., Torino, Italy, 1985 (IEEE Comp. Soc. Press, 1986), pp. 262?271."},{"key":"CR35","unstructured":"Int. Workshop on Timed Petri Nets, Torino, Italy, July 1985 (IEEE Computer Society Press, 1986)."},{"key":"CR36","unstructured":"1987 Int. Workshop on Petri Nets and Performance Analysis, Madison, Wisconsin (IEEE Computer Society Press, 1987)."},{"key":"CR37","unstructured":"3rd Int. Workshop on Petri Nets and Performance Models, Kyoto, Japan (IEEE Computer Society Press, December 1989)."},{"key":"CR38","doi-asserted-by":"crossref","unstructured":"G. Ciardo, J. Muppala and K. Trivedi, SPNP: stochastic Petri net package, in ref. [37], pp. 142?151.","DOI":"10.1109\/PNPM.1989.68548"}],"container-title":["Queueing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01154551.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01154551\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01154551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,28]],"date-time":"2024-12-28T20:42:40Z","timestamp":1735418560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01154551"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,9]]},"references-count":38,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1990,9]]}},"alternative-id":["BF01154551"],"URL":"https:\/\/doi.org\/10.1007\/bf01154551","relation":{},"ISSN":["0257-0130","1572-9443"],"issn-type":[{"type":"print","value":"0257-0130"},{"type":"electronic","value":"1572-9443"}],"subject":[],"published":{"date-parts":[[1990,9]]}}}