{"entities":{"Q1573598":{"pageid":1584338,"ns":120,"title":"Item:Q1573598","lastrevid":70738983,"modified":"2026-04-13T16:25:42Z","type":"item","id":"Q1573598","labels":{"en":{"language":"en","value":"Petri net algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1485383"}},"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":"Q1573598$5D7711B0-0FE5-4E13-B501-1E8EB7D7B772","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8562ac4f39a2d01353acd3b86276e961fab2b537","datavalue":{"value":{"text":"Petri net algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1573598$EDFEF2FB-D607-4CE8-9FB9-C32C9AB4E956","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67d729fbc5a46e3c0ee2c3c4d21ad72c1b427db6","datavalue":{"value":"0968.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1573598$F5703BF8-C1B7-48E9-BC3A-5F9B5D78940A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1573598$65F1394C-E941-4A8A-8AA9-19D61F0E0B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1573598$5509B717-0EEB-408B-8E1A-A6BD0002AB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1573598$C5E1931E-28CF-403B-8CB4-950EE709DC56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"74f349151f2e08910e2dfb7f7031081209eb9c81","datavalue":{"value":{"entity-type":"item","numeric-id":213237,"id":"Q213237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1573598$E959CFA2-4513-4901-8DC2-50FB30755186","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e725b4dcbea7a9a9ff7d03dad4d6c973d998451c","datavalue":{"value":{"time":"+2000-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1573598$F801D538-D646-4426-ADA5-124D8CDD9E1A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a18063b1dc32023af757b4a8d2e181bc0789b98b","datavalue":{"value":"The book presents a rigorous framework for the specification and verification of concurrent systems. Petri net algebra is based on process algebra and Petri nets. Petri nets are treated as composable objects and embedded in a general process algebra. Some process algebras is given Petri net semantics. Petri net based verification techniques are applied to process algebras.   The book contains full proofs, carefully chosen examples and connections to other process algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1573598$D3CAC3EA-C8BA-4638-96E7-4FBD4D39CBD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1573598$841A4F8C-C5E7-4934-A057-B00B4FA75386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1573598$CFCE3A86-BC1A-40C8-938C-24C887821AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1573598$A6E2C9C1-1996-4F88-80CA-138DF292AACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1573598$28B3CE8B-C40D-4CC0-9EE2-B1AF632EC3AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"195027dd995eaff6da7b2a37dea3b93377214e44","datavalue":{"value":"1485383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1573598$9B49BF7B-AA4C-4D2C-9B4C-FF12FD20347A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1573598$10398A5F-49C3-438B-920E-5E830C3A57FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1573598$27623E96-3525-45A4-B601-9BD4DF1F5991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1573598$6ADA0B4A-1593-4415-821F-1A331F2F5C70","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":"Q1573598$2502F9B8-95DB-4877-8F50-3E72723558B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c1b19998579e54c1a5ee695a3845f5865f48db","datavalue":{"value":{"entity-type":"item","numeric-id":804305,"id":"Q804305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc07c51c1311f6da3323a5c57a9321a6396b3ab","datavalue":{"value":{"amount":"+0.963107","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":"Q1573598$EC3669E8-009C-49D9-802C-2F2FED182E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"072b4ee97dae8d883786cefd433404f07a85c8c4","datavalue":{"value":{"entity-type":"item","numeric-id":4850339,"id":"Q4850339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fceb0c4716aa2d23a58d411cd9c585afa9e833e4","datavalue":{"value":{"amount":"+0.95818615","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":"Q1573598$054781E1-31DD-408B-9C70-893A566A147A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f014197f041c0dc28363539d1f1f6807d0f86bd","datavalue":{"value":{"entity-type":"item","numeric-id":4665741,"id":"Q4665741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba931460e8b525d815e71e3d7f67ea995ea2ac4","datavalue":{"value":{"amount":"+0.9571524","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":"Q1573598$48BF0860-F91A-463F-9603-43A1BE0D2475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f3353c1ae3f967a4392cd0239f263cad20652f6","datavalue":{"value":{"entity-type":"item","numeric-id":4421723,"id":"Q4421723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0572c92aabf40ba65864eeb40a9965beb24202d5","datavalue":{"value":{"amount":"+0.9563868","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":"Q1573598$0BC05F68-AA85-4751-B29F-A8E4EB7D53FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"312b900a14f4258915ba89ff9d0e9e1eef0d0863","datavalue":{"value":{"entity-type":"item","numeric-id":3129285,"id":"Q3129285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b875dcffa18c55a9ed6d2cc4d4553ab4382ec26","datavalue":{"value":{"amount":"+0.9524146","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":"Q1573598$F0D9C503-1887-454A-9DE1-40FE52FD3A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7523421eaeaf7f235de5ecad6e6fd3700d0f640","datavalue":{"value":{"entity-type":"item","numeric-id":3735084,"id":"Q3735084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad7272f2135a0f5ec91fc2d7e52668e8159ec8b","datavalue":{"value":{"amount":"+0.9518465","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":"Q1573598$DF4F4F57-71A7-4288-B846-26F7E6E74A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1505cd702548673d371268e3bfb81a0ae333a7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3745292,"id":"Q3745292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad7272f2135a0f5ec91fc2d7e52668e8159ec8b","datavalue":{"value":{"amount":"+0.9518465","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":"Q1573598$66D0CBA6-F168-4C1E-84AB-526481E4735C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f70dac8f81f0dea52ac54c53baeb543889ff364","datavalue":{"value":{"entity-type":"item","numeric-id":2729230,"id":"Q2729230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aaf2a83aaeca1a5d8b8b1d3f9733102d43db170","datavalue":{"value":{"amount":"+0.9508363","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":"Q1573598$0E20F9FE-8193-4623-A358-C78E77113FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86fecb60380498eb4216fefc39042c5fe44a66e5","datavalue":{"value":{"entity-type":"item","numeric-id":5716824,"id":"Q5716824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeec19aa953db6e498e0b955c6d87be31f8c49de","datavalue":{"value":{"amount":"+0.9502794","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":"Q1573598$B6DCD2EE-6DDA-4A46-9A33-16037A410F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea1b700e2b0ec284302ab966969f2d1d14b8993","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89df1afc65cce15b3142de91219c89c4735b344","datavalue":{"value":{"amount":"+0.9244365","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":"Q1573598$08DE4D99-FE28-4200-9797-B452D7FA0617","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Petri net algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Petri_net_algebra"}}}}}