{"entities":{"Q958258":{"pageid":960106,"ns":120,"title":"Item:Q958258","lastrevid":50515919,"modified":"2026-01-14T06:34:22Z","type":"item","id":"Q958258","labels":{"en":{"language":"en","value":"Reduction of constraints for controller synthesis based on safe Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5377208"}},"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":"Q958258$7F2368E5-8584-4649-867E-4E684894D04B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66dd4f15c1ba83af5fbb3abb32105f99bdde24db","datavalue":{"value":{"text":"Reduction of constraints for controller synthesis based on safe Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q958258$B96702C9-EF7B-414E-B16B-430A3A4B6E66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cedfb9c205e5afb5d71489a01f7151e2eda5f17","datavalue":{"value":"1149.93311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958258$A90C1025-3324-4B41-9A23-8D72F7980A05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa2d1dc5558acb823085abd5fd88d45da84e752c","datavalue":{"value":{"entity-type":"item","numeric-id":783438,"id":"Q783438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958258$16E2B55B-8E03-4B17-923D-E4D2A2285FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9f18c7b257cb774f3fe7ddcf6981ca3bbd7a4b5","datavalue":{"value":{"entity-type":"item","numeric-id":172780,"id":"Q172780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958258$FB44FA67-2C9F-4488-B6F5-B9E73204F3FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958258$98D2DE0F-8F9E-489B-99AA-914798CEEB67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51bf894ac28361f10085ab38b5cb36a045b4122d","datavalue":{"value":{"time":"+2008-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q958258$0F6FD4E8-D9F7-480E-B944-817902A51081","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958258$BA0E58C9-621C-4115-8E9C-E91ECCFF434D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958258$E5A30C83-D73F-4E47-BAF5-C686CA8FC44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"931f9bc6fe69aba6508703df7e266476edb87eb8","datavalue":{"value":"93B51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958258$0573E908-D37C-48A2-884C-32DBB125A028","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a93941ad9d48446443ae2aa199750ac43dac0bb","datavalue":{"value":"5377208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958258$026731FD-7EFF-4B37-A097-9E28CCBE1BE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q958258$2D2EAE4D-DA1C-4832-8826-EBCB3E147D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q958258$6DE1715E-1C4A-4B87-A498-ACE5DC00E522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q958258$E7DEE72F-89C5-4A46-B313-7DE3782FC61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q958258$5058E702-0C2A-4CE4-8584-8543648C1F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1ada16edb9f245ebb68617f09452d5a652804cc","datavalue":{"value":"forbidden states","type":"string"},"datatype":"string"},"type":"statement","id":"Q958258$F05814B5-A7FE-40EB-90FD-3727A843DA00","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":"Q958258$90F29B8F-22A9-4934-854F-33ABD8844D01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"631434fa95951b4906ac677ddf216e829e6e2871","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2007.10.031","type":"string"},"datatype":"url"},"type":"statement","id":"Q958258$FCF34E5D-EF95-4DCF-AC28-4FAAFBE848BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f9673122b3b76907596d4d174a825dc472a8ffd","datavalue":{"value":"W2011008463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958258$3AB5B4E1-6629-4077-9E2D-D7436B7C618D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67dc827b6972bbd4152aaace50a5359fd19381d5","datavalue":{"value":{"entity-type":"item","numeric-id":857147,"id":"Q857147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958258$0BBAB10C-2976-48BA-8402-060358CFD68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17164b2f3168808456d08581a8147ac18829d05e","datavalue":{"value":{"entity-type":"item","numeric-id":4827468,"id":"Q4827468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958258$B21C7C10-1D9F-403D-8FF2-3D8C43D5CBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe284ad5027b18a1559668324b748580acb9786d","datavalue":{"value":{"entity-type":"item","numeric-id":816699,"id":"Q816699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958258$FE1EE709-9B5C-4550-8269-EA745D9159D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0dd686e1ad53fc9cf006257f64b44b7ca0dcaa","datavalue":{"value":{"entity-type":"item","numeric-id":4876593,"id":"Q4876593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958258$21F20D93-CD34-4224-94B0-B1D7C9449AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b36eac8f23b756f1e1f06129fb077cdad7e9abb","datavalue":{"value":{"entity-type":"item","numeric-id":4507096,"id":"Q4507096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958258$262859F5-41C7-4FC6-88B5-09F90FA7522A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1171160d467de5e7f6609f7bb2a79d462790047","datavalue":{"value":{"entity-type":"item","numeric-id":3939193,"id":"Q3939193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958258$7A91B024-9652-4597-A169-6BEEF555B51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f254fb2c47573403d95dc8dc816c70507e882fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5899708,"id":"Q5899708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q958258$26312902-A845-447A-BC17-9DAEEB7CF211","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":"Q958258$D1277EE3-7E7F-4D9E-9D36-CBA3F5CF7FF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dc0f1f61b40d7c650855cf040eaa230cba9c656","datavalue":{"value":"10.1016/J.AUTOMATICA.2007.10.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q958258$6D69DC48-D437-4E23-BC2A-9FD0AF9C40DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8bcd5e411d4f0a7f87d5f49a2c304c667c3b993","datavalue":{"value":{"entity-type":"item","numeric-id":3454364,"id":"Q3454364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19d866ea6294e8d9cf1b1bccafa74bafd015a7c","datavalue":{"value":{"amount":"+0.9118847250938416","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":"Q958258$1E0C7EEA-C179-42B6-BA68-B5C58E728EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb42f223c9eff8984675c569a46fb9c615e5066e","datavalue":{"value":{"entity-type":"item","numeric-id":4827726,"id":"Q4827726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fff19ac038d5ada122dfd5708baa83c240e1e9a","datavalue":{"value":{"amount":"+0.8424001336097717","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":"Q958258$BFF60BBC-FE6D-4E39-B402-8734D2AA4FDF","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":"65efb611c4cfc6231a675957a0b88ec5d3ad6e78","datavalue":{"value":{"amount":"+0.8312472701072693","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":"Q958258$7E50071F-2EFE-4ABB-9754-13046E318E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1256737b30b021712e85280aecd38d3114d12d0e","datavalue":{"value":{"entity-type":"item","numeric-id":4675633,"id":"Q4675633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d8c0b3aea1a6d1e756cd7015538cd6050c75a7","datavalue":{"value":{"amount":"+0.8297399878501892","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":"Q958258$4A246AFB-DD94-4C9F-AA58-12A294E2AC6D","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":"2c08ac5b3d562a171e09671436e5b2634cc09f13","datavalue":{"value":{"amount":"+0.8288267850875854","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":"Q958258$361B54AB-6404-4654-8663-E8491C982890","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:958258","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:958258"}}}}}