{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T14:40:54Z","timestamp":1759588854482},"reference-count":24,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1994,7,1]],"date-time":"1994-07-01T00:00:00Z","timestamp":773020800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1994,7]]},"DOI":"10.1016\/0950-5849(94)90066-3","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T15:40:25Z","timestamp":1062603625000},"page":"435-441","source":"Crossref","is-referenced-by-count":5,"title":["A Petri net based methodology to integrate qualitative and quantitative analysis"],"prefix":"10.1016","volume":"36","author":[{"given":"Monika","family":"Heiner","sequence":"first","affiliation":[]},{"given":"Giorgio","family":"Ventre","sequence":"additional","affiliation":[]},{"given":"Dietmar","family":"Wikarski","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0950-5849(94)90066-3_BIB1","article-title":"A contribution to deadlock analysis based on a language-guided programming methodology","author":"Heiner","year":"1980"},{"key":"10.1016\/0950-5849(94)90066-3_BIB2","article-title":"Petri net based software validation, prospects and limitations","author":"Heiner","year":"1992","journal-title":"ICSI-TR-022"},{"key":"10.1016\/0950-5849(94)90066-3_BIB3","series-title":"Research Report TU 08 RS-L\/LN-K5\/015","article-title":"Defining report of the protocol description language PDL","author":"Koenig","year":"1985"},{"key":"10.1016\/0950-5849(94)90066-3_BIB4","article-title":"Further developments of a PDL\/D compiler","author":"Grzegorek","year":"1991"},{"key":"10.1016\/0950-5849(94)90066-3_BIB5","article-title":"Implementation of a Petri net generator for Inmos C programs","author":"Czichy","year":"1992"},{"key":"10.1016\/0950-5849(94)90066-3_BIB6","series-title":"Proc. 2nd Int. Seminar on Modelling and Performance Evaluation","first-page":"72","article-title":"A complexity measure of distributed programs","volume":"Vol 19","author":"Heiner","year":"1988"},{"key":"10.1016\/0950-5849(94)90066-3_BIB7","article-title":"Design and implementation of a graphical editor for hierarchical Petri net models","author":"Czichy","year":"1993"},{"key":"10.1016\/0950-5849(94)90066-3_BIB8","series-title":"INA \u2014 Integrated Net Analyzer","author":"Starke","year":"1992"},{"key":"10.1016\/0950-5849(94)90066-3_BIB9","year":"1992"},{"issue":"No 2","key":"10.1016\/0950-5849(94)90066-3_BIB10","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","article-title":"Automatic verification of finite-state concurrent systems using temporal logic specifications","volume":"Vol 8","author":"Clarke","year":"1986","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"10.1016\/0950-5849(94)90066-3_BIB11","doi-asserted-by":"crossref","first-page":"1088","DOI":"10.1109\/12.2259","article-title":"Measuring parallelism in computation-intensive scientific\/engineering applications","volume":"Vol 37","author":"Kumar","year":"1988","journal-title":"IEEE Trans. Comput"},{"key":"10.1016\/0950-5849(94)90066-3_BIB12","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1109\/32.90447","article-title":"The processor working set and its use in scheduling multiprocessor systems","volume":"Vol 17","author":"Ghosal","year":"1991","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/0950-5849(94)90066-3_BIB13","article-title":"Galileo: a tool for simulation and analysis of real-time networks","author":"Knightly","year":"1993","journal-title":"ICSI-TR-008"},{"key":"10.1016\/0950-5849(94)90066-3_BIB14","series-title":"Proc. Problemseminar \u2018Programmiersysteme f\u00fcr Mikrorechner\u2019","first-page":"67","article-title":"An approach to systematic testing of distributed software","volume":"Vol 5","author":"Dahmen","year":"1989"},{"issue":"No 3","key":"10.1016\/0950-5849(94)90066-3_BIB15","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1002\/spe.4380160304","article-title":"A probe effect in concurrent programs","volume":"Vol 16","author":"Gait","year":"1986","journal-title":"Softw. Pract. Exper."},{"issue":"No 4","key":"10.1016\/0950-5849(94)90066-3_BIB16","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1109\/TC.1987.1676929","article-title":"Debugging parallel programs with instant replay","volume":"Vol 36","author":"Leblanc","year":"1987","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0950-5849(94)90066-3_BIB17","series-title":"Parallel computing: problems, methods, and applications","article-title":"A high level monitor for parallel systems","author":"Mazzeo","year":"1992"},{"key":"10.1016\/0950-5849(94)90066-3_BIB18","doi-asserted-by":"crossref","DOI":"10.21236\/ADA243114","article-title":"PRELUDE: a system for portable parallel software","author":"Wheil","year":"1991"},{"issue":"No 1","key":"10.1016\/0950-5849(94)90066-3_BIB19","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","article-title":"A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems","volume":"Vol 2","author":"Ajmone Marsan","year":"1984","journal-title":"ACM Trans. Comput. Syst."},{"key":"10.1016\/0950-5849(94)90066-3_BIB20","series-title":"Advances in Petri nets 1986","first-page":"132","article-title":"On Petri nets with deterministic and exponentially distributed firing times","volume":"266","author":"Ajmone Marsan","year":"1987"},{"key":"10.1016\/0950-5849(94)90066-3_BIB21","first-page":"117","article-title":"GreatSPN 1.5 software architecture","volume":"Vol 2","author":"Chiola","year":"1991"},{"key":"10.1016\/0950-5849(94)90066-3_BIB22","article-title":"DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets","author":"Lindemann","year":"1994","journal-title":"Perform. Eval."},{"key":"10.1016\/0950-5849(94)90066-3_BIB23","series-title":"Proc. Int. Seminar on Concurrency, Programming and Specification (CSP 92)","first-page":"182","article-title":"Locally Markovian object nets \u2014 the conceptual model","author":"Wikarski","year":"1992"},{"key":"10.1016\/0950-5849(94)90066-3_BIB24","series-title":"Proc. 3rd Int. Seminar on Modelling, Evaluation and Optimization of Dependable Computer Systems","first-page":"91","article-title":"Object nets \u2014 a canonical class of models for behaviour simulation and structure synthesis of distributed systems?","volume":"Vol 6","author":"Wikarski","year":"1990"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584994900663?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584994900663?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T11:58:18Z","timestamp":1551095898000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0950584994900663"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7]]},"references-count":24,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1994,7]]}},"alternative-id":["0950584994900663"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(94)90066-3","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1994,7]]}}}