{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T11:05:53Z","timestamp":1781175953200,"version":"3.54.1"},"reference-count":10,"publisher":"World Scientific Pub Co Pte Ltd","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Process. Lett."],"published-print":{"date-parts":[[2006,3]]},"abstract":"<jats:p> Structural model abstraction is a powerful technique for reducing the complexity of a state based enumeration analysis. We present in this paper new efficient Petri nets reductions. First, we define \"behavioural\" reductions (i.e. based on conditions related to the language of the net) which preserve a fundamental property of a net (i.e. liveness) and any formula of the (action-based) linear time logic that does not observe reduced transitions of the net. We show how to replace these conditions by structural or algebraical ones leading to reductions that can be efficiently checked and applied whereas enlarging the application spectrum of the previous reductions. At last, we illustrate our method on a significant and typical example of a synchronisation pattern of parallel programs. <\/jats:p>","DOI":"10.1142\/s0129626406002502","type":"journal-article","created":{"date-parts":[[2006,3,24]],"date-time":"2006-03-24T11:18:03Z","timestamp":1143199083000},"page":"101-116","source":"Crossref","is-referenced-by-count":27,"title":["New Efficient Petri Nets Reductions for Parallel Programs Verification"],"prefix":"10.1142","volume":"16","author":[{"given":"Serge","family":"HADDAD","sequence":"first","affiliation":[{"name":"LAMSA DE-CNRS UMR 7024 Universit\u00e9 Paris-Dauphine, Place du Mar\u00e9chal de Lattre de Tassigny, 75775 Paris Cedex 16, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Fran\u00e7ois","family":"PRADAT-PEYRE","sequence":"additional","affiliation":[{"name":"CEDRIC EA 1395, Conservatoire National des Arts et M\u00e9tiers, 292 rue Saint Martin, 75141 Paris Cedex 03, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf2","series-title":"LNCS","volume-title":"Checking properties of nets using transformations","volume":"222","author":"Berthelot G.","year":"1985"},{"key":"rf3","doi-asserted-by":"crossref","unstructured":"G.\u00a0Berthelot, Advances in Petri Nets, LNCS\u00a0254 (Springer-Verlag, 1986)\u00a0pp. 359\u2013376.","DOI":"10.1007\/978-3-540-47919-2_13"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"rf6","series-title":"LNCS","volume-title":"Advances in Petri Nets 1990","volume":"483","author":"Berthelot G.","year":"1991"},{"key":"rf8","series-title":"LNCS","volume-title":"Reliable Software Technologies - Ada-Europe 2003","volume":"2655","author":"Evangelista S.","year":"2003"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44798-9_25"},{"key":"rf10","volume-title":"Electronic Notes in Theoretical Computer Science","volume":"89","author":"Flanagan Cormac","year":"2003"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1145\/363156.363160"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1145\/361227.361234"},{"key":"rf18","doi-asserted-by":"crossref","unstructured":"D.\u00a0Poitrenaud and J. F.\u00a0Pradat-Peyre, High-level Petri Nets, Theory and Application, LNCS\u00a01825, eds. M.\u00a0Nielsen and D.\u00a0Simpson (Springer-Verlag, 2000)\u00a0pp. 387\u2013408.","DOI":"10.1007\/3-540-44988-4_22"}],"container-title":["Parallel Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129626406002502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T16:16:40Z","timestamp":1565108200000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129626406002502"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":10,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2006,3]]}},"alternative-id":["10.1142\/S0129626406002502"],"URL":"https:\/\/doi.org\/10.1142\/s0129626406002502","relation":{},"ISSN":["0129-6264","1793-642X"],"issn-type":[{"value":"0129-6264","type":"print"},{"value":"1793-642X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}