{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T12:08:26Z","timestamp":1774440506740,"version":"3.50.1"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042488","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T20:57:26Z","timestamp":1318539446000},"page":"588-593","source":"Crossref","is-referenced-by-count":8,"title":["Petri nets compositional modeling and verification of Flexible Manufacturing Systems"],"prefix":"10.1109","author":[{"given":"Paolo","family":"Ballarini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hilal","family":"Djafri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie","family":"Duflot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serge","family":"Haddad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nihal","family":"Pekergin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"Petri net algebra. Monographs in TCS","author":"best","year":"2001"},{"key":"ref3","article-title":"Petri nets compositional modeling and verification of FMS","author":"ballarini","year":"2011","journal-title":"Technical report LACL Univ Paris-Est Créteil"},{"key":"ref10","article-title":"Modelling with General. Stoch. Petri Nets","author":"ajmone marsan","year":"1995"},{"key":"ref6","article-title":"Quantitative model checking of CTMC against timed automata specifications","author":"chen","year":"0","journal-title":"LICS"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/70.282547"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1080\/00207540010004278"},{"key":"ref12","article-title":"Incremental mod. and verif. of FMS","volume":"4","author":"wang","year":"1998","journal-title":"J of Intelligent Manuf"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/70.370500"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.108"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4108\/icst.valuetools.2011.245710"},{"key":"ref9","article-title":"Performability modeling of an automated manufacturing sys. with deterministic and stochastic Petri nets","author":"lindemann","year":"0","journal-title":"ICRA"},{"key":"ref1","first-page":"209","article-title":"Hybrid automata: An algorithmic approach to the specif. and verif. of hybrid systems","author":"alur","year":"1992","journal-title":"Hybrid Systems LNCS 736"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","location":"Trieste, Italy","start":{"date-parts":[[2011,8,24]]},"end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042488.pdf?arnumber=6042488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T02:23:02Z","timestamp":1490062982000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042488\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042488","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}