{"entities":{"Q3058342":{"pageid":3069058,"ns":120,"title":"Item:Q3058342","lastrevid":45359056,"modified":"2025-12-06T05:46:29Z","type":"item","id":"Q3058342","labels":{"en":{"language":"en","value":"Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5817810"}},"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":"Q3058342$141DA86D-424B-4AA2-888A-F37DC1E0EA50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa072e62eb376faf9ec638a09d9e2afbfc080504","datavalue":{"value":{"text":"Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3058342$A21A42C9-15C9-42BB-B3A2-9951336679FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19c16fe8711774c5bc699c424d9eede614995501","datavalue":{"value":"1214.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058342$E8A383FF-CDA7-4732-B9F0-B3CF29AF2DE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b386e6e0dad24f41eb847814a324d0239a806c71","datavalue":{"value":"10.1080/00207179.2010.504785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058342$1EFD7B94-F4D0-41F2-A791-0CC4A37825C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c38763fbc1b85dfb8812e9aedeb7188b724513b","datavalue":{"value":{"entity-type":"item","numeric-id":2096879,"id":"Q2096879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058342$30CE0C12-278D-4F89-878E-F0C37557E0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"173f9edf66c374abd00229bbcb879c61af29f096","datavalue":{"value":{"entity-type":"item","numeric-id":1723399,"id":"Q1723399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058342$C16C6290-2D80-4E9C-8857-77AD5ECDBA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d51c819838d8ea63954fd24f1aad6c41fa997d4","datavalue":{"value":{"entity-type":"item","numeric-id":445933,"id":"Q445933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058342$DA7D3CAB-985C-4C9F-BEAB-091CCB0F5B30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fd1f09f03b2151af9bae64b3990df459d820d19","datavalue":{"value":{"entity-type":"item","numeric-id":159993,"id":"Q159993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058342$AC5B5F21-2B09-43AE-86B9-76ACA50C538C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1a8b0b4410e75478f392738ec80b73d0645c344","datavalue":{"value":{"time":"+2010-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3058342$B7CA7CE0-2314-408B-8007-E561B30C362C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058342$C510D7F4-4AE8-4C87-B9FA-6792D10C7D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058342$A205F680-ABC0-46F8-98AA-EDAA8F5A90E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42ccbfebf6c39f3d6591cbc8eddac1d8e8e751ea","datavalue":{"value":"5817810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058342$15E615B7-C34B-4F8F-A706-AFCDC07D45DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058342$57265B63-02FB-4788-B262-346B08ECC341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bbc9f72e0da6aa8de39db946cf240aaa4c6cf75","datavalue":{"value":"deadlock prevention","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058342$0286111F-492C-49C8-924A-4B8F265EBA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa9089d9f7f5a1b8ff7aefaf14a78f5ae28c62f","datavalue":{"value":"mixed integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058342$C7E30984-C970-4580-A32C-E118F47BB305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2081bcfba7e80a4b962f32600bafb172c2a4b3da","datavalue":{"value":"flexible manufacturing systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058342$6C78D327-141E-4296-A05F-27402B900129","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":"Q3058342$45C84022-0F0D-4A81-8D13-B931D749414F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb3783e6bc6290b4841d2de7ff7b352f70d11ed4","datavalue":{"value":"https://doi.org/10.1080/00207179.2010.504785","type":"string"},"datatype":"url"},"type":"statement","id":"Q3058342$DFA1A51A-D8B9-4600-978E-2E2D0CBB3EB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0db4768522f981bb8db17d88a7bf7d6ff661dc5d","datavalue":{"value":"W2056587795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058342$359DAFA6-F549-4CD7-BFB8-A4B07A6BF006","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a60320fdcfc60ebc533de00ef14ae04f00b96b5","datavalue":{"value":{"entity-type":"item","numeric-id":2713455,"id":"Q2713455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058342$F8DC8C2B-3D12-4A1F-B9A6-6E4063DCE950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0014cd4816038dc2150a0e2e8953ca75fe7c90ef","datavalue":{"value":{"entity-type":"item","numeric-id":4394364,"id":"Q4394364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058342$0E4AD7C2-9647-4068-8C46-FB0F34EEF000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63006d257d7a2e048f09442f14abaae3d89f8e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4540213,"id":"Q4540213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058342$67EBC8CB-9768-4B8B-BA51-6D9399E0C8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051c287c0a7721b855b3c85f3b4e4e1f215b24e1","datavalue":{"value":{"entity-type":"item","numeric-id":3550619,"id":"Q3550619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058342$C9B8BD4E-B08E-495D-A80C-C600D24D611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfe447467092cccfaa2d8a597e16a4018653a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4876603,"id":"Q4876603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058342$E49925D2-FAD6-427E-8529-FA0B790514AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3520d704dc795942040cfd5068ffb698dfdd57","datavalue":{"value":{"entity-type":"item","numeric-id":3063811,"id":"Q3063811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afae76ad6c2b4ab409040cd63bfca166bf3a9e40","datavalue":{"value":{"amount":"+0.93053925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3058342$1DA75C47-B90D-4359-ACFB-FF5663F591C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360520d51c8484f31ee1a12151cbc006605a6031","datavalue":{"value":{"entity-type":"item","numeric-id":2350777,"id":"Q2350777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246eeb2c5d039a65ff8b65641f955fa51598fd7b","datavalue":{"value":{"amount":"+0.9218359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3058342$C9E6AD0F-F435-4DB8-8734-415B2483ED77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba21197f2ffafe98c00628a0a28522a71b78bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":5266683,"id":"Q5266683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b2c4c3c9ada9ef3e5ba2c34957d566667b7c0d","datavalue":{"value":{"amount":"+0.9133203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3058342$8BCCB331-978C-44E7-A9CE-4D2142982652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1278c5be414f828be1ec2a6da917973442655f6","datavalue":{"value":{"entity-type":"item","numeric-id":5853943,"id":"Q5853943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6f31ca00e2fb98b3307d17b55b3d36e3ab4c10","datavalue":{"value":{"amount":"+0.9038883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3058342$367372E5-5E09-4778-B98D-9B30C5347828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8afeeb572ad36061cc59b43713d7bf8d8b782b","datavalue":{"value":{"entity-type":"item","numeric-id":4535794,"id":"Q4535794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bacc5a248cbd72e351fdce34b37104ee67acff92","datavalue":{"value":{"amount":"+0.9033457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3058342$322FDCA7-EE89-47FA-99CD-A7570E54DF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628d9af9a3dfb68c52d5d3e51a04226aa5afba0b","datavalue":{"value":{"entity-type":"item","numeric-id":4361121,"id":"Q4361121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a440e907f1644a46c7c479b10afdbb46a9073d1","datavalue":{"value":{"amount":"+0.90276545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3058342$639746C9-A8C0-47EF-B2F7-4D4ABE1C456B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a373947c25739357a1102054e39dab34960b43","datavalue":{"value":{"entity-type":"item","numeric-id":5352711,"id":"Q5352711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d879489c1720d0bf5b50e99fd2650e943dde857","datavalue":{"value":{"amount":"+0.9018458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3058342$9C102E22-F1AD-48C2-A2F5-19D9336EDA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4d16528cc607fa3baeac14649cd892d3a6946f","datavalue":{"value":{"entity-type":"item","numeric-id":780961,"id":"Q780961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a05a3dfd0b9373256f536688a1610d04eb2e3ad","datavalue":{"value":{"amount":"+0.900733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3058342$AC8237BF-B7C1-4CC6-8932-33D5D17E88D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23db9d727da5312deea877929ba556bb2a93e464","datavalue":{"value":{"entity-type":"item","numeric-id":2489594,"id":"Q2489594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c6ad6dc97747c878291a64f1076b821dd2c7a7","datavalue":{"value":{"amount":"+0.8986381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3058342$4C772488-D239-4036-8DA8-477E5A3A424B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b84858789ea8264fb291bb0bd19f7bc67550b233","datavalue":{"value":{"entity-type":"item","numeric-id":2663929,"id":"Q2663929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa23671d2c4d0ec43e906034172dbaaec1efa091","datavalue":{"value":{"amount":"+0.89279735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3058342$466C814E-0C3B-4674-96E6-9F647B231EFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3058342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3058342"}}}}}