{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T18:53:40Z","timestamp":1672340020143},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,8,13]],"date-time":"2009-08-13T00:00:00Z","timestamp":1250121600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1007\/s10626-009-0079-2","type":"journal-article","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T08:05:49Z","timestamp":1250064349000},"page":"377-407","source":"Crossref","is-referenced-by-count":1,"title":["On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics"],"prefix":"10.1007","volume":"20","author":[{"given":"Jorge","family":"J\u00falvez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordi","family":"Cortadella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kishinevsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,8,13]]},"reference":[{"key":"79_CR1","doi-asserted-by":"crossref","first-page":"1929","DOI":"10.1109\/ISCAS.1989.100747","volume":"3","author":"F Brglez","year":"1989","unstructured":"Brglez F, Bryan D, Kozminski K (1989) Combinational profiles of sequential benchmark circuits. IEEE Int Symp Circuits Syst 3:1929\u20131934","journal-title":"IEEE Int Symp Circuits Syst"},{"issue":"3","key":"79_CR2","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1287\/opre.47.3.379","volume":"47","author":"D Bertsimas","year":"1999","unstructured":"Bertsimas D, Chryssikou T (1999) Bounds and policies for dynamic routing in loss networks. Oper Res 47(3):379\u2013394","journal-title":"Oper Res"},{"key":"79_CR3","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/978-3-642-79917-4_11","volume-title":"Quantitative methods in parallel systems","author":"G Chiola","year":"1995","unstructured":"Chiola G, Anglano C, Campos J, Colom JM, Silva M (1995) Operational analysis of timed Petri nets and application to the computation of performance bounds. In: Baccelli F, Jean-Marie A, Mitrani I (eds) Quantitative methods in parallel systems. Springer, New York, pp 161\u2013174 (Also appears in Procs. PNPM93)"},{"key":"79_CR4","first-page":"352","volume-title":"Advances in Petri nets. Lecture notes in computer science, vol 609","author":"J Campos","year":"1992","unstructured":"Campos J, Silva M (1992) Structural techniques and performance bounds of stochastic Petri net models. In: Rozenberg G (ed) Advances in Petri nets. Lecture notes in computer science, vol 609. Springer, New York, pp 352\u2013391"},{"issue":"10","key":"79_CR5","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1109\/43.728912","volume":"17","author":"A Dasdan","year":"1998","unstructured":"Dasdan A, Gupta RK (1998) Faster maximum and minimum mean cycle algorithms for system performance analysis. IEEE Tran Comput-Aided Des 17(10):889\u2013899","journal-title":"IEEE Tran Comput-Aided Des"},{"issue":"4","key":"79_CR6","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1109\/9.665073","volume":"43","author":"I Demongodin","year":"1998","unstructured":"Demongodin I, Koussoulas NT (1998) Differential Petri nets: representing continuous systems in a discrete-event world. IEEE Trans Automat Contr 43(4):573\u2013579","journal-title":"IEEE Trans Automat Contr"},{"key":"79_CR7","doi-asserted-by":"crossref","unstructured":"J\u00falvez J, Cortadella J, Kishinevsky M (2006) Performance analysis of concurrent systems with early evaluation. In: Proc. international conf. computer-aided design (ICCAD)","DOI":"10.1109\/ICCAD.2006.320155"},{"key":"79_CR8","doi-asserted-by":"crossref","unstructured":"Julvez J (2009) Basic qualitative properties of Petri nets with multi-guarded transitions. In: American control conference, 2009. ACC \u201909., pp 5026\u20135031","DOI":"10.1109\/ACC.2009.5159892"},{"key":"79_CR9","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0012-365X(78)90011-0","volume":"23","author":"R Karp","year":"1978","unstructured":"Karp R (1978) A characterization of the minimum cycle mean in a digraph. Discrete Math 23:309\u2013311","journal-title":"Discrete Math"},{"issue":"8","key":"79_CR10","doi-asserted-by":"crossref","first-page":"1600","DOI":"10.1109\/9.310033","volume":"39","author":"S Kumar","year":"1994","unstructured":"Kumar S, Kumar PR (1994) Performance bounds for queueing networks and scheduling policies. IEEE Trans Automat Contr 39(8):1600\u20131611","journal-title":"IEEE Trans Automat Contr"},{"key":"79_CR11","volume-title":"Modeling and analysis. An introduction to system performance evaluation methodology","author":"H Kobayashi","year":"1978","unstructured":"Kobayashi H (1978) Modeling and analysis. An introduction to system performance evaluation methodology. Addison Wesley, Reading"},{"key":"79_CR12","volume-title":"Simulation modeling and analysis","author":"AM Law","year":"2007","unstructured":"Law AM (2007) Simulation modeling and analysis. McGraw-Hill, New York"},{"key":"79_CR13","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1287\/opre.9.3.383","volume":"9","author":"JDC Little","year":"1961","unstructured":"Little JDC (1961) A proof of the queueing formula L\u2009=\u2009\u03bbW. Oper Res 9:383\u2013387","journal-title":"Oper Res"},{"key":"79_CR14","doi-asserted-by":"crossref","first-page":"1014","DOI":"10.1109\/32.730548","volume":"24","author":"Z Liu","year":"1998","unstructured":"Liu Z (1998) Performance analysis of stochastic timed Petri nets using linear programming approach. IEEE Trans Softw Eng 24:1014\u20131030","journal-title":"IEEE Trans Softw Eng"},{"issue":"4","key":"79_CR15","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1109\/TASE.2005.851236","volume":"2","author":"TE Lee","year":"2005","unstructured":"Lee TE, Park SH (2005) An extended event graph with negative places and tokens for time window constraints. IEEE Trans Autom Sci Eng 2(4):319\u2013332","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"79_CR16","volume-title":"Linear programming","author":"KG Murty","year":"1983","unstructured":"Murty KG (1983) Linear programming. Wiley, New York"},{"issue":"4","key":"79_CR17","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989 Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"79_CR18","unstructured":"Murata T, Yamaguchi H (1990) A Petri net with negative tokens and its application automated reasoning. In: Proceedings of the 33rd Midwest Symposium on Circuits and Systems, vol\u00a02, pp 762\u2013765"},{"key":"79_CR19","doi-asserted-by":"crossref","unstructured":"Odrey NG, Mejia G (2005) An augmented Petri net approach for error recovery in manufacturing systems control. In: Robotics and Computer-Integrated Manufacturing. 14th International Conference on Flexible Automation and Intelligent Manufacturing, vol\u00a021, pp 346\u2013354","DOI":"10.1016\/j.rcim.2004.11.004"},{"key":"79_CR20","unstructured":"Ramchandani C (1974) Analysis of asynchronous concurrent systems by timed Petri nets. Technical Report Project MAC Tech. Rep. 120, Massachusetts Inst. of Tech."},{"issue":"5","key":"79_CR21","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1980.230492","volume":"6","author":"CV Ramamoorthy","year":"1980","unstructured":"Ramamoorthy CV, Ho GS (1980) Performance evaluation of asynchronous concurrent systems using Petri nets. IEEE Trans Softw Eng 6(5):440\u2013449","journal-title":"IEEE Trans Softw Eng"},{"key":"79_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-011-6955-4_1","volume-title":"Practice of Petri Nets in Manufacturing","author":"M Silva","year":"1993","unstructured":"Silva M (1993) Introducing Petri nets. In: Practice of Petri Nets in Manufacturing. Chapman & Hall, London, pp 1\u201362"},{"key":"79_CR23","volume-title":"Stochastic modeling and the theory of queues","author":"RW Wolff","year":"1989","unstructured":"Wolff RW (1989) Stochastic modeling and the theory of queues. Prentice Hall, Englewood Cliffs"},{"issue":"2","key":"79_CR24","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0377-2217(84)90213-3","volume":"15","author":"DD Yao","year":"1984","unstructured":"Yao DD, Chaudry ML, Templeton JGC (1984) On bounds for bulk arrival queues. Eur J Oper Res 15(2):237\u2013243","journal-title":"Eur J Oper Res"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0079-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-009-0079-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-009-0079-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:52Z","timestamp":1559246332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-009-0079-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,13]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["79"],"URL":"https:\/\/doi.org\/10.1007\/s10626-009-0079-2","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8,13]]}}}