{"entities":{"Q2375648":{"pageid":2386391,"ns":120,"title":"Item:Q2375648","lastrevid":56839956,"modified":"2026-03-23T18:11:59Z","type":"item","id":"Q2375648","labels":{"en":{"language":"en","value":"Component-based formal modeling of PLC systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6175922"}},"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":"Q2375648$95BD5EB9-B996-4BA4-B24B-BAD435C8637F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2179a92ae5623362cefeaefd7b7d84b7aa75292b","datavalue":{"value":{"text":"Component-based formal modeling of PLC systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2375648$6522F12C-5723-443A-B504-9BE75BA29C99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efafe1b4b7af0860aaf609431e60c8dae18216c6","datavalue":{"value":"1267.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375648$E1CB61F5-C40B-47D2-BA9E-AD86133E40C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad65d58c6950213965706a9471239b6333fae796","datavalue":{"value":"10.1155/2013/721624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375648$1F5E561B-3B5F-41E6-B1CD-88EC501161B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06881a13e9a17045b45f40562997732138d56eb7","datavalue":{"value":{"entity-type":"item","numeric-id":272197,"id":"Q272197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375648$7BEAE5C3-91FC-43ED-BF31-0F4C06A59A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bad697f6be27ac07cc0bac5f2074dc40ed884baf","datavalue":{"value":{"entity-type":"item","numeric-id":258539,"id":"Q258539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375648$6E801E13-DF97-4970-A156-A1DEC0CCF9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c3c81b9493e73d3bd46e3a04917807546f7820c","datavalue":{"value":{"entity-type":"item","numeric-id":2375647,"id":"Q2375647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375648$7AE04A88-4F52-439B-A3F6-74F665F5136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a231db2bdce0e9b67cdf0dbd752c938210e47142","datavalue":{"value":{"entity-type":"item","numeric-id":471532,"id":"Q471532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375648$B05A354C-904A-43CD-B8DD-3660A3458189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d39b4536ab4b3691fa10e20a21c234518780f867","datavalue":{"value":{"entity-type":"item","numeric-id":1665985,"id":"Q1665985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375648$781268C3-5C38-41E2-AB99-878AA3B62EE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375648$D3AB9D33-B5BA-4EC2-9AD0-76102CC7778B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2375648$3663BCC5-7D67-4EAC-B437-80FA267BA1B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"16734b6cd3458ee5ab044412ea3cf66faec3ee65","datavalue":{"value":"Summary: Functional validation is an important task in complex embedded system. The formal modeling of PLC systems for verification is a rough task. Good verification models should be faithful and concise. On the one hand, the model must be consistent with the system and on the other hand, the model must have suitable scale because of the state explosion problem of verification. This paper proposes a systemic method for the construction of a verification model. The PLC system architecture and PLC features are modeled as components. This is universal for all PLC applications. We give an automatic translation method for software modeling based on operational semantics. A small example is demonstrated for our approach.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375648$10AA2DD4-1D04-4138-99B8-888C132446FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375648$1666D331-6419-46D3-96EF-2A104599C4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375648$37D7F000-1AD6-4CC0-9088-8EA9A490B063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a55f2d070401e3d07b10e8e9f35144d2ad1ee2c2","datavalue":{"value":"6175922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375648$49B5E392-8D0D-492D-9904-F9449D16128C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d96060d2268448dfb35d5a65d7ee78d18ea54041","datavalue":{"value":"functional validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375648$823A0F02-4C93-49A9-AF35-DF37455935D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf22aa5d335ba662a228366ddf2c3168b9a08ec","datavalue":{"value":"PLC system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375648$0C315F6D-8F63-4F44-AD98-A3B26ABD9065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925e150e74e45555ae7550f13717a6fb58116a33","datavalue":{"value":"formal modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375648$EB3478E3-6258-45E9-99B9-39B731A8F0F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"07b6e8a063f8a75ca93d778a0bd31a62138ccf7d","datavalue":{"value":"Q59004019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375648$1CDBA07B-9E5C-46D5-B52C-7794300EA31E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4647ce6e40d68a241057ddbe91b89707f4f80f49","datavalue":{"value":{"entity-type":"item","numeric-id":12966,"id":"Q12966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375648$DFF71423-8C4C-46A1-BC59-05128919CE88","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":"Q2375648$B269EF29-FDA1-419E-A92B-80E02C55B341","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11d34c786eef1cbe2319c5fdfc1440da82976dda","datavalue":{"value":"https://doi.org/10.1155/2013/721624","type":"string"},"datatype":"url"},"type":"statement","id":"Q2375648$D95F134F-04FE-4F23-85ED-60338A0FAF46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21129b989b90c27bfca9e82a908a4b8a02894608","datavalue":{"value":"W2095957642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375648$43A501E9-E83A-48AD-88E2-44FAC89AA089","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0c0248159d7b264fb847c3b2807892a1ce49a8","datavalue":{"value":{"entity-type":"item","numeric-id":3536187,"id":"Q3536187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375648$BA10F3D1-76D6-4D93-9ED2-6E8C3BE1DC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5873f983c72e1bbd8e1c5076d7576f10a1f7f807","datavalue":{"value":{"entity-type":"item","numeric-id":1938379,"id":"Q1938379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375648$ED341D80-0A26-4D39-9A5A-889977B6A3D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9df7aa313318f9941f46314e3f46d32ff2bc02e","datavalue":{"value":{"entity-type":"item","numeric-id":4782047,"id":"Q4782047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9c91eafa1383b830783c9541a2f28ad020ae59","datavalue":{"value":{"amount":"+0.7986581921577454","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":"Q2375648$71F51F57-0112-4451-AD97-1519972B561D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7987f02c3925d6d2cc04d5a882278db24a815a61","datavalue":{"value":{"entity-type":"item","numeric-id":3412594,"id":"Q3412594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173624d874897ddcf21e7bc45726e29a451d962d","datavalue":{"value":{"amount":"+0.7588773369789124","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":"Q2375648$17986E4F-187D-4E5E-B747-FAC643543E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56089fc8a92b55616eeeb1d2652b3f42a213ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4782053,"id":"Q4782053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca865988d2724510e26d0d14821a0d8cd6591d9","datavalue":{"value":{"amount":"+0.7533161640167236","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":"Q2375648$35FFF8DD-7482-4E04-9039-2D3EA3D07081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789804fee584fea5a77e6f1ed586c9f607bef10a","datavalue":{"value":{"entity-type":"item","numeric-id":3566623,"id":"Q3566623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ed77410440152975371010defdf0b81308cbce","datavalue":{"value":{"amount":"+0.7246695160865784","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":"Q2375648$632A3648-B252-4DBA-A895-89B48E31D46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e046ddc814aca68384a7509b571707d9b0f22e","datavalue":{"value":{"entity-type":"item","numeric-id":2177778,"id":"Q2177778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a11d1b41ba92e4cd0026d4a7d54baab7fc5b96d","datavalue":{"value":{"amount":"+0.7224023342132568","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":"Q2375648$DFC0F120-4CD3-464A-B20C-43A637B9B03F","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":"Q2375648$CA869273-BB7D-4297-8B4C-7689170B6EB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2375648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2375648"}}}}}