{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:16:29Z","timestamp":1725498989057},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/pnpm.1991.238777","type":"proceedings-article","created":{"date-parts":[[2002,12,10]],"date-time":"2002-12-10T19:53:10Z","timestamp":1039549990000},"page":"106-115","source":"Crossref","is-referenced-by-count":7,"title":["Modelling layered protocols in LOOPN"],"prefix":"10.1109","author":[{"given":"C.A.","family":"Lakos","sequence":"first","affiliation":[]},{"given":"C.D.","family":"Keen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Advances in Petri Nets 1986","year":"0","author":"jensen","key":"ref10"},{"journal-title":"Advances in Petri Nets 1990","year":"0","author":"jensen","key":"ref11"},{"journal-title":"The C Programming Language","year":"1978","author":"kemighan","key":"ref12"},{"journal-title":"System Simulation Programming Styles and Languages","year":"1986","author":"kreutzer","key":"ref13"},{"journal-title":"Petsi A Petri Net Simulator","year":"1988","author":"lakos","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52494-0_24"},{"journal-title":"Object-Oriented Software Construction","year":"1988","author":"meyer","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"journal-title":"Advances in Petri Nets 1986","year":"0","author":"reisig","key":"ref18"},{"journal-title":"Computer Networks","year":"1981","author":"tannenbaum","key":"ref19"},{"journal-title":"Internetworking with TCP\/IP Principles Protocols and Architectures","year":"1988","author":"comer","key":"ref4"},{"journal-title":"Mathematical Foundations of Programming Semantics","year":"1989","author":"cardelli","key":"ref3"},{"journal-title":"Advances in Petri Nets 1989","year":"0","author":"hildebrand","key":"ref6"},{"journal-title":"Demonstration of Data Communication Protocols","year":"1985","author":"colville","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1102722.1102729"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52494-0_34"},{"journal-title":"Advances in Petri Nets 1989","year":"0","author":"best","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-50580-6_21"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-9984-5"},{"key":"ref20","first-page":"1","article-title":"Stubborn Sets for Reduced State Space Generation","author":"valmari","year":"1989","journal-title":"Proceedings of 10th International Conference on Application and Theory of Petri Nets"},{"key":"ref22","first-page":"283","article-title":"Baby TORAS Eats Philosophers but thinks about Solitaire","author":"wheeler","year":"1990","journal-title":"Proc Australian Software Eng Conf"},{"key":"ref21","article-title":"Stubborn Sets fof Coloured Petri Nets","author":"valmari","year":"1991","journal-title":"Proc Int Conf Application and Theory of Petri Nets"}],"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\/00238777.pdf?arnumber=238777","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T11:24:36Z","timestamp":1489058676000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/238777\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/pnpm.1991.238777","relation":{},"subject":[]}}