{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:12:51Z","timestamp":1730290371220,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/pnpm.1991.238798","type":"proceedings-article","created":{"date-parts":[[2002,12,10]],"date-time":"2002-12-10T14:53:10Z","timestamp":1039531990000},"page":"216-221","source":"Crossref","is-referenced-by-count":2,"title":["From basic to timed net models of Occam: an application to program placement"],"prefix":"10.1109","author":[{"given":"O.","family":"Botti","sequence":"first","affiliation":[]},{"given":"F.","family":"De Cindio","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets","volume":"15","author":"marsan","year":"1989","journal-title":"IEEE TSE"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-50403-6_44"},{"key":"ref12","article-title":"A Graphical Petri Net Tool for Performance Analysis","author":"chiola","year":"1987","journal-title":"Proc Int Workshop Modeling Techniques Performance Evaluation"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52494-0_43"},{"key":"ref4","article-title":"On the Mapping Problem","volume":"30","author":"bokhari","year":"1981","journal-title":"IEEE Transactions on Computers"},{"year":"0","key":"ref3"},{"journal-title":"Occam2 Reference Manual","year":"1988","key":"ref6"},{"key":"ref5","article-title":"Mapping Strategies in Message Based Multiprocessor Systems","volume":"258","author":"kraemer","year":"1987","journal-title":"Proc of PARLE"},{"journal-title":"Some Remarks about a Petri Net Model of Occam2 using t-transitons","year":"1990","author":"botti","key":"ref8"},{"key":"ref7","article-title":"The Petri Box Calculus for Concurrent Programs","author":"best","year":"1991","journal-title":"3rd Workshop on Concurrency and Compositionality"},{"year":"0","key":"ref2"},{"journal-title":"A Petri Net Semantics of Occam2 ESPRIT BRA 3148 DEMON","year":"1990","author":"botti","key":"ref1"},{"journal-title":"Partial order semantics of priority systems","year":"1990","author":"best","key":"ref9"}],"event":{"name":"Fourth International Workshop on Petri Nets and Performance Models PNPM91","location":"Melbourne, Vic., Australia"},"container-title":["Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/370\/6138\/00238798.pdf?arnumber=238798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T04:05:32Z","timestamp":1489032332000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/238798\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/pnpm.1991.238798","relation":{},"subject":[]}}