{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:55:25Z","timestamp":1730224525177,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.1998.731604","type":"proceedings-article","created":{"date-parts":[[2002,11,27]],"date-time":"2002-11-27T18:21:56Z","timestamp":1038421316000},"page":"124-133","source":"Crossref","is-referenced-by-count":7,"title":["Verification in concurrent programming with Petri nets structural techniques"],"prefix":"10.1109","author":[{"given":"K.","family":"Barkaoui","sequence":"first","affiliation":[]},{"given":"J.-F.","family":"Pradat-Peyre","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"volume":"3","journal-title":"Computing Survey","year":"1971","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90299-U"},{"key":"ref12","article-title":"A new technique for finding a generative family of siphons, traps and st-components","author":"ezpeleta","year":"1991","journal-title":"Proc Int Conf Application and Theory of Petri Nets"},{"key":"ref13","article-title":"Comparing the reliability provided by tasks or protected objetcs for implementing a resource allocation service: a case study","author":"kaiser","year":"1997","journal-title":"TriAda"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(85)90010-4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.21759"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.286423"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357178"},{"journal-title":"M R Communication and concurrency","year":"1989","key":"ref18"},{"journal-title":"EATCS-An Introduction to Petri Nets","year":"1983","author":"reisig","key":"ref19"},{"key":"ref4","first-page":"62","article-title":"A polynomial time graph algorithm to decide liveness of some basic classes of bounded Petri nets","author":"barkaoui","year":"1992","journal-title":"LNCS"},{"key":"ref3","article-title":"Deadlocks and traps in Petri nets as horn satisfiability solutions and some related polynomially solvable problems","author":"barkaoui","year":"1990","journal-title":"Discrete Applied Mathematics"},{"key":"ref6","volume":"255","author":"best","year":"1986","journal-title":"LNCS"},{"journal-title":"Petri Nets Theory and Application","year":"1996","author":"barkaoui","key":"ref5"},{"key":"ref8","first-page":"134","author":"burns","year":"1995","journal-title":"Concurrency in Ada"},{"journal-title":"LNCS","year":"1987","author":"burns","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1997.640181"},{"key":"ref1","article-title":"On liveness in extended non self-controlling nets in application and theory of Petri nets","volume":"935","author":"barkaoui","year":"1995","journal-title":"LNCS"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.489078"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1989.37993"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1990.89289"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/69586.69587"}],"event":{"name":"Third IEEE International High-Assurance Systems Engineering Symposium","acronym":"HASE-98","location":"Washington, DC, USA"},"container-title":["Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx4\/5939\/15811\/00731604.pdf?arnumber=731604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T15:40:51Z","timestamp":1489074051000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/731604\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/hase.1998.731604","relation":{},"subject":[]}}