{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:55:19Z","timestamp":1761580519038},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73094-1_30","type":"book-chapter","created":{"date-parts":[[2007,6,30]],"date-time":"2007-06-30T05:53:56Z","timestamp":1183182836000},"page":"505-514","source":"Crossref","is-referenced-by-count":19,"title":["Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Poliakov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danil","family":"Sokolov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrey","family":"Mokhov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Extensible Markup Language (XML) - http:\/\/www.w3.org\/XML\/"},{"key":"30_CR2","unstructured":"JOGL API project - https:\/\/jogl.dev.java.net\/"},{"key":"30_CR3","unstructured":"Scalable Vector Graphics - http:\/\/www.w3.org\/Graphics\/SVG\/"},{"key":"30_CR4","unstructured":"The Jython Project - http:\/\/www.jython.org\/"},{"key":"30_CR5","unstructured":"The Python Programming Language - http:\/\/www.python.org\/"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Ampalam, M., Singh, M.: Counterflow pipelining: architectural support for preemption in asynchronous systems using anti-tokens. In: Proc. International Conference Computer-Aided Design (ICCAD) (November 2006)","DOI":"10.1145\/1233501.1233627"},{"key":"30_CR7","volume-title":"Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"E. Best","year":"1995","unstructured":"Best, E., Grundmann, B.: PEP - more than a Petri net tool. In: Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Springer, Heidelberg (1995)"},{"key":"30_CR8","unstructured":"Brej, C.: Early output logic and anti-tokens. PhD thesis, Dept. of Computer Science, University of Manchester (2005)"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Khomenko, V.: Model Checking Based on Prefixes of Petri Net Unfoldings. PhD thesis, University of Newcastle upon Tyne, School of Computing Science (2003)","DOI":"10.1007\/s00236-003-0122-y"},{"issue":"6","key":"30_CR10","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01178907","volume":"32","author":"U. Montanari","year":"1995","unstructured":"Montanari, U., Rossi, F.: Contextual nets. Acta Informacia\u00a032(6), 545\u2013596 (1995)","journal-title":"Acta Informacia"},{"key":"30_CR11","unstructured":"Poliakov, I., Sokolov, D., Yakovlev, A.: Software requirements analysis for asynchronous circuit modelling and simulation tool. Technical Report NCL-EECE-MSD-TR-2007-118, University of Newcastle (2006)"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Sokolov, D., Poliakov, I., Yakovlev, A.: Asynchronous data path models. In: 7th International Conference on Application of Concurrency to System Design (to appear 2007)","DOI":"10.1109\/ACSD.2007.45"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Spars\u00f8, J., Furber, S. (eds.): Principles of Asynchronous Circuit Design: A Systems Perspective (2001)","DOI":"10.1007\/978-1-4757-3385-3"},{"key":"30_CR14","first-page":"1045","volume-title":"Linguistic Reflection in Java","author":"R. Morrison","year":"1998","unstructured":"Morrison, R., Stemple, D.W.: Software - Practice and Experience. In: Linguistic Reflection in Java, pp. 1045\u20131077. John Wiley & Sons, New York (1998)"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Vogler, W., Semenov, A.L., Yakovlev, A.: Unfolding and finite prefix for nets with read arcs. In: International Conference on Concurrency Theory, pp. 501\u2013516 (1998)","DOI":"10.1007\/BFb0055644"},{"key":"30_CR16","first-page":"189","volume-title":"On the Models for Asynchronous Circuit Behaviour with OR Causality","author":"A. Yakovlev","year":"1996","unstructured":"Yakovlev, A., Kishinevsky, M., Kondratyev, A., Lavagno, L., Pietkiewicz-Koutny, M.: Formal Methods in System Design. In: On the Models for Asynchronous Circuit Behaviour with OR Causality, pp. 189\u2013233. Kluwer Academic Publishers, Boston (1996)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73094-1_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:11:50Z","timestamp":1605762710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73094-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730934"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73094-1_30","relation":{},"subject":[]}}