{"entities":{"Q6535206":{"pageid":14146349,"ns":120,"title":"Item:Q6535206","lastrevid":95734187,"modified":"2026-06-05T09:40:25Z","type":"item","id":"Q6535206","labels":{"en":{"language":"en","value":"Transforming dynamic condition response graphs to safe Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7766970"}},"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":"Q6535206$139CE061-2B94-4A1B-8D28-DEF0E300F21B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5a0a2bc1b303ff42f2cd529e876a96cc9260f5f","datavalue":{"value":{"text":"Transforming dynamic condition response graphs to safe Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535206$BE372583-10B3-4932-8633-C77A6C0ECB89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb40b58a15f06a7e9a32f1ac761f5a665e10b96c","datavalue":{"value":"1541.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535206$6A50A05E-91D0-4EC6-9A5E-879302B18D7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b1ee6a57f14439f8adaa69543751bf930f42b50","datavalue":{"value":"10.1007/978-3-031-33620-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535206$5A0B3C03-F597-48BC-BC5B-79E844263A2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"199ff2dcca0a2381da8c0b36fdc5cc1918bb6e12","datavalue":{"value":{"entity-type":"item","numeric-id":6535205,"id":"Q6535205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$40735CC3-74BA-45E2-B6BB-735DE3E85216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82cbfc9d91e0bb47d8fe7c28262db6999b261d95","datavalue":{"value":{"entity-type":"item","numeric-id":2423751,"id":"Q2423751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$E4E94460-B551-485F-9D4F-4B16212637D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53fae3fbd1d3c9f7eda3b701ba86a5c6811a054d","datavalue":{"value":{"entity-type":"item","numeric-id":1671246,"id":"Q1671246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$5D96509F-0B76-4CFB-AFCF-12C83ED4CCEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec3ecea5c09fc0c2fccf666e4f503b4f338e1922","datavalue":{"value":{"time":"+2023-11-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":"Q6535206$CC657EA7-E783-4594-BC00-8E276369ABCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535206$5ED7DB7C-B473-4A18-A653-3493E9B833C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d153e6ddbbe24ee22195f80dbad9c688d8e84340","datavalue":{"value":"7766970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535206$CC66608D-E0F1-46F4-A647-B6CF29F84624","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535206$749D4BA7-3CB3-441D-8541-BB4DC5366727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d4a2b46c7fd37adf6c7120c614403b93817202a","datavalue":{"value":"DCR graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535206$A796CCFC-688B-4574-8D8D-07DB0B22F305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535206$472CD3A6-EA01-4339-A271-8BFC975D7FD5","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":"Q6535206$EA68256B-0373-4AFC-B746-4DF466126858","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"663f342a52e625c551b864668d1e8fa32e8036cf","datavalue":{"value":{"entity-type":"item","numeric-id":4536619,"id":"Q4536619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$6BCC33D1-2FA4-4D0D-9D0D-E6163C40D190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46cfe087175a2c23647340e6242515a020563a7","datavalue":{"value":{"entity-type":"item","numeric-id":1671247,"id":"Q1671247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$0EB7B265-991D-46B0-8C95-306FA89B78A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793db640f0749f5e8e063f85d5afff9d685c0236","datavalue":{"value":{"entity-type":"item","numeric-id":5100750,"id":"Q5100750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$4B99C9CC-8410-4238-A293-FD5049833B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41a3071fe0636d3b0f021d2f5af017a659d02b6d","datavalue":{"value":{"entity-type":"item","numeric-id":2436452,"id":"Q2436452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$4640CFEA-03B8-4284-BFDA-657B769801D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1299767c00b28cb3e16f1aafc73eb72e78d5a7","datavalue":{"value":{"entity-type":"item","numeric-id":4909349,"id":"Q4909349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$58F3A005-7B6B-4A24-AE75-1C5762CC2812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691e71256f594939435ae2b7b3e14f68d6bf9b68","datavalue":{"value":{"entity-type":"item","numeric-id":1958400,"id":"Q1958400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$C93A5F0C-21A5-4D0C-A432-CCF82AB8BC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b81d109e9cce1f8cce6f16bb692ddffdd5d143e","datavalue":{"value":{"entity-type":"item","numeric-id":1902298,"id":"Q1902298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$E1392BD7-2EEC-4B9A-9675-4682B2BE753B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb8385bf5e4486cfc8bc9640f570f9f074c5e33","datavalue":{"value":{"entity-type":"item","numeric-id":5713513,"id":"Q5713513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$45571D23-5AC5-4CB7-B99E-B5C55A93758F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f471bb978faf31202e26dce0282d1b3db285280","datavalue":{"value":{"entity-type":"item","numeric-id":2265817,"id":"Q2265817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$AC0698C8-3536-41C0-BD54-9F04DD1FBC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc1779d0f1e0343605a51e8efa99dd4ff0ba036","datavalue":{"value":{"entity-type":"item","numeric-id":847264,"id":"Q847264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535206$321F6DD5-8467-48C9-A38F-C04C5FA5EEDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9825264bf5572212f23dfa2fdaeff90764aa0f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1671247,"id":"Q1671247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66eec3ebb6af797a28bcb75dfdae42acff5b3a92","datavalue":{"value":{"amount":"+0.7351807951927185","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":"Q6535206$4559C001-A55C-4541-ADA4-292EA0F1E7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd52a09bd267be44e00cc87c194830cbcc007071","datavalue":{"value":{"entity-type":"item","numeric-id":3683540,"id":"Q3683540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d909569d3da63b9b35e9ecd892dc85d9c09eff0e","datavalue":{"value":{"amount":"+0.7323319911956787","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":"Q6535206$28745A49-5BCF-4387-9C5D-343199AE0BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd93b9ccf27d4261e2b64f8b3267f39b36c95cce","datavalue":{"value":{"entity-type":"item","numeric-id":2848075,"id":"Q2848075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230ea5345545db0f179f10031582cbfbc5ffeef6","datavalue":{"value":{"amount":"+0.7302035093307495","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":"Q6535206$387E53F0-01F4-4A27-A668-6995885204DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0d3820b6d5916c2620839a4865e5d069d995d","datavalue":{"value":{"entity-type":"item","numeric-id":5392155,"id":"Q5392155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970022267f8353c132e8c0afdf10711e4cfc7176","datavalue":{"value":{"amount":"+0.7270193099975586","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":"Q6535206$36D93FF9-A9E5-4FDC-B606-234190175D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6fc567e955f9cbf268946f8d7e9cc408dac823","datavalue":{"value":{"entity-type":"item","numeric-id":2894574,"id":"Q2894574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2856abc6c5cb6d675ad987fc8445080b7c0f214","datavalue":{"value":{"amount":"+0.7207030057907104","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":"Q6535206$F37578AD-36AD-41D8-BB49-D87CB4119C68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transforming dynamic condition response graphs to safe Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transforming_dynamic_condition_response_graphs_to_safe_Petri_nets"}}}}}