{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T07:53:48Z","timestamp":1776153228141,"version":"3.50.1"},"reference-count":24,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1995,11,1]],"date-time":"1995-11-01T00:00:00Z","timestamp":815184000000},"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":["Performance Evaluation"],"published-print":{"date-parts":[[1995,11]]},"DOI":"10.1016\/0166-5316(95)00008-l","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T13:16:45Z","timestamp":1027603005000},"page":"47-68","source":"Crossref","is-referenced-by-count":156,"title":["GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets"],"prefix":"10.1016","volume":"24","author":[{"given":"G.","family":"Chiola","sequence":"first","affiliation":[]},{"given":"G.","family":"Franceschinis","sequence":"additional","affiliation":[]},{"given":"R.","family":"Gaeta","sequence":"additional","affiliation":[]},{"given":"M.","family":"Ribaudo","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/0166-5316(95)00008-L_BIB1","article-title":"A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems","volume":"2","author":"Marsan","year":"1984","journal-title":"ACM Trans. Comput. Systems"},{"key":"10.1016\/0166-5316(95)00008-L_BIB2","article-title":"On the integration of delay and throughput measures in distributed processing models","author":"Molloy","year":"1981"},{"key":"10.1016\/0166-5316(95)00008-L_BIB3","series-title":"Proc. Int. Conf. on Modelling Techniques and Tools for Performance Analysis","article-title":"A software tool for the automatic analysis of generalized stochastic Petri net models","author":"Marsan","year":"1984"},{"key":"10.1016\/0166-5316(95)00008-L_BIB4","series-title":"Proc. Int. Workshop on Timed Petri Nets","article-title":"A software package for the analysis of generalized stochastic Petri net models","author":"Chiola","year":"1985"},{"key":"10.1016\/0166-5316(95)00008-L_BIB5","series-title":"Proc. ACM-IEEE-CS Fall Joint Computer Conf.","first-page":"1082","article-title":"A CAD tool for stochastic Petri nets","author":"Molloy","year":"1986"},{"key":"10.1016\/0166-5316(95)00008-L_BIB6","series-title":"Proc. 7th European Workshop on Application and Theory of Petri Nets","first-page":"151","article-title":"On Petri nets with deterministic and exponentially distributed firing times","author":"Maisan","year":"1986"},{"key":"10.1016\/0166-5316(95)00008-L_BIB7","series-title":"Proc. 5th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation","article-title":"GreatSPN 1.5 software architecture","author":"Chiola","year":"1991"},{"key":"10.1016\/0166-5316(95)00008-L_BIB8","series-title":"Proc. 5th Int. Workshop on Petri Nets and Performance Models","article-title":"Operational analysis of timed Petri nets and applications to the computation of performance bounds","author":"Chiola","year":"1993"},{"key":"10.1016\/0166-5316(95)00008-L_BIB9","series-title":"Proc. 11th Int. Conf. on Application and Theory of Petri Nets","article-title":"On well-formed coloured nets and their symbolic reachability graph","author":"Chiola","year":"1990"},{"issue":"11","key":"10.1016\/0166-5316(95)00008-L_BIB10","doi-asserted-by":"crossref","first-page":"1343","DOI":"10.1109\/12.247838","article-title":"Stochastic well-formed coloured nets for symmetric modelling applications","volume":"42","author":"Chiola","year":"1993","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0166-5316(95)00008-L_BIB11","article-title":"A framework for studying sets of related Petri net models","author":"Chiola","year":"1990"},{"issue":"3","key":"10.1016\/0166-5316(95)00008-L_BIB12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/88.242441","article-title":"Distributed simulation of Petri nets","volume":"1","author":"Chiola","year":"1993","journal-title":"Parallel Distributed Techn."},{"key":"10.1016\/0166-5316(95)00008-L_BIB13","series-title":"Proc. 15th Int. Conf. Application and Theory of Petri Nets","article-title":"Superposed generalized stochastic Petri nets: definition and efficient solution","author":"Donatelli","year":"1994"},{"key":"10.1016\/0166-5316(95)00008-L_BIB14","series-title":"Proc. 3rd Int. Workshop on Petri Nets and Performance Models","article-title":"SPNP: Stochastic Petri net package","author":"Ciardo","year":"1989"},{"key":"10.1016\/0166-5316(95)00008-L_BIB15","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0166-5316(95)00012-M","article-title":"The UltraSAN modeling environment","volume":"24","author":"Sanders","year":"1995","journal-title":"Perf. Eval."},{"key":"10.1016\/0166-5316(95)00008-L_BIB16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0166-5316(93)E0035-4","article-title":"DSPNexpress: A software package for the efficient solution of deterministic and stochastic Petri nets","volume":"22","author":"Lindemann","year":"1995","journal-title":"Perf. Eval."},{"issue":"4","key":"10.1016\/0166-5316(95)00008-L_BIB17","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0166-5316(90)90001-Y","article-title":"GSPN models of Markovian multiserver multiqueue systems","volume":"11","author":"Marsan","year":"1990","journal-title":"Perf. Eval."},{"key":"10.1016\/0166-5316(95)00008-L_BIB18","series-title":"Advances on Petri Nets '86-Part I","first-page":"359","article-title":"Transformations and decompositions of nets","volume":"254","author":"Berthelot","year":"1986"},{"issue":"2","key":"10.1016\/0166-5316(95)00008-L_BIB19","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/32.214828","article-title":"Generalized stochastic Petri nets: a definition at the net level and its implications","volume":"19","author":"Chiola","year":"1993","journal-title":"IEEE Trans. Softw. Engrg."},{"key":"10.1016\/0166-5316(95)00008-L_BIB20","series-title":"Proc. 2nd European Workshop on Application and Theory of Petri Nets","article-title":"A simple and fast algorithm to obtain all invariants of a generalized Petri net","author":"Martinez","year":"1981"},{"issue":"1","key":"10.1016\/0166-5316(95)00008-L_BIB21","article-title":"Research des semiflots, des verrous et des trappes dans le reseaux de Petri","volume":"4","author":"Alaiwan","year":"1985","journal-title":"Techn. Sci. Inform."},{"key":"10.1016\/0166-5316(95)00008-L_BIB22","series-title":"Proc. Int. Workshop on Petri Nets and Performance Models","first-page":"156","article-title":"Structurally bounded stochastic Petri nets","author":"Molloy","year":"1987"},{"key":"10.1016\/0166-5316(95)00008-L_BIB23","series-title":"Proc. 4th Int. Workshop on Petri Nets and Performance Models","first-page":"20","article-title":"GSPN versus SPN: what is the actual role of immediate transitions?","author":"Chiola","year":"1991"},{"key":"10.1016\/0166-5316(95)00008-L_BIB24","series-title":"Proc. 25th SCS Annual Simulation Symp.","article-title":"A symbolic simulation mechanism for well-formed coloured Petri nets","author":"Chiola","year":"1992"}],"container-title":["Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016653169500008L?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016653169500008L?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T17:58:39Z","timestamp":1556560719000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016653169500008L"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,11]]},"references-count":24,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995,11]]}},"alternative-id":["016653169500008L"],"URL":"https:\/\/doi.org\/10.1016\/0166-5316(95)00008-l","relation":{},"ISSN":["0166-5316"],"issn-type":[{"value":"0166-5316","type":"print"}],"subject":[],"published":{"date-parts":[[1995,11]]}}}