{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:26:11Z","timestamp":1759638371953,"version":"3.41.0"},"reference-count":0,"publisher":"SAGE Publications","issue":"3-4","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2009,7]]},"abstract":"<jats:p>The unconstrained step semantics of Petri nets is impractical for\n\t\t\t simulating and modelling applications. In the past, this inadequacy has been\n\t\t\t alleviated by introducing various flavours of maximally concurrent semantics,\n\t\t\t as well as priority orders. In this paper, we introduce a general way of\n\t\t\t controlling step semantics of Petri nets through step firing policies that\n\t\t\t restrict the concurrent behaviour of Petri nets and so improve their execution\n\t\t\t and modelling features. In a nutshell, a step firing policy disables at each\n\t\t\t marking a subset of enabled steps which could otherwise be executed. We discuss\n\t\t\t various examples of step firing policies and then investigate the synthesis\n\t\t\t problem for Petri nets controlled by such policies. Using generalised regions\n\t\t\t of step transition systems, we provide an axiomatic characterisation of those\n\t\t\t transition systems which can be realised as reachability graphs of Petri nets\n\t\t\t controlled by a given step firing policy. We also provide two different\n\t\t\t decision and synthesis algorithms for PT-nets and step firing policies based on\n\t\t\t linear rewards of steps, where the reward for firing a single transition is\n\t\t\t either fixed or it depends on the current net marking. The simplicity of the\n\t\t\t algorithms supports our claim that the proposed approach is practical.<\/jats:p>","DOI":"10.3233\/fi-2009-132","type":"journal-article","created":{"date-parts":[[2019,12,3]],"date-time":"2019-12-03T03:51:44Z","timestamp":1575345104000},"page":"275-303","source":"Crossref","is-referenced-by-count":9,"title":["Synthesis of Nets with Step Firing Policies"],"prefix":"10.1177","volume":"94","author":[{"given":"Philippe","family":"Darondeau","sequence":"first","affiliation":[{"name":"Centre de recherche INRIA, Rennes-Bretagne Atlantique,\r\t\t\t campus de Beaulieu, F-35042 Rennes Cedex, France. E-mail:\r\t\t\t Philippe.Darondeau@inria.fr"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[{"name":"School of Computing Science, Newcastle University,\r\t\t\t Newcastle upon Tyne, NE1 7RU, United Kingdom. E-mail:\r\t\t\t {maciej.koutny,marta.koutny}@newcastle.ac.uk"}]},{"given":"Marta","family":"Pietkiewicz-Koutny","sequence":"additional","affiliation":[{"name":"School of Computing Science, Newcastle University,\r\t\t\t Newcastle upon Tyne, NE1 7RU, United Kingdom. E-mail:\r\t\t\t {maciej.koutny,marta.koutny}@newcastle.ac.uk"}]},{"given":"Alex","family":"Yakovlev","sequence":"additional","affiliation":[{"name":"School of Electrical, Electronic and Computer\r\t\t\t Engineering, Newcastle University, Newcastle upon Tyne, NE1 7RU, United\r\t\t\t Kingdom. E-mail: alex.yakovlev@newcastle.ac.uk"}]}],"member":"179","published-online":{"date-parts":[[2009,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-132","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T10:50:33Z","timestamp":1751367033000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2009-132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":0,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["10.3233\/FI-2009-132"],"URL":"https:\/\/doi.org\/10.3233\/fi-2009-132","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"type":"print","value":"0169-2968"},{"type":"electronic","value":"1875-8681"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}