{"entities":{"Q1091145":{"pageid":1101897,"ns":120,"title":"Item:Q1091145","lastrevid":69620217,"modified":"2026-04-13T08:15:05Z","type":"item","id":"Q1091145","labels":{"en":{"language":"en","value":"Petri nets, algebras, morphisms, and compositionality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4009828"}},"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":"Q1091145$7CAFA635-5BE1-46FD-8499-0BEBF645AFB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"364ba50eccbbe46d03465bfe2224c751604f5e53","datavalue":{"value":{"text":"Petri nets, algebras, morphisms, and compositionality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1091145$05D262AA-0EEC-4275-B4E2-1A7CBB308537","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44a1c6ccd77b1e65d50ff1562605f2b311f99a6e","datavalue":{"value":"0622.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091145$2C4D250D-0259-45D3-B3D3-9884A4DD0038","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b79e25174ca13ab520552d78673c48f0235f8d75","datavalue":{"value":"10.1016/0890-5401(87)90032-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091145$390AE5E9-4440-4A2E-8115-09D378177A74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$6B308C41-9A45-44E9-88EA-FD04940941C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$2D304737-106C-4F35-BCDF-760BBFE873B5","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":"Q1091145$8442FB7E-C16B-4A3C-ACFE-22ABA766F3DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"77564c6dd4d47c53b50eb2f2786fb15a6885b6a2","datavalue":{"value":"It is shown how a category of Petri nets can be viewed as a subcategory of two sorted algebras over multisets. This casts Petri nets in a familiar framework and provides a useful idea of morphism on nets different from the conventional definition - the morphisms here respect the behaviour of nets. The categorical constructions which result provide a useful way to synthesise nets and reason about nets in terms of their components; for example, various forms of parallel composition of Petri nets arise naturally from the product in the category. This abstract setting makes plain a useful functor from the category of Petri nets to a category of spaces of invariants and provides insight into the generalizations of the basic definition of Petri nets - for instance, the coloured and higher level nets of Kurt Jensen arise through a simple modification of the sorts of the algebras underlying nets. Further, it provides a smooth formal relation with other models of concurrency such as Milner's calculus of communicating systems (CCS) and Hoare's communicating sequential processes (CSP), though this is only indicated in this paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091145$B544AC2F-8650-4AFF-BD56-8761E38ECEF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091145$83418B2A-7C94-4D48-820D-8B3051A64A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091145$27452481-0EAA-48F7-8FE7-1F2BE5F7AEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091145$7F89CC12-3315-44E4-B009-FCD5028FF571","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2cc043c8995a3958f8ae1e1bac05fe5a123a064","datavalue":{"value":"4009828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091145$7AB5EFAC-5B30-4F88-BB73-CF81EE47F79F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e655aefe56bf8a878e2681b34cf54c78691d23bc","datavalue":{"value":"category of Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091145$08A413AC-AC1D-41B9-9E37-048C08E30205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b733c76043e572c028cff470311827a09690ed39","datavalue":{"value":"two sorted algebras over multisets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091145$C5B7774F-3DAA-423C-821B-6F5E23E64507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b48541c376a4f691e3a9309535760ea215d320d","datavalue":{"value":"behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091145$73AC5BE8-D6C0-4B2B-B0B6-46D63B4A48ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091145$1AF40E29-D7CC-4402-9C05-F2F41E207AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2d55f8b7816fb99f3e54f5f2f8fa15e7a99334","datavalue":{"value":"models of concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091145$2480D2CC-6C8D-4A80-8990-60A0E602BCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe8107509c3504f323398a17d0ffacfc00f02ff","datavalue":{"value":"calculus of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091145$DF76D053-3D47-4DB5-BD05-4D75B4CE1F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091145$479388F5-2E8A-4856-928B-60B31AF88B78","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":"Q1091145$7FE3EA82-7CB6-420C-B972-09F89CFD0DF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af38cc9d477fd038ce823693ae52932864cd8f95","datavalue":{"value":"https://doi.org/10.1016/0890-5401(87)90032-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1091145$ABE9963F-3940-44C8-A402-628CDDA78B4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa9a86dbdbc2ddfc18963c2bdb9969fd925b7763","datavalue":{"value":"W2086302464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091145$8B9505D1-364E-43EE-B092-EC6E17F9F878","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e063a33e37ef5dc84ac18aef142b36f11221d873","datavalue":{"value":{"entity-type":"item","numeric-id":4152697,"id":"Q4152697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$E3861D19-5998-4F31-B1F5-39F33D76C10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595d2c734160eb70f176b892f360f9f81826b914","datavalue":{"value":{"entity-type":"item","numeric-id":1139934,"id":"Q1139934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$8237278A-FB76-42B9-BF46-4D24FA06976D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a07beb9cf181343a93f17dfb17bc6ca6e2a819d","datavalue":{"value":{"entity-type":"item","numeric-id":3745292,"id":"Q3745292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$225D2320-DD02-461D-A3C7-BF888378FE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fda785ba06a1c78c3b1fa3da035e72d736ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":4048566,"id":"Q4048566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$520428EC-6BD3-491A-9ED0-80C53822F087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07381bf4b6c244d753623e0b4323f1eba2879cbd","datavalue":{"value":{"entity-type":"item","numeric-id":3674068,"id":"Q3674068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$10F4A18D-BCFE-43C4-810D-A5CD3D3C00B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7f699b4a74cb07144ec83c8a61ea5234c35a95","datavalue":{"value":{"entity-type":"item","numeric-id":3675536,"id":"Q3675536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$B7DDB68C-85CB-4D8B-AE84-66EC4D7A8F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$1AB71A4B-B4EB-4A3D-8217-86BAB811287F","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":"Q1091145$9C3D3BFF-FA95-4C18-A9A0-886523D628E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$78CBC680-C154-4EEF-B071-5B44ECD772AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4e97477fb60699ad6f2ad7e7573d3620ffe5d7","datavalue":{"value":{"entity-type":"item","numeric-id":3666249,"id":"Q3666249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$76E563FA-79F3-428C-8EAD-0EFF3B2A6F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$D0747F03-4B66-44AE-A68F-FCE60C9FBD27","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":"Q1091145$D62034AE-57CD-486D-87CD-8340B274C4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d809b7eaaa3d56d487e054f3ebab40ac8d962a30","datavalue":{"value":{"entity-type":"item","numeric-id":672873,"id":"Q672873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$F0556A50-C95C-4077-9B15-3ADF3504A754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb70412cafc6e538980766c76c983549d861cd3c","datavalue":{"value":{"entity-type":"item","numeric-id":3851636,"id":"Q3851636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$43083912-43CA-40A1-BF89-2FFDDFB76CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$77C77126-1166-431F-AB17-4CAD12D164DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$4281766B-B6E9-48BC-8852-7E2AD834DB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$F5A1FAAD-06C7-49F8-BBDB-AF84B3F2E1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c9c4dafaf7a46f954167730dbb260940caae4c","datavalue":{"value":{"entity-type":"item","numeric-id":3707426,"id":"Q3707426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$A7496249-EC31-4581-8881-94FC2485025C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e059bd12c9c25b77f8a1ec80a50673f42073dd0e","datavalue":{"value":{"entity-type":"item","numeric-id":5184417,"id":"Q5184417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$8548AF0A-4538-41CA-88F6-F8639B055803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12113c52b3127249cd98f6e5578d7e039662dec4","datavalue":{"value":{"entity-type":"item","numeric-id":3683531,"id":"Q3683531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091145$4975AD44-3CAC-42A3-98DF-16988362ADCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640dc3a06f7f623e807404ffd4e9499190243795","datavalue":{"value":{"entity-type":"item","numeric-id":3751021,"id":"Q3751021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10e3677dd88438c93162a9886847e04a57c22c0","datavalue":{"value":{"amount":"+0.9794158339500428","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":"Q1091145$449635D7-F642-491D-9053-83E6730B47E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70de79d702dd407a153e21cfff7a5d206ee26792","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b59ad6f2a0561b4be1a387982da0b5f55095b5e","datavalue":{"value":{"amount":"+0.8591387271881104","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":"Q1091145$7D26558B-FDBE-480D-96C7-A5B636951F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb16213c6980829a5ad6fcb8dd02804e7394891","datavalue":{"value":{"entity-type":"item","numeric-id":1901718,"id":"Q1901718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acde1cc949141205f62cd56e9d8ce71d5adc8b4b","datavalue":{"value":{"amount":"+0.8418640494346619","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":"Q1091145$6114E611-799C-4E1B-B67D-BCB205D9E33F","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":"acde1cc949141205f62cd56e9d8ce71d5adc8b4b","datavalue":{"value":{"amount":"+0.8418640494346619","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":"Q1091145$F256558C-296D-4DE4-BFD4-02FED8102376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fbd00f289ff1b3e617983f4a1951c98a07daddd","datavalue":{"value":{"entity-type":"item","numeric-id":4874646,"id":"Q4874646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb2813ffa2bffa451da7bc58c05fd9516d37151","datavalue":{"value":{"amount":"+0.8404188752174377","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":"Q1091145$1FC548A7-4C8A-4B37-B201-D4BD92BFBDE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Petri nets, algebras, morphisms, and compositionality","badges":[]}}}}}