{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:37:07Z","timestamp":1730295427906,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/seke.1992.227925","type":"proceedings-article","created":{"date-parts":[[2003,1,2]],"date-time":"2003-01-02T14:32:26Z","timestamp":1041517946000},"page":"222-226","source":"Crossref","is-referenced-by-count":0,"title":["Linear programming supporting Ada-tasking static analysis: a Petri net approach"],"prefix":"10.1109","author":[{"family":"Shengru Tu","sequence":"first","affiliation":[]},{"family":"Wei Sun","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/9.52310"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/69586.69587"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1990.89289"},{"key":"ref13","first-page":"185","article-title":"Automated Visualization of Tasking Behavior for Ada Programs: A Petri Net Approach","author":"tu","year":"1991","journal-title":"The Third Intern on Software Engineering and Knowledge Engineering"},{"journal-title":"Reference Manual for the Ada Programming Language","year":"1983","key":"ref14"},{"key":"ref15","article-title":"Special Section on Advances in Software Engineering for Ada Technology","volume":"se 15","year":"1989","journal-title":"IEEE Trans on Software Engineering"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(85)90010-4"},{"key":"ref3","first-page":"43","article-title":"Using Linear Programming in Petri Net Analysis","volume":"23","author":"lasserre","year":"1989","journal-title":"Recherche Operationelle\/Operattons Research"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.21759"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(88)90027-1"},{"journal-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.57622"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.106975"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/71.80172"}],"event":{"name":"Fourth International Conference on Software Engineering and Knowledge Engineering","location":"Capri, Italy"},"container-title":["Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/413\/5910\/00227925.pdf?arnumber=227925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T04:10:28Z","timestamp":1489032628000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/227925\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/seke.1992.227925","relation":{},"subject":[]}}