{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:45:06Z","timestamp":1730223906145,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/grc.2011.6122702","type":"proceedings-article","created":{"date-parts":[[2012,1,11]],"date-time":"2012-01-11T22:03:07Z","timestamp":1326319387000},"page":"807-812","source":"Crossref","is-referenced-by-count":0,"title":["Scalable process modeling based on net synthesis under cloud computing environment"],"prefix":"10.1109","author":[{"given":"Jiantao","family":"Zhou","sequence":"first","affiliation":[]},{"given":"Rong","family":"Liang","sequence":"additional","affiliation":[]},{"given":"Yan","family":"Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","first-page":"1625","article-title":"On the Analysis and Synthesis of Colored Petri Nets","volume":"4","author":"morel","year":"2004","journal-title":"IEEE Int Conf on Systems Man and Cybernetics"},{"journal-title":"CPN Tools","year":"2007","key":"14"},{"key":"11","first-page":"355","article-title":"Petri Net Synthesis shared P-type Subnet and Its Applications in System Design","volume":"19","author":"xia","year":"2007","journal-title":"Journal of System Simulation"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ISIC.1991.187349"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2010.40"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/GRID.2009.5353075"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/eScience.2008.167"},{"key":"10","first-page":"899","article-title":"On Structural property preservation by ST composition of Petri Nets","volume":"20","author":"du","year":"1999","journal-title":"Journal of Chinese Computer Systems"},{"key":"7","first-page":"19","article-title":"Checking properties of nets using transformations","volume":"254","author":"berthelot","year":"1985","journal-title":"Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/3477.558787"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019979"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICIST.2011.5765217"},{"key":"9","first-page":"317","article-title":"Language recursiveness and liveness in sharing synthesis of Petri Net systems","volume":"15","author":"pu","year":"2004","journal-title":"Journal of Software"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019972"}],"event":{"name":"2011 IEEE International Conference on Granular Computing (GrC-2011)","start":{"date-parts":[[2011,11,8]]},"location":"Kaohsiung, Taiwan","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 IEEE International Conference on Granular Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6112290\/6122548\/06122702.pdf?arnumber=6122702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T20:07:25Z","timestamp":1490126845000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6122702\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/grc.2011.6122702","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}