{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T09:45:16Z","timestamp":1751622316732},"reference-count":22,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"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":["Computer Languages"],"published-print":{"date-parts":[[1989,1]]},"DOI":"10.1016\/0096-0551(89)90023-4","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:04:53Z","timestamp":1060297493000},"page":"263-281","source":"Crossref","is-referenced-by-count":11,"title":["Symbolic execution of concurrent systems using Petri nets"],"prefix":"10.1016","volume":"14","author":[{"given":"Carlo","family":"Ghezzi","sequence":"first","affiliation":[]},{"given":"Dino","family":"Mandrioli","sequence":"additional","affiliation":[]},{"given":"Sandro","family":"Morasca","sequence":"additional","affiliation":[]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/0096-0551(89)90023-4_BIB1","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1985.231535","article-title":"Testing formal specifications to detect design errors","volume":"SE-11","author":"Kemmerer","year":"1985","journal-title":"IEEE Trans. Software Engng"},{"issue":"5","key":"10.1016\/0096-0551(89)90023-4_BIB2","doi-asserted-by":"crossref","DOI":"10.1145\/69586.69587","article-title":"A general-purpose algorithm for analyzing concurrent programs","volume":"26","author":"Taylor","year":"1983","journal-title":"Commun. ACM"},{"key":"10.1016\/0096-0551(89)90023-4_BIB3","series-title":"Proc. 2nd Int. IEEE Conf. on Ada Applications and Environments","article-title":"Reproducible testing of Ada task programs","author":"Tai","year":"1986"},{"key":"10.1016\/0096-0551(89)90023-4_BIB4","series-title":"Proc. 3rd Int. Conf. on Ada Applications and Environments","article-title":"Symbolic execution-based verification of Ada tasking programs","author":"Dillon","year":"1988"},{"key":"10.1016\/0096-0551(89)90023-4_BIB5","series-title":"Proc. 2nd Workshop on Software Testing, Verification and Analysis","article-title":"An experience with two symbolic execution based approaches to formal verification of Ada tasking programs","author":"Dillon","year":"1988"},{"key":"10.1016\/0096-0551(89)90023-4_BIB6","article-title":"Putting Petri nets to work","author":"Angerwala","year":"1979","journal-title":"IEEE Comput."},{"key":"10.1016\/0096-0551(89)90023-4_BIB7","series-title":"R\u00e9seaux de Petri: Th\u00e9orie et Pratique","author":"Brams","year":"1983"},{"issue":"1","key":"10.1016\/0096-0551(89)90023-4_BIB8","doi-asserted-by":"crossref","DOI":"10.1016\/0096-0551(85)90010-4","article-title":"Modeling the Ada task system by Petri nets","volume":"10","author":"Mandrioli","year":"1985","journal-title":"Comput. Lang."},{"key":"10.1016\/0096-0551(89)90023-4_BIB9","series-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/0096-0551(89)90023-4_BIB10","series-title":"Petri Nets: An Introduction. ETACS Monographs on Theoretical Computer Science","author":"Reisig","year":"1985"},{"key":"10.1016\/0096-0551(89)90023-4_BIB11","doi-asserted-by":"crossref","DOI":"10.1016\/0304-3975(81)90113-4","article-title":"System modelling with high-level Petri nets","volume":"13","author":"Genrich","year":"1981","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0096-0551(89)90023-4_BIB12","series-title":"Petri Nets: Central Models and their Properties. Advances in Petri Nets 1986","article-title":"Coloured Petri nets","author":"Jensen","year":"1987"},{"key":"10.1016\/0096-0551(89)90023-4_BIB13","series-title":"Net Theory and Application. Information Processing 86","author":"Genrich","year":"1986"},{"key":"10.1016\/0096-0551(89)90023-4_BIB14","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1986.6312948","article-title":"Process-translatable Petri nets for rapid prototyping of process control systems","volume":"SE-12","author":"Bruno","year":"1986","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/0096-0551(89)90023-4_BIB15","article-title":"PROTEAN: A high level Petri net tool for the specification and verification of communication protocol","volume":"SE-14","author":"Billington","year":"1988","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/0096-0551(89)90023-4_BIB16","series-title":"5th Int. Workshop on Software Specification and Design","article-title":"On introducing time in Petri nets","author":"Ghezzi","year":"1989"},{"issue":"3","key":"10.1016\/0096-0551(89)90023-4_BIB17","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1976.233817","article-title":"A system to generate test data and symbolically execute programs","volume":"SE-2","author":"Clarke","year":"1976","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/0096-0551(89)90023-4_BIB18","series-title":"Proc. Summer School on Computer Program Testing","article-title":"Symbolic evaluation method\u2014Implementations and applications","author":"Clarke","year":"1981"},{"key":"10.1016\/0096-0551(89)90023-4_BIB19","series-title":"Software Validation","article-title":"Symbolic evaluation\u2014An aid to testing and verification","author":"Clarke","year":"1984"},{"issue":"3","key":"10.1016\/0096-0551(89)90023-4_BIB20","doi-asserted-by":"crossref","DOI":"10.1145\/356674.356677","article-title":"An introduction to proving the correctness of programs","volume":"8","author":"Hantler","year":"1976","journal-title":"Comput. Surv."},{"key":"10.1016\/0096-0551(89)90023-4_BIB21","doi-asserted-by":"crossref","DOI":"10.1002\/spe.4380150504","article-title":"UNISEX: A Unix-based symbolic executor for Pascal","volume":"15","author":"Kemmerer","year":"1985","journal-title":"Software Pract. Exper."},{"issue":"7","key":"10.1016\/0096-0551(89)90023-4_BIB22","doi-asserted-by":"crossref","DOI":"10.1145\/360248.360252","article-title":"Symbolic execution and program testing","volume":"17","author":"King","year":"1976","journal-title":"Commun. ACM"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055189900234?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055189900234?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T05:04:16Z","timestamp":1585112656000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055189900234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,1]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,1]]}},"alternative-id":["0096055189900234"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(89)90023-4","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1989,1]]}}}