{"entities":{"Q1999265":{"pageid":2010007,"ns":120,"title":"Item:Q1999265","lastrevid":57381471,"modified":"2026-03-30T18:03:45Z","type":"item","id":"Q1999265","labels":{"en":{"language":"en","value":"Model identification of unobservable behavior of discrete event systems using Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7073709"}},"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":"Q1999265$543A2B6A-5A48-4977-8A49-C5417782A81A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2bd402fea4e65ff5659f921a03439f7afdc1ab8","datavalue":{"value":{"text":"Model identification of unobservable behavior of discrete event systems using Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1999265$333AF6B4-9C46-4EE3-A7DF-29549549AF26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0bd63d9a828f6283c8e8de08ddec31b83e31b83","datavalue":{"value":"1416.93132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1999265$B9B6CD1C-FEED-4D90-86C9-464850225082","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3bff6490875f65a2b24d9f9c955140e90a338eb","datavalue":{"value":"10.1155/2019/2895685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1999265$59D8CCEE-93FA-4954-8F17-BDCAE48AC6C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8846674fb793df7b432075db126dd47b8fd440df","datavalue":{"value":{"entity-type":"item","numeric-id":1611493,"id":"Q1611493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$E38B1275-C12C-4CF4-8828-8ADCC8F9250D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92952d5d511cf1a9728c574993e98a40f43727eb","datavalue":{"value":{"entity-type":"item","numeric-id":687431,"id":"Q687431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$162CA113-D79B-4215-BD20-63ADFCF57A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efb9d279f8ba7e3b7d3b69354271f64b39d8a79b","datavalue":{"value":{"entity-type":"item","numeric-id":776302,"id":"Q776302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$0B231E64-75D6-4D80-A5F7-288E09FBBA37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a03aeadf0815a5a2a7f7c33a59472e3aac592cd9","datavalue":{"value":{"entity-type":"item","numeric-id":249794,"id":"Q249794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$B3FB102E-34FB-4674-9BED-417A5ADE9C6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7453ada76deafe3f5431c965bb7d7bc79fb80a78","datavalue":{"value":{"time":"+2019-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1999265$6E326266-0E78-4788-8B7F-263E112C7919","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b313c0b9928d3e1df2b85e7fcd134e30f63ca1df","datavalue":{"value":"Summary: This paper deals with the problem of identifying a Petri net that models the unobservable behavior of a system from the knowledge of its dynamical evolution. We assume that a partial Petri net model that represents the observable behavior of a system is given in which all the transitions are observable. An identifier monitors the system evolution and records the observed transition sequence (and possible corresponding markings). Some unobservable transitions modeling the unknown system behavior are identified from the transition sequence by formulating and solving integer linear programming problems. These identified unobservable transitions together with the given partial Petri net model characterize the whole system, including observable and unobservable behavior. Two different cases are considered. First, we assume that no place is observable. In such a case, a transition sequence is observed only during the evolution of the system. Second, we assume that a subset of places is observable; i.e., the observation contains not only the transition sequence but the corresponding markings as well. Hence an additional constraint should be imposed on the unobservable transition in the related programming problems according to the observed markings such that a more authentic unobservable transition can be found.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1999265$656B3DDA-584C-4DAA-B88A-6103F7D790A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1999265$8A87567F-A79E-44D4-A7DB-6C0A1321A959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1999265$0715993B-9D5F-4410-98F0-186427290EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47b8551cfcd2e27e18ae083a8521741e193efcd","datavalue":{"value":"93B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1999265$4AE8B846-0357-4BB3-B94C-C7507813C192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1999265$F5018D0A-A836-440E-83F6-6040136FB8BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb63605de4bb1b3034b535602e03ea212d8f2afa","datavalue":{"value":"7073709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1999265$0A04E997-C7B8-4D00-AE7C-E8951F612599","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1999265$C5CC09A0-CC80-4C48-A0FE-F9025BB0F010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"315f42cea77944ca847fabe66cd9df2095047b0b","datavalue":{"value":"unobservable behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q1999265$6DB295B8-2F39-4F1C-A571-DE6D3B33D320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da73046a486d15d36468a3e54545e956bb90cf28","datavalue":{"value":"identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1999265$898015BF-71D0-45DA-888B-F16F1E360DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1999265$69351629-34A7-445F-A583-F142D6419D3E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$A666C54E-C319-44BB-9111-F16A5597C33B","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":"Q1999265$139E3AB2-48A1-4AF9-949D-BF870D32D9F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56b01ac7a0d175315266d0bd28cc6f8b03dd38b0","datavalue":{"value":"https://doi.org/10.1155/2019/2895685","type":"string"},"datatype":"url"},"type":"statement","id":"Q1999265$18693D19-F38D-4FF5-B617-21A954131B8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba9d9cd2da0776d770fbd1701e2fe79b6d0dc380","datavalue":{"value":"W2925214414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1999265$AD1567DD-2192-48CA-B87B-423C73708524","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$413EFFC3-7A9B-4A89-B575-BBA1ACCD6ED1","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":"Q1999265$35560270-F8E3-45F7-85D1-EE0341072E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83669aa2a866c62f9326122f7be78afbfc20f577","datavalue":{"value":{"entity-type":"item","numeric-id":1689357,"id":"Q1689357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$B01F46AC-B134-47CE-8AC5-5252B76E5C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21c0d8fd62ee073217bcfb399945928d5698678","datavalue":{"value":{"entity-type":"item","numeric-id":4974517,"id":"Q4974517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$1EF2CA65-9895-440E-93ED-BB0A15768CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bb5a998b63191dc8483b56807c759ad55c1c68","datavalue":{"value":{"entity-type":"item","numeric-id":710706,"id":"Q710706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$D9E2BC4E-EFFC-45DF-80DD-2EF5F66568C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0e6ce8dfae8cad1d63a8ab93239796c77fb6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1049168,"id":"Q1049168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$10555928-43C7-40E4-988F-2E933E713213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800c2cb454a4f96f35da2664ece0e700448721fd","datavalue":{"value":{"entity-type":"item","numeric-id":843985,"id":"Q843985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$682ADAE0-58F3-479B-A0E5-1849593AC7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab91af9300c03108c83f175294005fece9bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":4153610,"id":"Q4153610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$70A49B19-A8FB-42F4-982D-5CDC18BDBB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1252d1a75df811aa2d125851fb76a199b341c5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3945599,"id":"Q3945599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$FA31F491-D058-4012-B7C8-1B6B1F291779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef0291afc11d40b4fa7e88182ff15838ae9d8b5","datavalue":{"value":{"entity-type":"item","numeric-id":2465425,"id":"Q2465425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$D3A458BC-88C0-4608-94DE-863041CD6ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5bb77eb551fbc4748830ef45612c050259c9d6","datavalue":{"value":{"entity-type":"item","numeric-id":2348378,"id":"Q2348378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$47A1B0FE-D8FD-4120-B400-1F17E0CFB2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7d0ee50bc4a0aade9b706256e4798f92aaf9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2440714,"id":"Q2440714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$4CB0930E-949B-49BC-9ED3-F5209949862A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$B3B27A1A-E862-4A5D-AC2E-B0A07500AD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20865344838b5924f70610b3286e099a84a366b9","datavalue":{"value":{"entity-type":"item","numeric-id":1301410,"id":"Q1301410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$8A46F277-1FAE-4118-A3D4-62489771584F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1b868bde79db9cb34dc1b43a59596659c6b967","datavalue":{"value":{"entity-type":"item","numeric-id":1716461,"id":"Q1716461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d75745c32985b5d5ba471ce86786e9605232c8","datavalue":{"value":{"amount":"+0.8523041605949402","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":"Q1999265$B17D5207-B46B-4BD0-8816-CADC27A7BFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a8b6b0ff93e682eb4b5d50ff5f10b0a748a6f2","datavalue":{"value":{"entity-type":"item","numeric-id":2440714,"id":"Q2440714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec19af8801e48603f66306120eb7fcd11cedc35","datavalue":{"value":{"amount":"+0.8349031209945679","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":"Q1999265$249F3AD5-353F-465F-A8C2-5449A9E93FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f52a13673bc414631105520a8cb1d40ca40f7c0","datavalue":{"value":{"entity-type":"item","numeric-id":2465425,"id":"Q2465425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca7c3f1aad55fdba592e8a4be875f409add37f1","datavalue":{"value":{"amount":"+0.8126533627510071","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":"Q1999265$CFE53E16-E2DB-4078-BEFD-59CC0851191C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055f4bc2b34582717d7c0148a098c0114d0a0c72","datavalue":{"value":{"entity-type":"item","numeric-id":710706,"id":"Q710706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2ee37e37a386b61cd09ec5878eefa3bbabc13c","datavalue":{"value":{"amount":"+0.7989144921302795","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":"Q1999265$C5084AAF-6071-4DE0-9F1B-A3A06844AB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"890c36cd9e058de4bc60117853693ff10bfe5747","datavalue":{"value":{"entity-type":"item","numeric-id":2348378,"id":"Q2348378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b6c6691a563de7910be2c82b13c2bb4b04d35e","datavalue":{"value":{"amount":"+0.7937383055686951","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":"Q1999265$1C9EEC6D-0F99-42F3-A540-3DFAA69B7FA3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1999265$14724FAB-BCB8-44AE-AD54-E7822D5D9B99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1999265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1999265"}}}}}