{"entities":{"Q1101233":{"pageid":1111985,"ns":120,"title":"Item:Q1101233","lastrevid":69642636,"modified":"2026-04-13T08:24:40Z","type":"item","id":"Q1101233","labels":{"en":{"language":"en","value":"Failures semantics and deadlocking of modular Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047137"}},"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":"Q1101233$FBF0A3E3-D64E-4B8F-90F7-4E61B9AC3AD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06b79713cbff1092ea6ffd720b66e7ef410b250e","datavalue":{"value":{"text":"Failures semantics and deadlocking of modular Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101233$EBE8786B-BE3F-4328-9CC1-643AB10E6211","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af74b07faec0e524ca67648054aa9f127115feda","datavalue":{"value":"0642.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101233$66A1263B-6A0E-416A-9864-46DCB6A73632","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101233$07B7FE2C-8EC9-4552-BD7C-4715198A6C04","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":"Q1101233$37FD572B-728F-4652-9C05-17FE2BD5A101","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1101233$E5B23C74-EAAE-47C6-9F98-A1D49976B5AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bbf8cbade9cf70d9d51e7e5a646073433d157f75","datavalue":{"value":"This paper studies the modular construction of Petri nets, where subnets are exchanged such that the behaviour of the whole net remains the same. Subnets and context nets are composed by merging transitions, corresponding to synchronization; but also the connection with new arcs is covered. It is investigated which subnets can be exchanged such that deadlock-freeness and maximal behaviour are preserved, and it is shown that some variations of the failure semantics, which has been developed for TCSP, give characterizations of exchangeable subnets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101233$BDA27716-5AD5-4328-A5FF-B96633555247","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101233$80FD5231-CB03-4CB9-9463-E32A8F993413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101233$F9DA03AB-42F0-4373-8D5F-58BC04F446A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101233$DD4CF7E9-FAB1-42BC-B519-60BA115831C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"097e24b39f3b0768e427597c75f8b2431437f25e","datavalue":{"value":"4047137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101233$7ADC27BF-40F1-4021-962D-36EB791486B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431c7d8dc6235dab8e39bb48ef791c574ed530c5","datavalue":{"value":"modular construction of Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101233$5E9CD6F9-FD4B-4BF8-AFC2-51B1CFC4D6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"348fcb982500de3a7dd6436275041201ebbc8f67","datavalue":{"value":"subnets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101233$8212D6BF-D996-40CC-8748-26B24E7ECEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc2e266f4fbc9e426a5f6a38de62e015a9c16e5","datavalue":{"value":"context nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101233$94182885-48AA-4B12-8D1C-4FA741023843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101233$8C17991B-BD2B-494B-B19A-687DF863C1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f830fd5bb668245e8764f90d6b0cabf1a6e52f","datavalue":{"value":"failures semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101233$20DF92F1-61C7-4D88-9DDD-C1CBA97425E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"257bdc62a0f223e7db6c1dcb9dcc73ac9250fd44","datavalue":{"value":"TCSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101233$CB6D5EC1-B70F-4682-A00E-A1E1A29DB55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886bc13632e7a173d03a4328121b0d841d6e431c","datavalue":{"value":"theory of communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101233$2CE66335-AE06-496D-84B3-1D757E20BB6A","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":"Q1101233$9F2346BD-57FE-4EFE-A164-D0EB79031967","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cca064f554ff36456450ed0c66e573830d3b9a7","datavalue":{"value":{"entity-type":"item","numeric-id":3795239,"id":"Q3795239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2345173487b8838ab1daacff8bdb0b3365d6d4f2","datavalue":{"value":{"amount":"+0.971862018108368","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":"Q1101233$E20A9723-B047-4ADE-B141-078CF9C19A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c046a6d4f27c665983efafbdc1666188d1fd21d3","datavalue":{"value":{"entity-type":"item","numeric-id":4509344,"id":"Q4509344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b92454c28737c995a6af55ea5548bfc16e3035","datavalue":{"value":{"amount":"+0.8192744851112366","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":"Q1101233$D1DED4BA-4107-4C1D-A5DA-DDA5EB34BA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de71b8a87d2582cf7c01210699eb1bb2b29c7b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5479156,"id":"Q5479156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8d9770c81c7b75587990ced023d3e340afa0c2","datavalue":{"value":{"amount":"+0.787885308265686","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":"Q1101233$A393420D-2DA4-4F75-BEB5-992E9318C136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59716b77911df7d83ae2677dbeb996870c2bfcda","datavalue":{"value":{"entity-type":"item","numeric-id":2503287,"id":"Q2503287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e90956d3975c3f4eaa7c2afab7359de6c01088","datavalue":{"value":{"amount":"+0.7754452228546143","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":"Q1101233$9D100754-5708-4981-B9E3-12C55F011E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7802a777a42d224a3cf674574d79a43ba900fd39","datavalue":{"value":{"entity-type":"item","numeric-id":396979,"id":"Q396979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4049f2980ebbacd7ed6c084ba6eaf48e291a5db3","datavalue":{"value":{"amount":"+0.7656479477882385","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":"Q1101233$BBB393DA-C543-4841-A91B-D43633C9B476","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Failures semantics and deadlocking of modular Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Failures_semantics_and_deadlocking_of_modular_Petri_nets"}}}}}