{"entities":{"Q453501":{"pageid":455268,"ns":120,"title":"Item:Q453501","lastrevid":51563456,"modified":"2026-01-18T19:24:59Z","type":"item","id":"Q453501","labels":{"en":{"language":"en","value":"Priority scheduling of distributed systems based on model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087620"}},"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":"Q453501$F5750E0E-8778-4B4A-AD90-908039C0D53A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fae452f732406d39756fc3048db23a68037fa5ec","datavalue":{"value":{"text":"Priority scheduling of distributed systems based on model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453501$482EA0D1-4F83-482D-8A23-A56F98879B9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"097bdaf85b6e7e64967ba8ca78c9d7c04fee297b","datavalue":{"value":"1260.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453501$C08202A0-C293-48D6-81D3-60BDFA825D10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c7499853a299250ee6efa3338c735995ed3ddd1","datavalue":{"value":{"entity-type":"item","numeric-id":453499,"id":"Q453499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$C7AB7C11-7EA3-46C5-B5BA-9BF7777D36B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a16057771ba6219abfd2dd4dd127f6eec1b56a2","datavalue":{"value":{"entity-type":"item","numeric-id":453500,"id":"Q453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$428010E9-EF09-477A-991E-9B75A311808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$7AA8F0F3-107C-4B2A-954D-55EC557BA92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$FF4C380C-0178-4D67-87E4-F25E5F870CBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$FCD02BA6-9D29-4D46-A6DD-D3E67490F168","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453501$8D5C2FB6-BA30-433A-85BD-C06EF2561C9C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd8ea06e74aa4399fca21bc6da40e62f7e263d5b","datavalue":{"value":"One can imagine the design of concurrent systems in two stages. The first one consists in the description of the behaviour of the isolated processes while the second one consists in the definition of the inter-processes synchronization, i.e., the rules that lead to the activation or deactivation of a process depending on the current states of the other processes that compose the system. However, a further constraint must be added to make this design methodology realistic. Namely, the activation/deactivation of the processes need to result from local knowledge of the system. This is an issue since very often the synchronization expresses a global constraint.  In this article, the authors address this issue in the framework of Petri nets with priorities. Priorities are defined by a partial order relation among the transitions of the Petri nets. An enabled transition can be fired only if there is no higher priority transition that is also enabled. The issue that is addressed is how transforming a prioritized Petri net \\(P\\) to a classical Petri net \\(P'\\) that implements the priority of \\(P\\). Moreover, \\(P'\\) makes use of local information. The method that is proposed in this article is based on formal methods of model checking that make possible to identify the situations where local information is sufficient to implement priorities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q453501$CFB0C693-DF21-4B9B-9D25-AAF7C84D9A4C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"408259d28ce2e0a66db05b5345831b3757fa6eb6","datavalue":{"value":{"entity-type":"item","numeric-id":248930,"id":"Q248930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$DF18F399-ACC5-411D-A192-F8A36C55D24E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453501$34F91823-54D3-4B70-9BA5-806D839181CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453501$B5141D1C-E019-43D6-94DA-247E1530458E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453501$AB4C124F-753B-4DD8-84B5-403B1C39C9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453501$549F0E61-E0D4-43A6-B1EE-BD063331FDAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f031909bb4ac5838c711cdcd1aa70930c85e2467","datavalue":{"value":"6087620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453501$5ED373BD-8C5A-472B-8774-A41EE7BF29FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q453501$E42BF0D4-587C-4267-9CB6-27A21B137975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q453501$9180BDAF-4066-4EB6-B4D3-CC1FAB8E256A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q453501$A3C37FF6-AC38-4EC5-924A-55D1CA65E906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e6bbc6ac6a6803d1d55cd01c9c189470c7e633","datavalue":{"value":"controller design","type":"string"},"datatype":"string"},"type":"statement","id":"Q453501$94026A25-C949-436D-A895-092213E91289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q453501$C99117B5-C398-4E6C-B466-0E73EA04AA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q453501$6FFD0A44-7526-470D-B91F-C3128B7DD46D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$0B782905-3077-45D3-9754-A0004B89C2EB","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":"Q453501$62217FB4-C4A3-4F8B-8692-C68D9B2C1539","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21c0e2f69b3aff6daf44bb7941396a53dc8f22cb","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0128-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q453501$232F72F2-6B31-4D3D-B914-27F2BB34DAEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e76a02916f32ebc9198057d338163ff97c8f1d49","datavalue":{"value":"W2134284203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453501$031BD5B7-C68B-4660-9B1C-40B1ED3912AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0107de822a080ee24e02e38489b3593c7fdc0b","datavalue":{"value":{"entity-type":"item","numeric-id":3636855,"id":"Q3636855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$3B5FCD67-833F-4C72-B925-1A5187812DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ec2047f59b384d1cae802888b335ed014dd06e","datavalue":{"value":{"entity-type":"item","numeric-id":4931282,"id":"Q4931282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$CB2F04ED-F470-4543-ADBC-1527F4D24D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$D1121D4E-C1D8-48BC-95E0-FFDA753EBAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$54595D2E-8BBE-4996-8C05-624444B322C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d7319e8d1c137de845d5ac33cc992644f5e318","datavalue":{"value":{"entity-type":"item","numeric-id":1149777,"id":"Q1149777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$C7F41C31-07B3-4FA8-ABD0-87CC16D51638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e70ad1ca515d82aa33118fc339af4fe35fe00d","datavalue":{"value":{"entity-type":"item","numeric-id":453529,"id":"Q453529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$BEB85845-AF87-4C63-9100-B0A6D014822F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca1ceb38ba77e55f9d1a7c0d1d16aa21e5832fd","datavalue":{"value":{"entity-type":"item","numeric-id":4302799,"id":"Q4302799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$DC6F6A9C-32DB-4A58-AFD6-C928116F8635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a2193ae14199da925d7af311a9e576826127c4","datavalue":{"value":{"entity-type":"item","numeric-id":1383157,"id":"Q1383157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$B1F94489-D67D-4A63-86B2-C7968E4BEB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$0EABAFF3-9B8E-4946-B45F-08A339C7F5E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb45d2686317a542b29158d2860b42f35c2cd921","datavalue":{"value":{"entity-type":"item","numeric-id":2730222,"id":"Q2730222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$B7ABBFD7-4A20-4DA2-8719-D59C2DD8ADEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dd2a3abf043fa81e3cd0573192ece3199721d","datavalue":{"value":{"entity-type":"item","numeric-id":4031515,"id":"Q4031515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$21425B0D-69E5-4F2C-AE38-A378579DB0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876966e46c21a2a7c1dddf246bcad45c3982f932","datavalue":{"value":{"entity-type":"item","numeric-id":2504549,"id":"Q2504549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$11F9B8AF-57FF-4CC9-BFD0-D3CA37911B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a613a47011f46503782be16fa8feb625c1aca7de","datavalue":{"value":{"entity-type":"item","numeric-id":2390212,"id":"Q2390212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$717E75A7-03A3-4F8F-B157-5E674E4B05C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59765932a2bd0bcd019ba51aa0a82b2904333289","datavalue":{"value":{"entity-type":"item","numeric-id":1610350,"id":"Q1610350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453501$B001A121-09F5-4EA7-A715-56C101155C45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea8101513b08a02f047213cd9d7ae06e1e8e46e6","datavalue":{"value":"10.1007/S10703-011-0128-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453501$97527E8D-3B5B-4AFE-A428-C4FDFB10290C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316fbb18d4803841721d1c5bbd9acbaf77e4e7dc","datavalue":{"value":{"entity-type":"item","numeric-id":3636855,"id":"Q3636855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec91987507542baff1351a87f4d7df512b0d530","datavalue":{"value":{"amount":"+0.999822437763214","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":"Q453501$27460F50-575F-4E42-A878-31633E1F22AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd620fa57ab44b0db8a1d2faa7acc0d6a79dc00","datavalue":{"value":{"entity-type":"item","numeric-id":3587250,"id":"Q3587250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fb2ae5e6f62fc970dd5aa0f1ec8010609d6160","datavalue":{"value":{"amount":"+0.9505104422569276","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":"Q453501$4267F115-F11B-4B50-BC96-F07960F43BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bf6990da15665dfb45ac7737c06e8066037f8a","datavalue":{"value":{"entity-type":"item","numeric-id":453529,"id":"Q453529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9682c7c6f4195cfeda5eaeb2a927a037853e20f8","datavalue":{"value":{"amount":"+0.7371377348899841","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":"Q453501$09E54D9F-A1FC-4007-8E73-18013F98BA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973c00bea708f4aba442d2b6f8280adb2d461d49","datavalue":{"value":{"entity-type":"item","numeric-id":1040326,"id":"Q1040326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3069db7651b5eea751f43fea8d17a06a2b6614","datavalue":{"value":{"amount":"+0.7346267104148865","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":"Q453501$66A2C31F-1B74-49B5-9019-20D2367A9EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"758edba734a7eba60c2826fc35e8632542959fc8","datavalue":{"value":{"entity-type":"item","numeric-id":541297,"id":"Q541297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eddacd4099cf163b961434068554c67fd1bd328","datavalue":{"value":{"amount":"+0.7294825315475464","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":"Q453501$486BD454-EFCA-4401-8A4B-488FF0C8A154","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453501"}}}}}