{"entities":{"Q5928920":{"pageid":8105722,"ns":120,"title":"Item:Q5928920","lastrevid":41731037,"modified":"2025-05-07T16:39:31Z","type":"item","id":"Q5928920","labels":{"en":{"language":"en","value":"Analysis of hybrid systems based on hybrid net condition/event system model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587744"}},"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":"Q5928920$70EFB453-3237-4E55-A74E-4512731BD526","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eea6028a873fa827f77f0683a121ab246b5e2f5","datavalue":{"value":{"text":"Analysis of hybrid systems based on hybrid net condition/event system model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5928920$0B954961-47AB-49CB-84AC-82EFC50CFB1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b360d5d66100baa8f6366f21bb144ec2eb3b51d","datavalue":{"value":"0971.93050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928920$929ED928-6B25-4ABC-A6F9-07116E295788","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"311f16643b3b7667c7d9a1de09fd1e826354327a","datavalue":{"value":"10.1023/A:1008395301582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928920$3E86214C-BD28-40A9-BBF0-080E48C3853D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf27046c906fb5d42f37224f7171b82f6dfeb99d","datavalue":{"value":{"entity-type":"item","numeric-id":169430,"id":"Q169430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928920$A273AE63-16C9-42F7-80AE-0A90BF4DC2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d99e5af7ca453fbbdb75fe44ba63dde8326810af","datavalue":{"value":{"entity-type":"item","numeric-id":169431,"id":"Q169431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928920$FABA163B-0985-4F01-93FF-ABA02BE6815E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928920$52217DD0-75E7-4DF5-BE09-AFCD5542044C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"756efeced69ae924328e62c9eeb77201236289cc","datavalue":{"value":{"time":"+2001-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5928920$20CA6C97-48DD-4DB3-9074-5F45662EE77E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"acb2ba6cca170a7cc7e6933bf576e5b3a0af0360","datavalue":{"value":"A hybrid net condition/event system (HNCES) is introduced here as a composition of a discrete PN with a continuous PN via coupling of all condition and event signals of these nets.    Two methods for state reachability analysis (i.e., for two sets of states \\(H_{0}\\) and \\(H_{f}\\) it is necessary to check if \\(H_{0} \\to^{*} H_{f}\\)) for the HNCESs are proposed.    The first one is based on predicate transformations for the sequential computing of step successors of \\(H_{0}\\) for the linear HNCESs.    The second one is based on enumerating firing sequences of discrete transitions and verification if a given set of states can be reached from another set by firing a sequence of discrete transitions. A technique for preventing infinite enumeration is developed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928920$36D4AD97-0082-4240-8694-5EBF95847859","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a883836726fb5f7be41f75195c71bf60ba06b063","datavalue":{"value":{"entity-type":"item","numeric-id":821296,"id":"Q821296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5928920$ADC408E2-FDB4-4067-8A18-CEA15B07305D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928920$ECD9F8D7-8082-4BB8-8F88-FA4D96E42BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928920$8E7C7DCD-2A8A-4AA4-BF38-26998163F157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928920$8E8ED01E-521B-4E5B-B7A4-6276B9C4D398","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfc82e31e46a5a446e86e71ec84fb7201f175a29","datavalue":{"value":"1587744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928920$362FCAA4-3A2B-42FA-938C-FD9F0C61AE0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928920$A332800A-675B-4F10-830E-F7B24224ED63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cd16dc4c56e9145e7efd0504d8740e1710c24b","datavalue":{"value":"condition/event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928920$924FA8BA-AFC4-45D3-AEAA-BE7D6E01EBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928920$4B6B9B57-95B0-454E-988E-56BCF8DD6607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa9373804dc5698d3a6b889450b15df6932a6db","datavalue":{"value":"modular modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928920$5D7EAB6D-95DE-459A-96B0-5992AC0443DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08b09f6552e4d132998be43e6301e292a3f1fd93","datavalue":{"value":"state reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5928920$299170F1-D620-42DA-A2D3-23732E5B4C61","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":"Q5928920$AE458210-68DD-4EA6-9348-0F4DBC5CF07E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62652271cd63248788217ab6315b4f3fdc68b34f","datavalue":{"value":"https://doi.org/10.1023/a:1008395301582","type":"string"},"datatype":"url"},"type":"statement","id":"Q5928920$46FE7C94-56BA-4555-B07C-899D19773C32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5289839f3855248533b195bbad47130fbf0b0e5c","datavalue":{"value":"W1543548877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5928920$C8C4B1B4-762C-4D6D-85E5-970F762C2747","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2cdcd9791fcf0315ecdf3371068f124a457984b","datavalue":{"value":{"entity-type":"item","numeric-id":1801470,"id":"Q1801470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3362c93a064733a4bbb95e998b4c4aac2cadba24","datavalue":{"value":{"amount":"+0.88873065","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":"Q5928920$3E12FBEA-D95F-4146-8633-32164B472746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2e87fa4e15452778f4b6c191b5f98e6d904ea2","datavalue":{"value":{"entity-type":"item","numeric-id":4214201,"id":"Q4214201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239152b07709cb683d30fa39c1ebae0248ab7fc8","datavalue":{"value":{"amount":"+0.87396276","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":"Q5928920$136F8042-521D-438D-9392-FA7F69CC16F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2783f478a7fb6fa63093e06e67cf5a9536e658e9","datavalue":{"value":{"entity-type":"item","numeric-id":4558871,"id":"Q4558871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95d713b18faa8f050dcc1b5426393a9c761f905","datavalue":{"value":{"amount":"+0.86221194","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":"Q5928920$ACC09EC4-5F27-4437-B54F-595A0990E4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7fae11f6f48cc550bc78d7f933c8ab49d7c7bb","datavalue":{"value":{"entity-type":"item","numeric-id":5323116,"id":"Q5323116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafcfce3c8036e5b1cb252122fad4b7059920cf7","datavalue":{"value":{"amount":"+0.86061865","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":"Q5928920$2353E334-C583-4300-8D2C-77B02240F01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"722bda66784fe839f8b31c0ac7d90ff3db90eefc","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06bce28cb4435193ab8097b683e756c14950038","datavalue":{"value":{"amount":"+0.858145","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":"Q5928920$693EC5E2-30F3-40D1-9888-6AEF65E9F47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0af127310bcd92872dfb33b77f2bbe8bca7f610","datavalue":{"value":{"entity-type":"item","numeric-id":5896762,"id":"Q5896762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba91d992d6e6524033c3ae50db606dd0c142f0a","datavalue":{"value":{"amount":"+0.8571267","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":"Q5928920$FFE15698-9A7C-482E-B114-05693D5E91EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e4fa0d9b4b6771bc293f7eaf7f3ddf1b8a5390","datavalue":{"value":{"entity-type":"item","numeric-id":5915515,"id":"Q5915515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba91d992d6e6524033c3ae50db606dd0c142f0a","datavalue":{"value":{"amount":"+0.8571267","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":"Q5928920$09BC8E86-7249-4A5E-BD51-2910E3DF0AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d9d4f3e0d9e3b60692479882c84aea9a763c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4355821,"id":"Q4355821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732ed9c203c5e34f2701026daf11af03ddea95e5","datavalue":{"value":{"amount":"+0.8568203","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":"Q5928920$317077AE-AC9C-490F-9339-65D20CABF75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a90d0697e1acf0c8a9ddc2551782316a2db9b8","datavalue":{"value":{"entity-type":"item","numeric-id":4652292,"id":"Q4652292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab15fd885f1ac9450177abe99fdb5874caedfc5","datavalue":{"value":{"amount":"+0.8538749","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":"Q5928920$5F8B1760-E467-48B2-894C-DBB4DB9D512F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5928920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5928920"}}}}}