{"entities":{"Q5111618":{"pageid":7141192,"ns":120,"title":"Item:Q5111618","lastrevid":53741171,"modified":"2026-01-25T15:43:51Z","type":"item","id":"Q5111618","labels":{"en":{"language":"en","value":"\\(k\\)-bounded Petri net synthesis from modal transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204923"}},"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":"Q5111618$F08D6E17-02CC-415B-99FB-244B53407F10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a560103f7aeaa51b38292f0dc5e12f10eb98d844","datavalue":{"value":"1442.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111618$FA3F2461-B52C-4532-903C-B2ABCA737D4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83690eea2234d39a9619798cd3d173b547b40e72","datavalue":{"value":{"entity-type":"item","numeric-id":1647717,"id":"Q1647717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$59DAA419-00BE-4B5D-A2C8-605B85D8D7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4fe8e1d078b2f0527d73ee9b65fa61d7f07395c","datavalue":{"value":{"entity-type":"item","numeric-id":927094,"id":"Q927094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$81D6F5D4-EBA2-40DC-ABA3-EC7C0A9D0011","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111618$7DB84A4C-71EA-4182-8AB9-8350B739C6A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111618$087FA11F-1B83-4EFC-8816-55BB22520485","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b41f0813a295e3428a9e7ba892c625f4e0fd06b2","datavalue":{"value":"7204923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111618$82AE4B59-03F4-4CB5-A943-58B194C464CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c4862b34c66f51a13987dde22a192047a6fb3a","datavalue":{"value":"modal transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111618$E9A091CA-1421-48E4-A35D-BAC35732EE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bbee816ca559283ee96f4a8347a942a43693582","datavalue":{"value":"bounded Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111618$C495BCBB-166B-4751-9CC3-EE47C1EA8EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111618$75257D75-184A-4064-8CF1-81B2EBC9387F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69a6cdd50aa1b254a34e32e1cecf25951df27d2d","datavalue":{"value":{"entity-type":"item","numeric-id":21227,"id":"Q21227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$13216158-8FDA-4471-A13C-718DBB4ABAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"06204287a780b9c87beccee87178466390691ed6","datavalue":{"value":{"entity-type":"item","numeric-id":34960,"id":"Q34960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$BA03618B-F43E-4DFF-B52F-1A3113073021","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":"Q5111618$1C0FF8EE-9BE8-471D-A0E7-8ED51090D116","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f70262b2de3784ad85111ea4ec26a1867cb6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3396636,"id":"Q3396636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$23E4BFC2-00F9-4BE4-8CCC-6FBD50C34383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a91113343c7dfc7f86ef75e6affd4cd26cd44c","datavalue":{"value":{"entity-type":"item","numeric-id":5445157,"id":"Q5445157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$D70A47AB-7266-49D6-8BA6-BB06662C3FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e08b6ae52192dc9ce35c89d28317c42c7cdab7","datavalue":{"value":{"entity-type":"item","numeric-id":1389765,"id":"Q1389765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$EFE1270F-B8F5-4BB5-A2A4-47EB8A788763","rank":"normal"},{"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":"Q5111618$0730456D-822D-49C5-B6B4-7398349E0C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74ffe8626e341d19264f572566def528882e65c","datavalue":{"value":{"entity-type":"item","numeric-id":1849592,"id":"Q1849592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$6B2DB42F-4A14-480D-834B-70257D8B090E","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":"Q5111618$63BB5AA5-0190-4F8C-9A33-49336A3F920F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92521dc0eaa8b1a257ea0a156853ad3d1c47c2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3457969,"id":"Q3457969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$59829572-B897-4EBD-8F3B-1E60AE404EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4d1b58cbbd07bee82434ade0c70aa941adf12c","datavalue":{"value":{"entity-type":"item","numeric-id":5280804,"id":"Q5280804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$EB036AFB-5DE2-42E6-8EB8-8948E2C0EE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2087a53324bee5e78d4ce1a9934edb2635d45ef5","datavalue":{"value":{"entity-type":"item","numeric-id":3510859,"id":"Q3510859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$D072C2E5-74D2-45BD-9270-8DBA192A8322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"904621a1d06c72725380c20ce1978ef40111d83f","datavalue":{"value":{"entity-type":"item","numeric-id":911307,"id":"Q911307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$2B74066D-EF64-4343-8BA9-2D95337145B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$566915D5-436D-471C-9506-DC718F23F7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf184b2b10083e857039ebc2c822568a0c412fb5","datavalue":{"value":{"entity-type":"item","numeric-id":5166714,"id":"Q5166714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$E97C521C-7177-4A0F-996E-5C3D1FABD5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7c56af1934ed4827b02897410130a936547a51","datavalue":{"value":{"entity-type":"item","numeric-id":4608667,"id":"Q4608667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$72D71D0A-2F76-4CEE-BAD2-E6350253E856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbcffd95edc73f277c68683af5fbe97c4558fb8","datavalue":{"value":{"entity-type":"item","numeric-id":2848362,"id":"Q2848362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111618$660393AB-AD82-4EC4-A626-7F279DFA0B1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f10b9d3f5eb80bdbf9f2812b0bf73020b5309f9","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2017/7780/pdf/LIPIcs-CONCUR-2017-6.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111618$9A3BF4D8-1AF4-4760-8078-CAEE36BD13BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b47753b3bea4c72c6e62919f6b08396afcec131","datavalue":{"value":"W2759275744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111618$58E092E1-28D0-4E36-9717-B0BDC97D2D1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a05db891243b2000e5a93069b6e9ccb33b391e2b","datavalue":{"value":{"text":"k-Bounded Petri Net Synthesis from Modal Transition Systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111618$7FC2AD3B-1B1D-4E6C-8EE9-C482B1068C0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db689164854908fa8e62712978407f512e2ca8d9","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111618$F2C0026E-6584-469B-9512-088E4A178AE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4c1cccd32c5b720af59bf52471b5f85d1aeb7b","datavalue":{"value":{"entity-type":"item","numeric-id":3510859,"id":"Q3510859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60cf4e97e4d1dc1aca7b5233b07cf1376e933653","datavalue":{"value":{"amount":"+0.8708137273788452","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":"Q5111618$0796B0CC-9FA9-4D29-9D74-C42DB857B136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8867d8fec46e3e26d845a4190278cd1edb848763","datavalue":{"value":{"entity-type":"item","numeric-id":4608667,"id":"Q4608667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31810e1a0cc0c0811d2d63b4aaa3c6ab9e230313","datavalue":{"value":{"amount":"+0.8552380204200745","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":"Q5111618$C31623B6-CBD0-480B-81CF-CE55241E9D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60afcc2df441aa237b17d664c2696888deff9fe","datavalue":{"value":{"entity-type":"item","numeric-id":1789066,"id":"Q1789066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669f43755ca6dd4d88309b4262c84f4dee2c5df3","datavalue":{"value":{"amount":"+0.8393226861953735","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":"Q5111618$9A225954-6DE1-4938-888E-F4D40A47EFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"342a1069f2d0d6ba82c73ac4855275d8070d1d77","datavalue":{"value":{"entity-type":"item","numeric-id":5357699,"id":"Q5357699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef7204edbe108ec4e448afbc6f36c3fc21ee7f1","datavalue":{"value":{"amount":"+0.8368324637413025","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":"Q5111618$15D20DF2-99FA-43F6-B445-5C03AE3792CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fde4cd57e829b028126d0ebd5094ab0a30d38e5","datavalue":{"value":{"entity-type":"item","numeric-id":4621223,"id":"Q4621223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557a7edcf63804940836f86ecf17d08bca6da021","datavalue":{"value":{"amount":"+0.8293896913528442","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":"Q5111618$D0A903ED-F13B-4FAE-B0F0-2EFDD19AF5FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111618"}}}}}