{"entities":{"Q1074338":{"pageid":1085090,"ns":120,"title":"Item:Q1074338","lastrevid":66085680,"modified":"2026-04-12T07:27:18Z","type":"item","id":"Q1074338","labels":{"en":{"language":"en","value":"A formal semantics for concurrent systems with a priority relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3947611"}},"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":"Q1074338$A0CCAB4D-784D-40E8-BC26-8CA66F7D3D54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c89fd858653830fda399bcee220b47d607f85472","datavalue":{"value":{"text":"A formal semantics for concurrent systems with a priority relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1074338$82216C4B-DAE4-4A55-83AC-A385736E847A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a955e9543881de4a623df528f08286b08fbc0783","datavalue":{"value":"0589.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074338$1DCABF01-4038-484D-962C-583A844A2C0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3d1f2c6693f55639d575eddbcfe54a7306a36cc","datavalue":{"value":"10.1007/BF00290705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074338$0E5B90CA-46C3-4787-9B7C-D618C3903534","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$9B7C0509-2B1A-412A-A475-32A96DE9C1D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1074338$F5677A15-1576-4D21-B204-D47CD8076143","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a486c3ec0d6149459904cfafcba2066042b57494","datavalue":{"value":"A formal semantics for the COSY path expressions with a priority relation is proposed. It turns out that in the general case the full aspects of behaviours of systems specified by such expressions cannot be modelled by vector firing sequences (a standard semantics for the case without priorities), although vector firing sequences (but without interpretation as causality relations) can correctly be extended for expressions with priorities, and some (but not all) aspects of behaviours, like deadlock- freeness and adequacy properties, can be defined in terms of vector firing sequences. To describe the behaviours of the COSY priority path expressions entirely, a new semantics, called the multiple firing sequence semantics, is introduced and some its properties are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074338$AF408C96-EA61-40B5-8719-603A20A2DD00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074338$A4AEEA81-6E20-484F-B2F2-8B3EA3B6F916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074338$47C68FCC-96B6-4886-B519-4B27E2A06A73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce3448d164eb84d9f3d7fcca332c9800711346c0","datavalue":{"value":"3947611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074338$CCCE1B4C-9405-4A5A-88E4-B07ABDBECDFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074338$69CB3F8B-EE31-4F42-B768-368D4A3AE111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86c4eda466040a6e7eefa169f2215374adfa995a","datavalue":{"value":"COSY path expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074338$83493AC4-21B7-451B-A2B2-FE9D549478AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a503c6bee42eec6fa4c7e329fd0e2490adb177","datavalue":{"value":"priority relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074338$6C9AB8AE-629E-478A-AC31-3DE372E46BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074338$7BEACB0F-2F70-4333-8813-1995D1299D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65f8bed1b0b96630a67cfe42bcdbf0a41383c5d0","datavalue":{"value":"deadlock-freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074338$67AEC694-75D6-41F1-8830-25299043C036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbe09cc2fdeec0f4c5688c8c2fa3f97dbca9fb4","datavalue":{"value":"vector firing sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074338$31612F62-770D-416B-87B4-9E7E1BA662A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f3a984beabc22332e769fad7e0cad02f7ca29d","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$2FCD92F3-DDA7-4F33-8FEF-80EB0453DE3D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e8aa945d2b284d7eec497cdd61e80c0fb5cd405","datavalue":{"value":{"entity-type":"item","numeric-id":42208,"id":"Q42208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$2DE31347-A1BC-4081-86D5-B5A66EB7F580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80898c0ab905abfe670b64d4ec1cb2ff26fc73a6","datavalue":{"value":{"entity-type":"item","numeric-id":46213,"id":"Q46213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$ABBFFBD2-AB9C-496D-89F0-98721E868D1F","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":"Q1074338$3E7E4326-5D5B-42B1-974B-A13B58716D32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c71fe1368f04344997a78a1161ab1b00ec38fa","datavalue":{"value":{"entity-type":"item","numeric-id":1161276,"id":"Q1161276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$A4A4D590-2E5B-4ACF-A206-CCEECD22743C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a2f110e86427d8bf6fc71b36ac531567ff982a","datavalue":{"value":{"entity-type":"item","numeric-id":3691069,"id":"Q3691069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$4A377CB7-CCAC-4739-A2E5-107987B19BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2446e1c11bb794e9a69201c8a8bfcbbaf7cf0693","datavalue":{"value":{"entity-type":"item","numeric-id":3325015,"id":"Q3325015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$1CD18D83-3CE0-470B-ACD4-A644ABE147AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e11973659c7fb560dba488bf89ee621d6b59a1","datavalue":{"value":{"entity-type":"item","numeric-id":3680255,"id":"Q3680255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$4FB8F967-C6D4-4896-AE01-35FBE344F952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088800a898300d8e519852be9ef848bf66d8187a","datavalue":{"value":{"entity-type":"item","numeric-id":1219678,"id":"Q1219678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$85F6A97C-86A3-4891-9A97-95B5E4346996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c87ce7986fe3902d936ec8973a25622fd46dafa","datavalue":{"value":{"entity-type":"item","numeric-id":3939202,"id":"Q3939202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$B56442BC-F643-4197-BB21-7D6E73FB8539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e345a36106f6673147dff45fa6ebfa82aab18a8","datavalue":{"value":{"entity-type":"item","numeric-id":3875334,"id":"Q3875334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$A523BC14-9465-4587-8A05-2BB9ECFB1002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc05c8251052835015cae86712b180ed9382b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1256313,"id":"Q1256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$595A942D-D49E-45E5-9D04-3D3FF1C54721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$2D7AE537-5CE6-4D94-93D9-EDF3E1DBC214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee7c65e2861b67ea8765d093f5aa6623c051970","datavalue":{"value":{"entity-type":"item","numeric-id":3685178,"id":"Q3685178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$9397F4A4-621B-4A17-9548-A14BCCA9E6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed2dfc7d8b6deb6c6c2fdd95458000b0da91712","datavalue":{"value":{"entity-type":"item","numeric-id":5523291,"id":"Q5523291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$E1B4220F-ED5C-48AE-A16E-ADA4A4104767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$45B15804-356C-4FF1-A887-8A6B4A92C73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c687bf1a75fcebb0e7296b6dedb3d336cc88e3a","datavalue":{"value":{"entity-type":"item","numeric-id":3670605,"id":"Q3670605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$3FA582C4-6A7D-46EC-9897-7A795696C7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820df72bf1c15f32d5787d80349cbcd5a7575797","datavalue":{"value":{"entity-type":"item","numeric-id":3867194,"id":"Q3867194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$47311246-BB1D-4E31-87B2-27816D7F3844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6d4d2e2819900ec9e5a28db958765bfc162f27","datavalue":{"value":{"entity-type":"item","numeric-id":3675545,"id":"Q3675545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$FDB923BC-311F-48E2-A7FD-78378D990B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37409af98caf1e40fbf8f171dcb854799223f7a7","datavalue":{"value":{"entity-type":"item","numeric-id":3670578,"id":"Q3670578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074338$7E2152B6-8CAD-4877-A28A-EC822227A434","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c567e275e5b090e6bf839cac960540f7f795359","datavalue":{"value":{"entity-type":"item","numeric-id":914367,"id":"Q914367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8507e8fd8f6c8e534493580359e358dd6dab5cfa","datavalue":{"value":{"amount":"+0.8718682527542114","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":"Q1074338$5670210D-4506-415D-B577-C37A5536C3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e930a5d45a4a6ffc8dde67b2887732c40a4f88","datavalue":{"value":{"entity-type":"item","numeric-id":3685178,"id":"Q3685178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f451bea4d40a558bb573d5d73274addd5abf5b","datavalue":{"value":{"amount":"+0.838811993598938","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":"Q1074338$3DC3FA9B-2289-4457-A715-59CFE24E7FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e7a787c28fabcfd56c615793b424c96969a781","datavalue":{"value":{"entity-type":"item","numeric-id":3680255,"id":"Q3680255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363bfc38cc90f9093fff188b799ebe5db3a30793","datavalue":{"value":{"amount":"+0.8098688721656799","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":"Q1074338$71FAA29F-2FC9-483D-98AC-4FABB34DA307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d51d331940a8d1ecd0f741476ec0f2a38d8a83","datavalue":{"value":{"entity-type":"item","numeric-id":1083185,"id":"Q1083185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850e2246cc17a128acfdaac89f2b123f00550959","datavalue":{"value":{"amount":"+0.794162392616272","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":"Q1074338$C1F5BD98-8FFE-49E3-B257-D2345897C088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f07593922a4e0b687e5b4b9110e7b5300a1316f","datavalue":{"value":{"entity-type":"item","numeric-id":4023058,"id":"Q4023058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0dde5903468d29750eb32e67f420fd5e50b68cc","datavalue":{"value":{"amount":"+0.7835350632667542","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":"Q1074338$608B9D35-874D-49A7-8734-7790B3BA561E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal semantics for concurrent systems with a priority relation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_semantics_for_concurrent_systems_with_a_priority_relation"}}}}}