{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T03:35:35Z","timestamp":1777433735189,"version":"3.51.4"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Instrum. Meas."],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1109\/tim.2010.2046602","type":"journal-article","created":{"date-parts":[[2010,11,10]],"date-time":"2010-11-10T20:38:41Z","timestamp":1289421521000},"page":"319-328","source":"Crossref","is-referenced-by-count":6,"title":["A Petri Net-Based Software Synchronizer for Automatic Measurement Systems"],"prefix":"10.1109","volume":"60","author":[{"given":"Pasquale","family":"Arpaia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucio","family":"Fiscarelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"La Commara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felice","family":"Romano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/IMTC.2008.4547321"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2009.11.009"},{"key":"ref31","first-page":"315","article-title":"petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers","volume":"e80 d","author":"cortadella","year":"1997","journal-title":"IEICE Trans Inf Syst"},{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0097770","author":"billington","year":"1999","journal-title":"Application of Petri Nets to Communication Networks"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/IMTC.2009.5168733"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2007.890787"},{"key":"ref35","year":"0"},{"key":"ref34","first-page":"735","article-title":"permeameter","author":"henrichsen","year":"1967","journal-title":"Proc 2nd Int Conf Magnet Technology"},{"key":"ref10","first-page":"79","article-title":"contemporary methods and devices for automatic measurement","volume":"57","author":"stoyanov","year":"2006","journal-title":"Problems of Engineering Cybernetics and Robotics"},{"key":"ref11","year":"0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TASC.2005.869672"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IMTC.2009.5168614"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2004.08.003"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IREP.2007.4410545"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1049\/ip-gtd:20000657","article-title":"power system monitoring using petri net embeddings","volume":"147","author":"hadjicostis","year":"2000","journal-title":"Generation Transmission and Distribution IEE Proceedings-"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICEMI.2007.4350488"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICEMI.2007.4350904"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1996.565526"},{"key":"ref4","article-title":"an aspect oriented-based architectural framework for synchronization in measurement systems","author":"arpaia","year":"2008","journal-title":"Proc 16th IMEKO TC4 Symp"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1142\/3376"},{"key":"ref3","first-page":"41","article-title":"conditional memory ordering","author":"von praum","year":"2006","journal-title":"Proc 33rd IEEE ISCA"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85565-1_52"},{"key":"ref6","author":"reed","year":"1977","journal-title":"Synchronization with event counts and sequencers"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/41457.37509"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.3844\/ajassp.2008.1742.1749"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/146941.146944"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/2.55501"},{"key":"ref9","first-page":"177","author":"bosch","year":"1999","journal-title":"Domain-Specific Application Frameworks"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1992.227832"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2007.913601"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.126774"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IDAACS.2007.4488419"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.measurement.2008.04.006"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IMTC.2007.379293"},{"key":"ref26","author":"woodside","year":"0","journal-title":"Software Performance Evaluation by Models"},{"key":"ref25","article-title":"Automatically generated user interfaces for measurement software frameworks: A case study on magnet testing at CERN","author":"arpaia","year":"2009","journal-title":"Proc IMEKO XIX World Congr Fundam Appl Metrology"}],"container-title":["IEEE Transactions on Instrumentation and Measurement"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/19\/5659689\/05613935.pdf?arnumber=5613935","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T01:01:12Z","timestamp":1633914072000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5613935\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":37,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tim.2010.2046602","relation":{},"ISSN":["0018-9456","1557-9662"],"issn-type":[{"value":"0018-9456","type":"print"},{"value":"1557-9662","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}