{"entities":{"Q900668":{"pageid":902516,"ns":120,"title":"Item:Q900668","lastrevid":65201502,"modified":"2026-04-12T00:59:27Z","type":"item","id":"Q900668","labels":{"en":{"language":"en","value":"Synthesis of Petri net supervisors for FMS via redundant constraint elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6523639"}},"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":"Q900668$18975B00-F2B1-4AD6-9606-6E37D80F1F43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d2a9df9c5d5b1d77a65080cb61a58cdb49575a5","datavalue":{"value":{"text":"Synthesis of Petri net supervisors for FMS via redundant constraint elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q900668$898E2BD5-E8EC-4289-98B6-14D346F4775D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14f41ca18149b60ef2adf671e7d43990ca5f1254","datavalue":{"value":"1327.93268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q900668$7B7A6BE5-7923-4036-9CCB-318AD4659B01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b23656c20167f614331eae9d60d6b0189cb4f3f0","datavalue":{"value":{"entity-type":"item","numeric-id":201209,"id":"Q201209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q900668$9AAED659-6CBD-49B1-875B-9D4556DB5354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad4503e57ebc9c9a0f0718bc3c3eb80523b97a6c","datavalue":{"value":{"entity-type":"item","numeric-id":900667,"id":"Q900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q900668$B3DC549D-D296-47C1-98B7-F133C698A64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e406ab38e993d058bb3a55ad7e1ed448dcf0b0e","datavalue":{"value":{"entity-type":"item","numeric-id":680551,"id":"Q680551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q900668$D6601FF0-E5FD-4BB6-B280-E22657F80BD3","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":"Q900668$07C75DD7-1F70-4952-8DEE-D902183715BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c99d2e3f4402b81f71c762e3f805919871c7a908","datavalue":{"value":{"time":"+2015-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q900668$C9B1B7D3-98DF-44A1-AA8D-08AB8514305B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q900668$97BB3A20-EC05-487D-9921-7F2C6876189F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"931f9bc6fe69aba6508703df7e266476edb87eb8","datavalue":{"value":"93B51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q900668$B8775C72-7F99-4C50-942C-F823997CE2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47b8551cfcd2e27e18ae083a8521741e193efcd","datavalue":{"value":"93B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q900668$16313787-E25A-4E83-BC7C-BAC4C7E5E77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q900668$2DA1328A-4520-4C80-B1D8-E8867D3AD9A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd9ec60382323cf2b5c03b823daff8ce6b303f3e","datavalue":{"value":"6523639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q900668$07C95AF1-2F34-420C-AD3D-61F4E35F8EAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q900668$E704A4DB-9F83-4DA7-9713-E18DB162B489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd68c1bd69afd0a113cf3433bf84fa7b891d74b","datavalue":{"value":"flexible manufacturing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q900668$7651CDB3-9E0B-470E-B626-50C0F2B78EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q900668$CC40AFA3-B82F-4A71-848C-87000C528923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q900668$90D9303B-EFA9-4943-84CB-A3993C90F7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3039ede3e096e5821720fd7befd41171c3afebb7","datavalue":{"value":"redundancy reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q900668$01CE98E0-EC2B-4F3B-9F59-5D74F5523CE3","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":"Q900668$345F67CC-4922-49CA-BECB-4A5311756817","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb03ad3943cafdde7af48226508cba9d18e1536a","datavalue":{"value":"https://doi.org/10.1016/j.automatica.2015.08.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q900668$2EC301D9-18E5-479D-846E-0AA4C8DACBD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83c5fc73078adf2e8097dbda79bf14ae070c7ca3","datavalue":{"value":"W1898889072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q900668$B4A141FC-CAB3-45E4-BC80-D2E39CCD376B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8e0b96155f6574531d511f428c1576be4072ec","datavalue":{"value":{"entity-type":"item","numeric-id":540197,"id":"Q540197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q900668$D9718739-9D6C-4452-88D4-9741224A7BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d577081f8e1c9de25f16021e61b998b7f1d3158f","datavalue":{"value":{"entity-type":"item","numeric-id":361050,"id":"Q361050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q900668$04D81B2B-AACC-493D-9D9D-30501584E285","rank":"normal"},{"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":"Q900668$B0829B48-CF82-4356-A07F-6774CB0B7781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2c027ffd76ed497473d2d91fefa694e25d349b","datavalue":{"value":{"entity-type":"item","numeric-id":2350777,"id":"Q2350777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q900668$36B62178-004C-4CB8-BD90-CA142B6381EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603479a39e267a56a8c0a605a66f1397519438de","datavalue":{"value":{"entity-type":"item","numeric-id":935681,"id":"Q935681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q900668$DEE0D8D0-5750-4BD2-A3D6-DC0311F121C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fd178d4bc35dd64a5534e87cb856d9b9044d21","datavalue":{"value":{"entity-type":"item","numeric-id":893846,"id":"Q893846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q900668$FDB9D0B4-1DE6-4175-8E4E-03DD1226C69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca245651b431d0d2aaf2455462efecfe31f4872","datavalue":{"value":{"entity-type":"item","numeric-id":4840199,"id":"Q4840199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q900668$E8FC2F57-11FD-4AD3-9783-6785CA8A15A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07fc26f3f521ea4da22444c98684b904a95d5e92","datavalue":{"value":"10.1016/J.AUTOMATICA.2015.08.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q900668$D093FDD2-4C10-4863-BCBF-4E1866F9BAC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7382a268e9267ceb21a3a7f369db792e4d52582d","datavalue":{"value":{"entity-type":"item","numeric-id":4980886,"id":"Q4980886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f563d75e27fab8a5ef72464740e7fd8d4f6900","datavalue":{"value":{"amount":"+0.7996798157691956","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":"Q900668$8C9108FB-955F-4433-B84C-BCD93D7E7868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b516938e132867118f8cbc32c8565fccb9b1ff93","datavalue":{"value":{"entity-type":"item","numeric-id":361050,"id":"Q361050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ad31517fb1d967ea9108d718068ee2261d62e2","datavalue":{"value":{"amount":"+0.7895606160163879","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":"Q900668$4B8331A9-10EB-48B6-85C7-A21241D5DFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946cf93b57ef05f4cf669c3acd7eee8828a2541f","datavalue":{"value":{"entity-type":"item","numeric-id":2821354,"id":"Q2821354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497df89d6f14b3bd7f2bcfa6090d96b388dbac7c","datavalue":{"value":{"amount":"+0.7768790125846863","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":"Q900668$14BFE8C3-5E69-48DC-9401-F691514D0A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9dac214b06ec4570391223987d726ab26684df1","datavalue":{"value":{"entity-type":"item","numeric-id":2797617,"id":"Q2797617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee0d52a854a5add21e575a73e599c0a42f05795","datavalue":{"value":{"amount":"+0.7658331394195557","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":"Q900668$60D71647-34D7-480C-B9A5-1437AFB2FDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b0a6e177429f616e70a083fab338b62adb322c","datavalue":{"value":{"entity-type":"item","numeric-id":2279735,"id":"Q2279735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ebbc0ad199ab31999c604d4f7dfa09009f64a5","datavalue":{"value":{"amount":"+0.7588383555412292","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":"Q900668$E73C4BD7-B9B5-4E38-9D12-6BA5F8C38075","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of Petri net supervisors for FMS via redundant constraint elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_Petri_net_supervisors_for_FMS_via_redundant_constraint_elimination"}}}}}