{"entities":{"Q6052675":{"pageid":13186831,"ns":120,"title":"Item:Q6052675","lastrevid":47897044,"modified":"2026-01-03T00:44:43Z","type":"item","id":"Q6052675","labels":{"en":{"language":"en","value":"Liveness enforcement for production systems modeled by time Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7741658"}},"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":"Q6052675$ACCDA52A-645F-4863-8C04-ED9E12D51FB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7763df921e0f15ba52a215108481bc4ac2109c7","datavalue":{"value":{"text":"Liveness enforcement for production systems modeled by time Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6052675$0EA4F298-2F62-40EF-A46D-CF826929E7F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf8b5319f2a71d50d47423eed997fad72f43746f","datavalue":{"value":"1522.93127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052675$EE284EB1-24EE-4D1D-9878-E81BA0588FEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"515fa3550732293f7ab762cc054d44a8fe0f88f1","datavalue":{"value":{"entity-type":"item","numeric-id":337593,"id":"Q337593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$DAD9C4B2-6F9A-412F-B898-8DF13940A21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed5ea20a37f91c4e67875927d97330079c4040fb","datavalue":{"value":{"entity-type":"item","numeric-id":5745548,"id":"Q5745548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$22CA6369-CFC7-4722-8E21-16B445CB976D","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":"Q6052675$1E12C3E0-B1E5-4DF8-A89F-766C4435F4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3bc8c388d7a0fac63269c05e0b00f7133fe344","datavalue":{"value":{"entity-type":"item","numeric-id":340679,"id":"Q340679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$4EF68A6E-6277-4B4E-B096-F8A168214B29","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":"Q6052675$E9490FAB-6E3F-4E81-8385-0772D2CD6C35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fcec0255095449bd83f442d023d56233519b0cb","datavalue":{"value":{"time":"+2023-09-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":"Q6052675$850BAA8F-C0D3-4183-BF50-D14510C8056A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052675$BBC930F6-CF50-4EDC-9598-2D30F4E47E1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8a5b0f1623ac6b62d36abc8a2b2c7c7004cfbff","datavalue":{"value":"7741658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052675$FB094D50-5F96-4BA6-B2BD-02929B2CC41E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052675$BBBFB611-91B4-4663-BE40-87FCF7F384C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae4c3a12e4653617b588c245143bf49369512892","datavalue":{"value":"time Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052675$6C4B88F7-87E0-40B7-A8C7-72AA7415F704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"966d68ef93ae65755d03374768844b989a51a0b9","datavalue":{"value":"liveness enforcement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052675$D00CB6DB-B20A-456D-A9E0-961CD03CA547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f3a60420bda28a18380b9d5a70a4b860cb45b0f","datavalue":{"value":"maximally permissive controller","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052675$E048F55C-58D4-45F5-A088-84400A4F4673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728e900da842937781621b36e3f10dbac558d999","datavalue":{"value":"controllable transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6052675$7265B62A-83AF-41D9-9BAB-76AD5CA15665","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":"Q6052675$43F828AD-1659-4AE0-BCF6-07724D79E503","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee67005b3db8d0ec95bd61df910b0a202c7f7270","datavalue":{"value":"https://doi.org/10.1016/j.ins.2023.119564","type":"string"},"datatype":"url"},"type":"statement","id":"Q6052675$E594DF95-05E2-4D45-82B4-BD1EC088EAE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47732bca6749230b5b6a5928713dbc741fc22bff","datavalue":{"value":"W4386056704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052675$E9CC9326-92A0-4FFD-A67D-40654F76CA8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d300892ac158e245fb39dfab1cfb552d0d163a","datavalue":{"value":{"entity-type":"item","numeric-id":3008101,"id":"Q3008101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$EB094C25-5A10-446C-AD68-08AFCC76F024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e076bb15f45a07e78b45dcaab4df780fb71f130c","datavalue":{"value":{"entity-type":"item","numeric-id":4967009,"id":"Q4967009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$05A75063-A375-4B20-83AA-5B2D54179A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d0fc838506fae3d46897ffda0598ac7f2c9d08","datavalue":{"value":{"entity-type":"item","numeric-id":2982770,"id":"Q2982770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$E6936310-B684-478C-89A2-17FD30C48DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e1441dde1cc041ca1b19599553638aabe9927f","datavalue":{"value":{"entity-type":"item","numeric-id":453501,"id":"Q453501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$7D5A2B1F-B726-48CC-B7F7-A396004607E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a35056068263e380e4dcb338eb387742202da02","datavalue":{"value":{"entity-type":"item","numeric-id":1901713,"id":"Q1901713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$1518849A-5B43-4635-B6E9-F5A0C441362A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f874e1d0c8a1a03d2178a369bd3e24d98a5a866","datavalue":{"value":{"entity-type":"item","numeric-id":5491871,"id":"Q5491871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$62A9B2AA-9C9D-451C-AE08-63E1A675ED0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1996de4557dcb34a403b3758c8b6ed4379e3e6c2","datavalue":{"value":{"entity-type":"item","numeric-id":5853943,"id":"Q5853943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$06A625D7-6828-4975-A29B-E37DD46D8F5F","rank":"normal"},{"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":"Q6052675$D6F334B7-E909-4262-89DD-1AD81A2C1ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a8cd2387879dd8bfcf0a5d7b053ca61f475977","datavalue":{"value":{"entity-type":"item","numeric-id":5280543,"id":"Q5280543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$A897E6D0-AAA7-436C-83EC-AAC8B6C73318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d7337f46222bb377627844c7fcca3c4a1a8379","datavalue":{"value":{"entity-type":"item","numeric-id":3045261,"id":"Q3045261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$04D2153B-FE79-43C9-B5B6-EFD5C556BB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d0e9d41ab03e2ed8e018482dc7518220d81e58","datavalue":{"value":{"entity-type":"item","numeric-id":5211328,"id":"Q5211328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$460E1137-9197-4608-AC1E-CE4F6F91A5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbc8bac7d6532dedac1c1ef7a16c411285536b6","datavalue":{"value":{"entity-type":"item","numeric-id":5039675,"id":"Q5039675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$7B33140A-E8CA-4039-8804-3FF420A10E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4184fedd5f623f8b0aca7786f72ee22d1d0d8c16","datavalue":{"value":{"entity-type":"item","numeric-id":2968855,"id":"Q2968855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$B411A811-372C-45CA-A67D-5521AE7EB238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44538946fe811cf0187b1e06bec804c9dc495d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4136583,"id":"Q4136583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$132EA74D-B9D6-4BBE-AF87-7466B44C6D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f01eb093d0192e1d6bd2faee670d315e35c4fc","datavalue":{"value":{"entity-type":"item","numeric-id":441162,"id":"Q441162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$CAE3F6C4-5C45-4A67-BD3D-6AEC7F706B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195b0f26590ad46b4367d7e26d3d51a4e8e7970a","datavalue":{"value":{"entity-type":"item","numeric-id":3543304,"id":"Q3543304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6052675$66DB217B-DF31-486F-8C0C-C4980E26C146","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab93d60a409dfb7acc6b0c94c098a9eb0a6da96a","datavalue":{"value":"10.1016/J.INS.2023.119564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6052675$44621F08-A7D3-481A-9343-36E0EABC0A35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425811ba1cf7308170ffb8baa0f851ce2fe4969e","datavalue":{"value":{"entity-type":"item","numeric-id":3008101,"id":"Q3008101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75302a480f237bfdeca8619056135eafc91c3d9","datavalue":{"value":{"amount":"+0.7816799879074097","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":"Q6052675$467CEA3D-22D6-40E3-BAAF-A5B5329E184A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b459dd84b2a01410de9b03f093455840a552f37","datavalue":{"value":{"entity-type":"item","numeric-id":3357558,"id":"Q3357558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36b7ad1c6e8d69748416cbba2efd2cb76ca914a","datavalue":{"value":{"amount":"+0.7639473676681519","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":"Q6052675$23104B2D-C79D-4002-931C-A4C16B9123C3","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":"844f0da33dcbf64925fcf8da23bb754f52963c4a","datavalue":{"value":{"amount":"+0.7602956891059875","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":"Q6052675$F667C895-9D56-474A-B118-4CD971D07DF8","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":"372c485ccc8afa91a04ff3d3f95ac66104be05e6","datavalue":{"value":{"amount":"+0.7578891515731812","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":"Q6052675$F1AA9267-667E-4F96-85F4-8060D85845B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799ba190b4c2d719964fcd648048fb78d41823d5","datavalue":{"value":{"entity-type":"item","numeric-id":665122,"id":"Q665122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99be07da9e01e476ecd34bca97914fa408f7a9e5","datavalue":{"value":{"amount":"+0.7557051181793213","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":"Q6052675$1E3A1D02-0550-4F41-ACEB-3450EBC33388","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6052675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6052675"}}}}}