{"entities":{"Q2656745":{"pageid":2667488,"ns":120,"title":"Item:Q2656745","lastrevid":53954063,"modified":"2026-01-25T23:51:34Z","type":"item","id":"Q2656745","labels":{"en":{"language":"en","value":"Optimal Petri net supervisor synthesis for forbidden state problems using marking mask"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7323570"}},"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":"Q2656745$548658F1-C6F9-4EAA-9BA3-F0E1ABFC2366","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d314ae7c63a2d49ebb6f5304f75b582ba19f0b4a","datavalue":{"value":{"text":"Optimal Petri net supervisor synthesis for forbidden state problems using marking mask","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2656745$0A9AAE3D-38C6-4FA8-B2F6-3147C9874FC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c126243be3b1518abbdceb7d0666c8de9299cb2f","datavalue":{"value":"1456.93005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656745$3FFCC236-79D6-4CB1-8FF3-03CC7B59045A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31f1757c988b3947d3eea7850db9a01918898e51","datavalue":{"value":{"entity-type":"item","numeric-id":494848,"id":"Q494848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$9CA32376-7052-4DF3-8EAB-1FCA77485B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dea45fb03b5ebeded9da58d547a8beab77b5f9e","datavalue":{"value":{"entity-type":"item","numeric-id":359839,"id":"Q359839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$6FF39A2D-CD4C-41A6-AD5A-E729DD268181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"133d37be571527f869ad9707387894a18cd98717","datavalue":{"value":{"entity-type":"item","numeric-id":2053863,"id":"Q2053863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$E3C9E78D-1714-425F-8119-56A2AABB7F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f9189651cd7a4f391cc9920de0366f8d9946b07","datavalue":{"value":{"entity-type":"item","numeric-id":361049,"id":"Q361049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$75FBDAC7-89F5-49F9-B975-D6D3177FEB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc965c71423feffd0db96f01a4fde46f98860da5","datavalue":{"value":{"entity-type":"item","numeric-id":337291,"id":"Q337291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$0C948015-CC95-458F-ABFA-31008E5411C3","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":"Q2656745$0BEC254F-B383-4D01-9DCA-9512C5C17E37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a8fa2a3954b0642659e8166025e61701b1e4d3b","datavalue":{"value":{"time":"+2021-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":"Q2656745$B731661E-737E-4C74-8DBA-77D117314693","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656745$95A5DD23-648D-4C54-BBCE-8AA6F8CC5823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656745$276D7D41-5EF4-4DA2-9DF6-15AD75C32F7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d6e4e86cd7ee234612affc866947d8c99282711","datavalue":{"value":"7323570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656745$D699F489-F56C-48EC-A7E9-80E9AF524DE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656745$4C43796E-C499-445E-9B18-F67C0DD53111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbeabd5dacdbef6dda50421c3d8237aa64f110b4","datavalue":{"value":"discrete-event system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656745$075CA391-37CC-4340-8D6E-8D7D0C368734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eecb4b02ff703fb2306cea99d7448ef29749debd","datavalue":{"value":"marking mask","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656745$D77BF2F2-74A3-4696-8259-C688D028C767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d20f9a7bf68f36cb286fd3f0b9187d1a93b678d1","datavalue":{"value":"forbidden state problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2656745$F51FDF18-673E-4199-9793-1BF1C0562CF6","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":"Q2656745$61D8F2D8-F0A8-4E1D-AE7B-8E5DD1745A69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74c41fe3df787533db6e507f93aa47a5f7b3794f","datavalue":{"value":"https://doi.org/10.1016/j.ins.2019.07.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2656745$FBF4AADA-7331-4E8C-AAAC-01CF21D17648","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be9d77082ea66a12a0eb7ffbbb4f7bb1bb5e9bef","datavalue":{"value":"W2956599543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656745$E1A80B1A-72B0-4B3A-8772-1782DB9A3CF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbabbf9e6c4a37cafe78540c3b5e7d06f018fedc","datavalue":{"value":{"entity-type":"item","numeric-id":4859708,"id":"Q4859708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$02E117C6-A31A-40AD-A307-57C68C0644FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc29531189e361954d70a50477acb97fd43631b2","datavalue":{"value":{"entity-type":"item","numeric-id":5496928,"id":"Q5496928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$2B544D4F-0142-4B7A-A7E4-A6FEB473D249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a639238f170faf05bb4f8184f743a5d69455bd","datavalue":{"value":{"entity-type":"item","numeric-id":958258,"id":"Q958258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$A64C83CD-6A5C-44BC-87F9-427DE9661B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552a4370d9a64f2bc55efe1cc8672e8f7e1692fe","datavalue":{"value":{"entity-type":"item","numeric-id":3454364,"id":"Q3454364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$0149E153-6928-41CD-BFF1-F60E80C985EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039deb40d5b4fba6bf9d7741854997f142dc94dd","datavalue":{"value":{"entity-type":"item","numeric-id":2200558,"id":"Q2200558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$EB207EB6-65FA-4F07-8F00-123487F0505B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ae4890d1f5959529eee59384f864400900211c","datavalue":{"value":{"entity-type":"item","numeric-id":3493242,"id":"Q3493242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$D299F272-B508-4F7B-B6B2-73A07501478B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea418922ae67b0f813e6a8a6ceaf397950008ef","datavalue":{"value":{"entity-type":"item","numeric-id":4017746,"id":"Q4017746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$89941317-286E-4301-8D2C-5ACCC275E6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb4775bfbb17da1c0c3e0f18cc58836a37ed0fc","datavalue":{"value":{"entity-type":"item","numeric-id":2982662,"id":"Q2982662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$3B534560-48E6-44CD-9236-E39622B1BDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbe0d9c0a6e742e2e5a392d4d8420716b508b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5347802,"id":"Q5347802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$30CF954F-60FE-46DE-97BF-A6D742D639A6","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":"Q2656745$131D69F1-2BB1-40F6-9EE4-3CDEC947C923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4f57bf57f268aff41bdd3d57c166073b9b4c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5899777,"id":"Q5899777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$58A95F1F-BCFB-45DC-8398-FB90836B577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee37f41bbda54cd4c9f4b5ddfcb32f91e7c4009","datavalue":{"value":{"entity-type":"item","numeric-id":3862420,"id":"Q3862420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$EEC28B74-771F-446A-B6E5-1BB5FEC75CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cd94a254cb7563f58a96d7f9fd6d6f00c00c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1911289,"id":"Q1911289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2656745$F3299DC7-C9B2-478E-9F14-031D1D8A2B0A","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":"Q2656745$AA0F5A34-5939-410C-9E29-C2F7A3175B83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1488a7452b90945e105ec76e04e11541908c091","datavalue":{"value":"10.1016/J.INS.2019.07.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2656745$93D8EABA-ABA2-4D50-966F-81ED8BFB0F29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47097d0bd67b9d4d5d3b59daf85a07d63454515d","datavalue":{"value":{"entity-type":"item","numeric-id":2256887,"id":"Q2256887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87522d9376b5f880d715867889b7f1c7e502c1c6","datavalue":{"value":{"amount":"+0.8593771457672119","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":"Q2656745$E78F71EC-3AA7-4109-9D90-332C1C8921DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79d80c702897c29318c585518f6e3d27b2a7100","datavalue":{"value":{"entity-type":"item","numeric-id":4859708,"id":"Q4859708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2a85ae29f3ae32634c0c0d8ba9d716bc27622b","datavalue":{"value":{"amount":"+0.8253726363182068","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":"Q2656745$C0F8B269-0DCE-49B7-897D-3813335408E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d0d8113dd477cb9a728378e5e15c5f99c02292e","datavalue":{"value":{"entity-type":"item","numeric-id":3058321,"id":"Q3058321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae30df9fb71e43c767c5bdc70d6552d818bff6a5","datavalue":{"value":{"amount":"+0.8228819370269775","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":"Q2656745$ECE3680C-3A35-4B97-A10B-ABAD3005C172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c5321f04f2e4a56d1f11923f9d6a142967419c","datavalue":{"value":{"entity-type":"item","numeric-id":3415315,"id":"Q3415315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d41a617dc3b3dde74c5745e7945cbeda6df5d4","datavalue":{"value":{"amount":"+0.8212502002716064","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":"Q2656745$494E083D-66C9-4C57-8724-A2275E75A053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22690192fdf6a05cd9e3bc16878b87c9a7e9de14","datavalue":{"value":{"entity-type":"item","numeric-id":2790014,"id":"Q2790014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd728ece2ffd4386e8c9c1d5b8dd4db482fd4482","datavalue":{"value":{"amount":"+0.8199201822280884","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":"Q2656745$8F452D99-FE3E-4852-8AEA-8940E9755295","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2656745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2656745"}}}}}