{"entities":{"Q2805422":{"pageid":2816160,"ns":120,"title":"Item:Q2805422","lastrevid":79410761,"modified":"2026-05-06T13:50:39Z","type":"item","id":"Q2805422","labels":{"en":{"language":"en","value":"Verification of scenarios in Petri nets using compact tokenflows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6579334"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805422$1CEFE04E-3BE1-4501-B818-8D788F6B9783","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b04ed18a85f4f0e37cec65bf651e994160f36cb0","datavalue":{"value":"1357.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805422$37F67251-279A-4725-89AC-66D20AEDE6F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20d201b965461395e8a44be3d871d4824d05196d","datavalue":{"value":"10.3233/FI-2015-1172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805422$D342F66B-C0DF-4E9A-AE63-13B4BC62F9E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"084f840dce6c143a2206fc38b3a8939f034c0252","datavalue":{"value":{"entity-type":"item","numeric-id":1006645,"id":"Q1006645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805422$FA8216EB-0F49-432F-9FCC-A4C31ABF8ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbd306ead84f2ec677888d19ec679e2183dd9389","datavalue":{"value":{"entity-type":"item","numeric-id":1006643,"id":"Q1006643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805422$4B6AABAE-C9E7-4DBE-83CC-41B825FC681F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805422$D7393A1D-6DD9-4A3E-9872-2A359C210A42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39aa9fdf5ab62c801ce885c7d8f139e97b3cfa9f","datavalue":{"value":{"time":"+2016-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805422$C0DCF1D9-906D-484A-87A7-2CE743449017","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805422$67AFE369-152E-4CEE-BDBE-147D714C87B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805422$07A10CBD-A0B8-4A17-989B-EB8E441D14DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f541da1001c5cbddbf075270c0951fcaa187ea5","datavalue":{"value":"6579334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805422$5B2196FB-688C-4876-9512-ED9AF02DFCF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805422$3409DC8B-0EBB-41D2-B442-2EB1FB74758E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cd70fb7787b96b0098e8da6a63f5d6309a7efc8","datavalue":{"value":"scenario","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805422$D37FA6D0-7A65-4C56-A864-24BAE593E276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7545783146819725b92794b16ce755495d93bf71","datavalue":{"value":"tokenflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805422$F8044A7D-751C-4622-9842-DA89FB8EBD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fdf22c5f890b8c0e88c457d24a967d9fed81725","datavalue":{"value":"inhibitor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805422$FEB895DD-2EBC-4738-8F9E-BF34E3718147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805422$874F2AC0-5CF9-4FAC-99F3-2C1C28AA7C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa6186095afde37514cf304062d651a364f7372","datavalue":{"value":"labelled partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805422$803AB814-F6B5-46E2-9B7F-EBF8BE1AF48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff6086541ec7f5046b8f927b1f1e076e1cfeed8","datavalue":{"value":"labelled stratified order structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805422$48025F63-C7F3-4F38-8658-31C3376C174A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805422$C5C7D7C5-375C-463E-B55E-1FA6A94B1719","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edfc5c4d74929bdeb6f7570d137c8a4a3b429e7f","datavalue":{"value":"https://doi.org/10.3233/fi-2015-1172","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805422$CAD947A8-A4F1-494B-82D9-9F2D97EE7A2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db9aa5cf0b486156bf3bc1eb6f04d119cfdfd6ab","datavalue":{"value":"W1560962653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805422$5CC79867-06A2-489A-83EB-CD255D15364B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6244c89be92a347f90165bfaa5557b1c511acf","datavalue":{"value":{"entity-type":"item","numeric-id":5300880,"id":"Q5300880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207c5ca5ad88e6f110f4aae92fd06551cfefa349","datavalue":{"value":{"amount":"+0.9035179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805422$87F87793-6234-4582-B5F8-8F80B79ED00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cf74827a6dd2c25421e5e84684a1266a59b949","datavalue":{"value":{"entity-type":"item","numeric-id":1006647,"id":"Q1006647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c77bd204cae9b8d3c21b2d094f4780d5515de422","datavalue":{"value":{"amount":"+0.872647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805422$847C82A7-51FA-497C-BD5A-BB8513D254AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d630ca7c62760d40e3232585a45745fd3df68059","datavalue":{"value":{"entity-type":"item","numeric-id":3618710,"id":"Q3618710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d40dda92a5f42bdbdd4b51a82fc01e41c2fd88","datavalue":{"value":{"amount":"+0.8619622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805422$B9285D43-83A9-41CA-B666-38439E25457D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa2a132eca7fa75853366ceda71a4e7cd45a10b","datavalue":{"value":{"entity-type":"item","numeric-id":3636847,"id":"Q3636847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fab9f8d83d71c6c0055e4fd0db685b4fe9fb2de","datavalue":{"value":{"amount":"+0.8372991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805422$311B01E7-9D19-40B3-B874-2557D803A373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0abc0f6807a21ae68077664474d5750e11cc117","datavalue":{"value":{"entity-type":"item","numeric-id":5713507,"id":"Q5713507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2cb4d8ca70880d2e10069ce53c1600d8c211ef2","datavalue":{"value":{"amount":"+0.8369352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805422$E6DFE7B4-9AF4-495A-AE1F-9A3C9D07A1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e2566eff77d10418f20d6aec0666502fa7ce44","datavalue":{"value":{"entity-type":"item","numeric-id":2908206,"id":"Q2908206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec3bdafc4d43a0ef965fddc27105826c284d767","datavalue":{"value":{"amount":"+0.8225848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805422$6C2BBECC-0576-4F83-9C3C-82F664225293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd72464fbe757fde9b3b1e7d17afdc429350a03e","datavalue":{"value":{"entity-type":"item","numeric-id":4037094,"id":"Q4037094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71efdbb4acc726f1091e52a230dee1fc41dfee3c","datavalue":{"value":{"amount":"+0.80735254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805422$4B2573BD-33B6-4B5A-932B-9265B7C2AFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fe1393c21bfb0d78d1442da7315fc61139bb52","datavalue":{"value":{"entity-type":"item","numeric-id":3493244,"id":"Q3493244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff17cd67dced9e409a204e77cf9b4ed99f44972","datavalue":{"value":{"amount":"+0.8060638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805422$B55DC6E0-F4EE-4D1F-805E-C0C4D790CA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e33e645d06072c693f92489034f44813f6c8fe","datavalue":{"value":{"entity-type":"item","numeric-id":5200078,"id":"Q5200078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bedc25dfce2cf1dee7c2742091c77aae25d805e","datavalue":{"value":{"amount":"+0.80534697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805422$7DCBCF8F-838B-4263-B5CF-992812C46AF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f8c0acaf13d2367451160192ff973749a2202d7","datavalue":{"value":{"text":"Verification of scenarios in Petri nets using compact tokenflows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805422$81692B7C-CE46-4FB6-A30C-157C31BCBC81","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6a891c7cb5e3d6bf0f4835effd8d31ffe2021d5","datavalue":{"value":"A scenario is a specification model that can express causal dependencies and concurrency. In the paper the problem of verifying whether a scenario is executable in a Petri net is studied. Two types of Petri nets with arc weights are studied, namely marked place/transition nets (p/t-nets) and p/t-nets with inhibitor arcs (pti-nets). A scenario of a p/t-net is a labelled partial order (lpo). A scenario of a pti-net is a labelled stratified order structure (lso). Accordingly, the question is either whether a given lpo is in the language of a given p/t-net or whether an lso is in the language of a given pti-net. Different approaches exist to define the partial language of a Petri net. Each definition yields a different verification algorithm, but existing algorithms perform quite poorly in terms of runtime for most examples. A new compact characterization of the partial language of a Petri net is introduced. This characterization is optimized with respect to the verification problem. The paper is a revised and extended version of the conference paper [the first author, Lect. Notes Comput. Sci. 7927, 330--348 (2013; Zbl 1335.68163)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805422$7CB0C341-9AAC-4B10-8B19-0B17040DE940","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"773908fafc294c05eb3467ec5d713b5469e8b7b3","datavalue":{"value":{"entity-type":"item","numeric-id":590927,"id":"Q590927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805422$B85C5907-5B9B-46FA-B0F6-E6916CFD82D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of scenarios in Petri nets using compact tokenflows","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_scenarios_in_Petri_nets_using_compact_tokenflows"}}}}}