{"entities":{"Q2215072":{"pageid":2225815,"ns":120,"title":"Item:Q2215072","lastrevid":53887541,"modified":"2026-01-25T21:31:15Z","type":"item","id":"Q2215072","labels":{"en":{"language":"en","value":"Deadlock detection-oriented unfolding of unbounded Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7284128"}},"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":"Q2215072$054D000B-687B-4423-AF60-10058A6F8AA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a2470e12ea71d0279a22588ddf5aeec5bffd107","datavalue":{"value":{"text":"Deadlock detection-oriented unfolding of unbounded Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2215072$06F5432A-07FC-4EFD-8EA3-438FC7051ACE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d660a1bddc2af82193cc12920f3d74ab1663e14c","datavalue":{"value":"1451.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215072$CF9E2FEA-23D7-4AE0-96E9-42B87C827829","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b2b34a70a3d7f96dbe1eb3adc56f13d4b0c47c5","datavalue":{"value":{"entity-type":"item","numeric-id":1718864,"id":"Q1718864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$01FBEC19-E264-4EB1-ABFC-5E2E5BA2410B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fd3475d21eca151c012b6ff1370191ac71b7d87","datavalue":{"value":{"entity-type":"item","numeric-id":2215069,"id":"Q2215069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$A69FB899-08CE-4D73-873B-2587A7772DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"547b7242a65df74928f5eba4db44842661c6e79d","datavalue":{"value":{"entity-type":"item","numeric-id":2215070,"id":"Q2215070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$0C858F81-0EF4-4704-85B8-9DEBB0539B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58594212cf0ce0c10efc10929bc70d106c5255c3","datavalue":{"value":{"entity-type":"item","numeric-id":2215071,"id":"Q2215071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$B91496B4-D6B9-4E0B-A0ED-677901BD163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbc74ab22a0b35ec4ecaa09bcdc1bf61b677f6f1","datavalue":{"value":{"entity-type":"item","numeric-id":726147,"id":"Q726147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$E4139677-FFD9-41A4-A358-2DD7ECEED8F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$A2EA98B4-6508-4675-ADFB-932AEBC96948","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97b59c99be360aa141a468ba100909fcbfbe314c","datavalue":{"value":{"time":"+2020-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2215072$C52A9331-B125-43F5-8B4B-F975527A32CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215072$7FAD6C93-3213-47AB-9E77-3BBF5ED49AFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4331a066c29c4e9f2e8abc56ff0b6b7620c16d0c","datavalue":{"value":"7284128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215072$290931F6-F227-4C58-89BC-8546E0811D0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215072$831245AD-34A3-4E34-A7BE-161D51477D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c57ad59cf3d0781c61ff6711d6e05601a6f7e0","datavalue":{"value":"state-space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215072$2205988B-EDA7-4729-A313-DB10326B38DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54422ad2fb25cf15c7a2c2f0375ff01cba69dca","datavalue":{"value":"net unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215072$37EF2D65-D770-4ABF-BF2B-6B0C464AA6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc9d7903fd3ce12e3c243bd5820c9dadc1a9ebf","datavalue":{"value":"deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215072$2E56B375-43B0-43A9-B790-F82D87CD9CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd59b8d9f40734ce5500c0914b2d395cf8fa16fc","datavalue":{"value":"discrete event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215072$B8C70C2C-1B42-4EB6-8075-4FB6E995503F","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":"Q2215072$B151DEB7-2B12-4A7D-9EED-4F77FB32EE1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfbbc517e11b1e7793b8c703dfdd1403da202718","datavalue":{"value":"https://doi.org/10.1016/j.ins.2019.05.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2215072$009EE502-E892-400D-BD8B-A0BA7BAB377E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e289b7ca4ad55e558fa7d87f8ee484197169998","datavalue":{"value":"W2944639182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215072$7A0931F6-594E-43F5-9E36-61C9C324BEFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1398a83c3e1ce68201939ceee343ee3101fbe644","datavalue":{"value":{"entity-type":"item","numeric-id":2754109,"id":"Q2754109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$BD7F9560-3293-418D-9F29-ECF24CCD5145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07fa6c40fa342d2a6af803ba74b5407b97ea6d47","datavalue":{"value":{"entity-type":"item","numeric-id":5713527,"id":"Q5713527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$35C7416F-D7F2-4B7F-8DAA-294AFE8C9A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb60aa9dfa02dbe8dce73bf63a7b212f61bf5e49","datavalue":{"value":{"entity-type":"item","numeric-id":4633154,"id":"Q4633154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$72AE6B44-F0C5-424B-8410-1E3E2F1CD459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcddded09dc41006a5ed36da3e36e71029c68cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3599218,"id":"Q3599218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$D6EAB95F-5F26-41C7-8BE8-5644B0361BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9b30d436cc415235444ceb3d9d67b46cb47f93","datavalue":{"value":{"entity-type":"item","numeric-id":403021,"id":"Q403021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$19CE9E0D-EAFC-4429-BD81-487D2EEECE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b98b85613a8065e6d08b5bb30fd440bd8cd5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2292945,"id":"Q2292945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$803B1DC7-FBD6-48C6-8D00-CF8125ACD733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d27c36b71d76bdf06be124b4a6529c291f73fb","datavalue":{"value":{"entity-type":"item","numeric-id":5712328,"id":"Q5712328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$846D2EFA-F795-4D10-9F9D-E976B31EF25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92129a26dbf41cdf266b4912c7209843a4f651","datavalue":{"value":{"entity-type":"item","numeric-id":1175711,"id":"Q1175711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$D4159488-3624-4C53-834C-35E2EDE5C239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e03ca564cf05b963250f7918d2a614a0cf0dba3c","datavalue":{"value":{"entity-type":"item","numeric-id":726149,"id":"Q726149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$7AE65396-BCB8-43F4-BC28-EA8852865907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$DEFF65FD-BA44-437F-8BA0-8AF99EA18C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$95FBF3BA-39DC-441B-887D-6516481738D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$F21C2A9B-48C8-4342-827A-046561FE94ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c5869fb672e6c9c4b0d7cab847d4b8a0f6ecca","datavalue":{"value":{"entity-type":"item","numeric-id":3460543,"id":"Q3460543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$21B3A126-4BDF-4859-908B-0AA733E9F851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22de5514f76232ebae1e6056974196aa707d8af","datavalue":{"value":{"entity-type":"item","numeric-id":5357723,"id":"Q5357723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$2E23229D-8A69-444A-9B06-73E8E2EF219D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a04208df6133389b2f1e46bc60d8fb604cddd3a","datavalue":{"value":{"entity-type":"item","numeric-id":2279733,"id":"Q2279733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$40CCE6DE-B2CB-447B-A22F-1B56939247A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0d621d45acefd3e8c1a040bcc6efb8ecf7e7d4","datavalue":{"value":{"entity-type":"item","numeric-id":778456,"id":"Q778456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215072$17DB12D7-8C1A-4ADF-BF06-A39151158932","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cba290b74139cd0c4af5b96a3b0a4eaf82475463","datavalue":{"value":"Q127882100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215072$99F608BF-133F-4B49-8426-6C048DC74D14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d597f1a300b0449e88c8136249d3af37ea864cb6","datavalue":{"value":"10.1016/J.INS.2019.05.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215072$41836EAD-E823-4DFC-8229-4B41B18EBF28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f90e5e088879ed480e77236ddab5b457056300","datavalue":{"value":{"entity-type":"item","numeric-id":2754109,"id":"Q2754109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e7222ff6ea31b0a85626bb5d3d6e5283fcb5b9","datavalue":{"value":{"amount":"+0.8287026286125183","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":"Q2215072$E0248993-9F02-48E5-AFED-50C4944826DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66fcb8f17e78da1ac15821817d47e995ca120f0","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c0d5df3bc96bbb92bc6b3081100771ba9adf057","datavalue":{"value":{"amount":"+0.8273295760154724","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":"Q2215072$CF37AB28-88D6-4DEE-BA5B-3B2CFBC247BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab74b742c88f15412ed53a138c37dce0e907fb2","datavalue":{"value":{"entity-type":"item","numeric-id":4536617,"id":"Q4536617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b029edc6ed833bde628069782977e65db9d6071","datavalue":{"value":{"amount":"+0.8265973925590515","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":"Q2215072$92FC4A01-52E5-40B6-80BE-AC5D535DAA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4602e89f02bdbb21ca9314b5250489670139c048","datavalue":{"value":{"entity-type":"item","numeric-id":4791845,"id":"Q4791845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b029edc6ed833bde628069782977e65db9d6071","datavalue":{"value":{"amount":"+0.8265973925590515","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":"Q2215072$56F22C09-2666-4B52-8435-6F309E5D975E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b75c30d82a8bad8b56a430f039c479cc778d199","datavalue":{"value":{"entity-type":"item","numeric-id":1346682,"id":"Q1346682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7183925e9ac2302c836a13134371b1645b6aecd3","datavalue":{"value":{"amount":"+0.8208773732185364","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":"Q2215072$E57C80B3-F679-48A9-9A43-4253608E80BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2215072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2215072"}}}}}