{"entities":{"Q515678":{"pageid":517445,"ns":120,"title":"Item:Q515678","lastrevid":62449218,"modified":"2026-04-11T06:09:41Z","type":"item","id":"Q515678","labels":{"en":{"language":"en","value":"Characterisation of the state spaces of marked graph Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6695650"}},"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":"Q515678$26EDA5BD-75FA-4FAB-8007-988EA514801F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a288785ffc6f8f95a32b02a137d9fd6ad7533a09","datavalue":{"value":{"text":"Characterisation of the state spaces of marked graph Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q515678$0E2012A2-0B78-4AA9-8428-30EF8AADFD15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b7faf082692a2eda2906baabe60cf993a54406b","datavalue":{"value":"1409.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515678$DA39B5F3-2495-45BF-9422-37BD1B371DDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$26672379-B1DA-41D8-9682-57C6D0E81A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$DBA82D10-BDEC-4992-8571-A6AE5F1615B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$13FFC510-2A79-4175-97FE-FB5EE61F6C8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a100554adb1e2b0d1babf8218299a9a118ef9b82","datavalue":{"value":{"time":"+2017-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q515678$1CAB5C80-AA30-414F-96B8-A76EDB865264","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef43f96b6a7298de6826a003b2f2477ef0dd7dc5","datavalue":{"value":"A marked graph Petri net is a Petri net where each place has exactly one ingoing and exactly one outgoing arc, and hence no choices, i.e., alternative routings of tokens. The paper shows that this structural property of a Petri net results in a structural property of its behaviour, given by its reachability graph.\\par Moreover, the authors are able to characterize all reachability graphs that result from marked graph Petri nets by structural means. The result is obtained by a distinction of cases: bounded marked graph Petri nets with finitely many reachable states and unbounded ones with infinitely many reachable states. For each of these two cases, it is shown how to obtain a reachability graph which satisfies the structural property. The converse direction is much more involved, to synthesise a marked graph Petri net from a graph with the above property. The synthesis procedure constructs a unique minimal net and moreover allows to compute its initial marking and all maximal token counts on places of this net.","type":"string"},"datatype":"string"},"type":"statement","id":"Q515678$0F0A70A8-62D0-4D98-9A8F-09422F22645E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"278cb718fa512f840b9c5522dfe38ff5e946abf8","datavalue":{"value":{"entity-type":"item","numeric-id":589393,"id":"Q589393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$3F4A02AE-E420-4102-B7C0-6DE3CEDEA770","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515678$A4AF6C7D-4BAB-44EE-83FA-5BC89A60917A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515678$B03AF8F1-DCB7-4D1E-BCB6-C526D6215A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515678$0E137B59-639F-4DF2-9E99-B0508DE9D334","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0730e1cbe071be5ae1dd075f39d95f182f7ba4d","datavalue":{"value":"6695650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515678$064C1EC1-F486-47F5-BEBD-E1B816FBB9BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q515678$984C7AAB-B385-4B68-B102-FBAE8D04E6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90d2b0cedad86395d09c6c52108833d65b326755","datavalue":{"value":"marked graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q515678$91D312A2-FC70-4A78-A0F5-A827FAE71C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q515678$2DCF62C2-57BA-4A8B-9298-C3FDE25F2837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f33e87c09b06e313412ac0b05668e00d2fbf7e0","datavalue":{"value":"region theory Petri net synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q515678$C5F58A54-3B1A-4558-9D16-8502058E0FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e5b74ea6b6ec937eabb783233d834c2c84b67d","datavalue":{"value":"reachability graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q515678$60685539-4B2E-4A22-8D59-EAAB5848CCBA","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":"Q515678$63C28535-0E91-43D7-A88D-C352AC0C2353","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fb3937b2636ed65e1c5df98a1d52478a92fcc05","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.06.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q515678$7AC77BEA-BE79-411A-8F6C-9310539897A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81d01c6e7a830b55e588872048294979adc812de","datavalue":{"value":"W2210149873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515678$D0D0EFEE-86E0-4C52-A97A-F767ED072496","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45674943e543059b7bac638c13624e47420b549","datavalue":{"value":{"entity-type":"item","numeric-id":897109,"id":"Q897109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$8938C8C5-1B25-4C0E-848F-1E451D1E514D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1034fab86893de89a152f5b0894535ef8dc037c4","datavalue":{"value":{"entity-type":"item","numeric-id":4247291,"id":"Q4247291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$9CE28C93-87CA-46AC-82D9-CE50DBD6227F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744d6ef3537beca7abf0af02c552eacd47a9431e","datavalue":{"value":{"entity-type":"item","numeric-id":1015394,"id":"Q1015394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$B36EBADA-EF46-465B-8BFE-63D203E33D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8305be2fb6a05d09a3984bc3511c14c1e734c30","datavalue":{"value":{"entity-type":"item","numeric-id":5404909,"id":"Q5404909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$C2553255-5DC5-4C4E-B548-A4AE8E3730EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a3519290915cfe2db41a155fa110bdc27c30e6f","datavalue":{"value":{"entity-type":"item","numeric-id":5166759,"id":"Q5166759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$9136718D-58AD-4D5A-848F-22D69F91ECA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70debe14c8b8451e566a39412ce97327d79c0f78","datavalue":{"value":{"entity-type":"item","numeric-id":2257983,"id":"Q2257983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$DA9BE960-24E3-409A-842F-532AC120474B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9cd5c01b1cca7327227f4cf60105f4a1181566","datavalue":{"value":{"entity-type":"item","numeric-id":2340253,"id":"Q2340253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$4D958DF0-3B1E-4FF5-BCB7-87CE8AF2ECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1752c57a91d192f572b67adeaab5f82566d12c0","datavalue":{"value":{"entity-type":"item","numeric-id":2803576,"id":"Q2803576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$1DAA85F8-48E9-4A42-9DA1-BC1AED8039F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97550aae03029faab9a0287df42918146f581e9","datavalue":{"value":{"entity-type":"item","numeric-id":5357699,"id":"Q5357699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$F1802FF9-4240-4239-95C2-9DAD7108A33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004893761a1ba419f20bd0d2cee6ecb5ba162dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2552879,"id":"Q2552879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$FC30F20F-15D8-4104-8B82-C8B950201321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd07be7c992ec078b868a15305f585a354972dc7","datavalue":{"value":{"entity-type":"item","numeric-id":5712276,"id":"Q5712276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$E09AC49E-DA44-4A11-9743-D342174E13C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca06766684d6875f2b6c3dc42b2014a90381129","datavalue":{"value":{"entity-type":"item","numeric-id":911308,"id":"Q911308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$8FC5E879-FAA1-4BF6-A622-44EF31BC26C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438f865e79e7c057327ed465f59a2a7623186357","datavalue":{"value":{"entity-type":"item","numeric-id":2554953,"id":"Q2554953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$BD050E1F-1597-4B70-8533-BEE88BE43D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68274163d90ce4711a68b0279a3a80b8279fb529","datavalue":{"value":{"entity-type":"item","numeric-id":4055201,"id":"Q4055201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$F3513E1E-C115-41C0-85EC-302F21D3B693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cf1d5d871fd5755b77acd01deaa51f98e63eb0","datavalue":{"value":{"entity-type":"item","numeric-id":4164838,"id":"Q4164838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$B9B5F901-1040-47CC-8DC4-2106A5682775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q515678$9624CDF7-8A49-4773-B395-3DAA6AED4209","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7b6523737b7ad374c519bbd41b40270b9846910","datavalue":{"value":"10.1016/J.IC.2016.06.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q515678$A7C5952A-7FE7-4312-BD94-E43AC309901E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"886f35e3f7dfb585e56a17861d104678268de095","datavalue":{"value":{"entity-type":"item","numeric-id":5404909,"id":"Q5404909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a03a079d2f28cc5d8c15596b0ac6035b2180af","datavalue":{"value":{"amount":"+0.9453204870224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515678$B4007C86-D0A0-4C4D-A8D5-1BCF1181F1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3319efeea0d298d1265a470ae64b99639aa4572c","datavalue":{"value":{"entity-type":"item","numeric-id":1623288,"id":"Q1623288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dab0b9ac3f96b1fac3b8918e34ba5731546aec","datavalue":{"value":{"amount":"+0.858449399471283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515678$A73F5321-DFCB-465E-B29A-7EDDA72F3218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dede5ee9fbbfe2f4df669e72dd77005c9794182e","datavalue":{"value":{"entity-type":"item","numeric-id":5212019,"id":"Q5212019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de236c6751922a3a093564c8768617da4c9a8460","datavalue":{"value":{"amount":"+0.8448152542114258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515678$F2BA5822-F102-416A-B82D-C7192BCCA2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314e5f77c03a41a69dab2cf199df1f3b60779bd0","datavalue":{"value":{"entity-type":"item","numeric-id":5192926,"id":"Q5192926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8102d03c985545df804fdcf1980d54ab833c303c","datavalue":{"value":{"amount":"+0.8392520546913147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515678$B8E37830-3EBF-4F19-B556-08214A6C54E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b585be8189643ff9b3ecd9698d2a2616d56e36b","datavalue":{"value":{"entity-type":"item","numeric-id":4281514,"id":"Q4281514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f553e6556aefb721a880fc8cc407e8c7f32ab0bf","datavalue":{"value":{"amount":"+0.8328444361686707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q515678$2D0713BE-BFF2-4FE6-B786-D61B16EB473C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterisation of the state spaces of marked graph Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterisation_of_the_state_spaces_of_marked_graph_Petri_nets"}}}}}