{"entities":{"Q554219":{"pageid":555986,"ns":120,"title":"Item:Q554219","lastrevid":62764806,"modified":"2026-04-11T08:18:27Z","type":"item","id":"Q554219","labels":{"en":{"language":"en","value":"Decidability and complexity of Petri nets with unordered data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934198"}},"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":"Q554219$362785DF-3707-4C54-91DD-B84A610EFDC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47c2bd347f10432823c19c3b62d3ad03c7bc9e19","datavalue":{"value":{"text":"Decidability and complexity of Petri nets with unordered data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q554219$95048C1B-32CD-4CE0-BD63-E02BD138435B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55e93e12ae855c09f19c475dceb15902dbab320a","datavalue":{"value":"1231.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554219$A750450A-B324-4758-A4F3-4A8B9DC43CF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af934de01236ff6769f9de152ad7c0dc72bd9980","datavalue":{"value":{"entity-type":"item","numeric-id":529042,"id":"Q529042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$0859A976-08ED-4562-A1EC-1026E8633EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6bf172b5d1200fcf3f7cb099da34bf819de36","datavalue":{"value":{"entity-type":"item","numeric-id":554218,"id":"Q554218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$5C1F4665-8A3C-4227-A73C-B207A0526854","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$8C4DD084-5D0C-4A09-8132-5578B62B94C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q554219$4F6C56FA-91A8-4D63-A94B-0ADD1F2EB490","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"860660840d3623c2e75c3358242957c4810fb6a5","datavalue":{"value":"P/T-nets are a fundamental class of Petri nets (models of concurrent and distributed computing systems) for which a number of key behavioural properties, including reachability and boundedness, are decidable. Reachability is concerned with establishing whether a given marking (or state) can be derived from the initial marking of a P/T-net. Boundedness is concerned with establishing whether the set of markings which can be derived from the initial marking (i.e. reachable markings) is finite. Extending P/T-nets with additional modelling features, such as inhibitor arcs testing for the absence of tokens in places, often renders reachability and/or boundedness undecidable.  The paper is concerned with an extension of P/T-nets, called \\(\\nu\\)-PN, in which tokens (resources) have identities that can be compared for equality, and in this way they can influence the dynamic behaviour of a net. New names can be created dynamically, and \\(\\nu\\)-PN can be used to model systems in different application areas, such as mobility and security. The paper proves several decidability and undecidability results for \\(\\nu\\)-PN. The first is a simple proof of the undecidability of reachability which is obtained by reducing reachability in P/T-nets with inhibitor arcs to reachability in \\(\\nu\\)-PN. This also means that, unlike P/T-nets, \\(\\nu\\)-PN are Turing powerful. The paper then encodes \\(\\nu\\)-PN in terms of Petri data nets for which coverability, termination (concerned with establishing whether there exists an infinite run) and boundedness are decidable properties. Moreover, Ackermann-hardness results for all three decidable decision problems are obtained. Unboundedness in a \\(\\nu\\)-PN can be due to an unbounded number of different names in reachable markings (width-unboundedness), or due to an unbounded number of instances of an individual name in reachable markings (depth-unboundedness). Width-boundedness was known to be decidable, and the paper proves that its complexity is non-primitive recursive. It is also shown that depth-boundedness is undecidable. Finally, the paper proves that the corresponding `place versions' of all the boundedness problems (for example, the place version of boundedness is concerned with establishing whether a given place can hold an unbounded number of tokens in reachable markings) are undecidable for \\(\\nu\\)-PN. These results carry over to Petri data nets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q554219$12A46053-EDEB-4FB0-A484-651C414217DA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5279059fc6d20bb27ba5bbae128acca6e980d64","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$090C87A7-83E1-4A6B-89EC-31FE5A81C02C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554219$B1DE472B-C08B-490F-90A5-305C61031FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554219$D2877D98-C7C9-4031-8EDC-A2D058D190DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554219$0130976E-1134-4F05-A190-2909CCFBC4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554219$B11F3D47-C74D-44A3-8C5F-A596B7EBE77E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac48a972db0aadf409726f622ca1998c38905e91","datavalue":{"value":"5934198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554219$5B17E222-5C2E-41E6-BA7E-955EBFA61F06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q554219$EC8AA950-FE9C-4F10-8E31-1BD0631C5667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0086def66c20051fe985608400cfd1a64287ea1","datavalue":{"value":"pure names","type":"string"},"datatype":"string"},"type":"statement","id":"Q554219$18319EE6-ED26-4BE4-A4C5-6F9E1C89AF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9ffb48a91e943ce3c733feac83ddb601e3b075","datavalue":{"value":"well-structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q554219$A87FFDE2-5424-4D10-88D4-361D7A8496C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q554219$00A7DF36-63EF-4FFF-AC58-479966E6E9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q554219$F664F599-E96E-4EE3-9345-800BA0601630","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":"Q554219$D2783ABA-DD98-4ED9-A92A-300E38991139","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"decbd2079768d773e1db329cc94fa14485eead98","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.05.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q554219$250DB36D-CB6E-48D7-990F-3E5EA665AA0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b81575d98ba9053304f6d13697645da6774ce38c","datavalue":{"value":"W1992428614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554219$2AAD0B5A-A1E7-433F-827F-9671847EBC91","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f03e4f2c790ef57247bac4b86e719466de7cdff1","datavalue":{"value":"Q57831211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554219$4ECBFA9B-7E27-4F84-941E-C5B07CA3693D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$EBF40A40-FCE4-4754-AF29-EBC37694578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c01a8b94e23418e9dad586b3518d53b504e9b0","datavalue":{"value":{"entity-type":"item","numeric-id":553290,"id":"Q553290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$A15C4C18-D4E8-4934-B018-A86B159EBA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$5EFE58E0-BCF9-40FB-A16A-7C357ED803E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6107f439493ab98ebdbc901c291d91cd4d56c76f","datavalue":{"value":{"entity-type":"item","numeric-id":3430665,"id":"Q3430665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$B1592AF2-E892-43D9-B4F6-63322887754C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0346c3fe76372f13cf425f5501025336a40ef656","datavalue":{"value":{"entity-type":"item","numeric-id":4247286,"id":"Q4247286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$873893C9-5578-4596-BD18-4E9A289E7CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def0c42d99dc008702fa6a06159eb4be3a02c24c","datavalue":{"value":{"entity-type":"item","numeric-id":5422278,"id":"Q5422278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$D74F145A-6AB9-4B54-A469-B3B730D6C120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$71C7C471-6259-44E2-BE45-D2F6EA3CD044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b535dfaa1c90eb455e7f79ab1884232d5aced7","datavalue":{"value":{"entity-type":"item","numeric-id":4938633,"id":"Q4938633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$9CFD7E3A-6E1E-4861-97A5-CF86636E07D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257df51e393b0d853943fde502aaeb273a88b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4289279,"id":"Q4289279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$8FE4235B-7C8F-428B-B315-3A0A7C330E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d83092f8c95d7d524e1fd306669278c84f755b3","datavalue":{"value":{"entity-type":"item","numeric-id":5389997,"id":"Q5389997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$17E85FBE-F52F-470C-8298-9FF8A4130CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44e5738e739579e3429c25fb182bd984c83b01f","datavalue":{"value":{"entity-type":"item","numeric-id":3638095,"id":"Q3638095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$79760169-F0AE-4E8D-AF57-77E5051AFA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$94074CB8-EB89-486A-B37B-24353EE78370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fc71a814c01cec091b000484fd5273370dc100","datavalue":{"value":{"entity-type":"item","numeric-id":4798028,"id":"Q4798028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$365C8B77-5FF2-4197-A5C0-B2C2DC149A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4891d24a57b8332c6d4a94a972ea02c5f5ccac","datavalue":{"value":{"entity-type":"item","numeric-id":5713505,"id":"Q5713505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$CEA1DA2E-8D84-4799-B764-47D79295BAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8655f8d6d1a8d0be7e888dd46e08ebb849271edc","datavalue":{"value":{"entity-type":"item","numeric-id":3569858,"id":"Q3569858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$3B9D7DAB-364A-4262-9092-A487EDA5481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297334d42e117bbb7e43d239167ce6768ad51424","datavalue":{"value":{"entity-type":"item","numeric-id":5422285,"id":"Q5422285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$323BCA1F-461D-4C91-823C-17317F2560DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43067a5b0db5367576f29b2164d7c6ed8d97a7db","datavalue":{"value":{"entity-type":"item","numeric-id":5192934,"id":"Q5192934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$04DB279B-F6D6-4828-BD07-CB4675723FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d9d47ccdd83adfd8575188118affeadf7b27e9","datavalue":{"value":{"entity-type":"item","numeric-id":5712334,"id":"Q5712334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$4A9C052E-8E25-4DEE-AB79-B91BCA3FBE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35d7585c8f8df12c7d463aff61a71557be15cb7","datavalue":{"value":{"entity-type":"item","numeric-id":3601861,"id":"Q3601861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$1CC70EFC-89B3-4D8A-B2C5-4C873A999266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a35c4e6b2faa3a81096a9e50caef3080637a60","datavalue":{"value":{"entity-type":"item","numeric-id":4507821,"id":"Q4507821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$287D8C89-8A2F-489E-924F-BF7100C8AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d0c67f8326c13fffd8d9f0dc11e248e212cd0b","datavalue":{"value":{"entity-type":"item","numeric-id":4511269,"id":"Q4511269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$EE18F18A-5544-47DD-BC23-25E6D8E66BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5e38f8d34b0707793bf5b5a22f18637c5b6af7","datavalue":{"value":{"entity-type":"item","numeric-id":2908202,"id":"Q2908202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$5B08F9A1-1818-4342-BE2F-07FF8569BE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbd552339b50e4fb637ebebf5d4cba84a9a9e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3691785,"id":"Q3691785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$5DFD14F8-B6DC-41BC-BE1E-78EAD15DDEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$4F0FFCB8-3A48-4908-9E70-06EB7C83B760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9ba96c95e8135edfe20aebefa5872c031ebee9","datavalue":{"value":{"entity-type":"item","numeric-id":3601864,"id":"Q3601864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$72EA548D-BB4A-42FF-9710-A9D97F89EAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e946edfeadac8a4b27e5aa96723e257417e5d3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3569867,"id":"Q3569867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$5FD9066A-1A98-436E-86A1-D8044CD90B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7541293757241db5c42b741535ba467f7fe73b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3084987,"id":"Q3084987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$78BAB243-B405-4409-A0C8-BC6D2817795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6d869dae1fa4d415feca57ac48a30e7fabaa51","datavalue":{"value":{"entity-type":"item","numeric-id":2864393,"id":"Q2864393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$5060A672-A542-49A3-BDEA-066200F946A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3feebf644fbf5979d96664f07d862fbfe8cc287c","datavalue":{"value":{"entity-type":"item","numeric-id":3586117,"id":"Q3586117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$299397C5-5AE1-437B-B21D-CB435BAEF0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced99b794cd9aaff55225dff3508ba9f79132ab8","datavalue":{"value":{"entity-type":"item","numeric-id":5055702,"id":"Q5055702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q554219$EBC0FEB9-D497-49BA-B135-3D3C4896CDA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43014491d1bdf8899d6964b6a3e314a22e8e8111","datavalue":{"value":"10.1016/J.TCS.2011.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q554219$436C342E-0170-4E99-A933-86E0E1F6308D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6bc7e4746f0273edeb41b3853c35a01ecea0a","datavalue":{"value":{"entity-type":"item","numeric-id":3084987,"id":"Q3084987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d0fde15fec1c3f9de4d8a6a39599051cc0743d","datavalue":{"value":{"amount":"+0.851922333240509","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":"Q554219$98E0F706-FBC1-4A44-BED5-7F79094ACBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710663909285e7aac13d92a50d0dc1c1689741db","datavalue":{"value":{"entity-type":"item","numeric-id":2811357,"id":"Q2811357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2041f7e8911a3f93c78a0664a59d6c346bdb5c2","datavalue":{"value":{"amount":"+0.8518233299255371","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":"Q554219$2C5EC1A5-79C0-4FDB-8BC2-33D5486544AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f6a484460efe676110498853af7e5d6157e65a","datavalue":{"value":{"entity-type":"item","numeric-id":3636840,"id":"Q3636840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d50219dbf763031aa03660e314521119f23df1","datavalue":{"value":{"amount":"+0.8295886516571045","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":"Q554219$D4DBD928-BBF0-4D68-BC03-8F970C921901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617f6c0dcb91397eda62325b1afa3c66a092983f","datavalue":{"value":{"entity-type":"item","numeric-id":3225720,"id":"Q3225720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a28f9a0f450e28449a5107ec759fcb2d34ae029","datavalue":{"value":{"amount":"+0.8234280347824097","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":"Q554219$309F9E8B-4B47-4ABE-83CD-951DF38E3BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f0949330ef53bbdeeba89f43a4651ab611b69e","datavalue":{"value":{"entity-type":"item","numeric-id":3601861,"id":"Q3601861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dfa4f2df9ee734666d82227a9ee4b4e7ec58434","datavalue":{"value":{"amount":"+0.8233192563056946","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":"Q554219$73535327-2CC8-406D-9BED-874A0C22D7A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability and complexity of Petri nets with unordered data","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_and_complexity_of_Petri_nets_with_unordered_data"}}}}}