{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:21:00Z","timestamp":1763662860562},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/ewdts.2008.5580151","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T15:57:51Z","timestamp":1285171071000},"page":"418-422","source":"Crossref","is-referenced-by-count":9,"title":["On macroplaces in Petri nets"],"prefix":"10.1109","author":[{"given":"Andrei","family":"Karatkevich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Dynamic Analysis of Petri Net-Based Discrete Systems","year":"2007","author":"karatkevich","key":"ref10"},{"key":"ref11","article-title":"Interpreted Petri Nets in System Design","author":"andrzejewski","year":"2003","journal-title":"Tom 4"},{"key":"ref12","article-title":"Modelowanie ukladów sterowania dyskretnego z wykorzystaniem sieci SFC","author":"adamski","year":"2000","journal-title":"Wydawnictwo Politechniki Zielonogórskiej"},{"journal-title":"Programming Industrial Control Systems Using IEC 1131–3 IIE","year":"1995","author":"lewis","key":"ref13"},{"article-title":"Hierarchiczna implementacja wspóÅ‚bie?¼nych kontrolerów cyfrowych z wykorzystaniem FPGA","year":"1998","author":"wegrzyn","key":"ref14"},{"key":"ref4","first-page":"177","article-title":"A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets","author":"heiner","year":"1996","journal-title":"Proc Int Workshop Manufacturing and Petri Nets held at Int Conf Application and Theory of Petri Nets"},{"key":"ref3","article-title":"Sieci Petriego. Modelowanie, sterowanie i synteza systemów dyskretnych","author":"banaszak","year":"1993","journal-title":"Wydawnictwo Wy?szej Szko?y In?ºynierskiej Zielona Góra"},{"key":"ref6","first-page":"296","article-title":"Parallel controller implementation using standard PLD software","author":"adamski","year":"1991","journal-title":"Int Workshop Field Programmable Logic and Applications Abingdon EE&CS Books"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","article-title":"Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem","author":"godefroid","year":"1996"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28327-7_8"},{"year":"1999","key":"ref7"},{"article-title":"Programowy model interpretowanej sieci Petriego dla potrzeb projektowania mikrosystemów cyfrowych","year":"2003","author":"andrzejewski","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCSET.2006.4404613"}],"event":{"name":"Test Symposium (EWDTS)","start":{"date-parts":[[2008,10,9]]},"location":"Lviv, Ukraine","end":{"date-parts":[[2008,10,12]]}},"container-title":["Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5570120\/5580134\/05580151.pdf?arnumber=5580151","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T10:22:42Z","timestamp":1497867762000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5580151\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2008.5580151","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}