{"entities":{"Q1902302":{"pageid":1913044,"ns":120,"title":"Item:Q1902302","lastrevid":69241185,"modified":"2026-04-13T05:41:49Z","type":"item","id":"Q1902302","labels":{"en":{"language":"en","value":"A compositional dataflow semantics for Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 818360"}},"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":"Q1902302$5D7A0D39-3CAF-4DA6-A300-E8DF1C3D46EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50df704cb2875af67500e8ed91e2f2fd0114dc1f","datavalue":{"value":{"text":"A compositional dataflow semantics for Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1902302$8D952815-D09C-4483-9136-E25B06C8008A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"405878bf97d5382d4785c6a0069fec8f86bcdd62","datavalue":{"value":"0831.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902302$A63F94BC-A21F-48B8-8C08-A0BEAC714273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff4e4676e4e7e367083dab41e7fc22fcbcdc7b0d","datavalue":{"value":"10.1007/BF01186644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902302$A5FB53FF-06D9-4D78-8D8A-E722703E5A12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a631b2aa21bee6e21d9e4306fbf59ba42980977b","datavalue":{"value":{"entity-type":"item","numeric-id":793091,"id":"Q793091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902302$604D8EC1-A700-43F2-94B9-4D18A717A805","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":"Q1902302$49C86253-1F89-4A35-8CCF-56D449450FB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"622c2f71ed8d7028e10f4c9b72f54a2f381d5eab","datavalue":{"value":{"time":"+1995-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1902302$CB00F703-01AF-4C1E-A7B5-3E99FF705092","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af97ebf98ee543179c2be3aaee4e7f071143b545","datavalue":{"value":"We give a semantics for place/transition nets, which describes the input/output behaviour using fixed point techniques. The semantics is shown to be compositional w.r.t. the net operators parallel composition, feedback and output merging. We prove consistency with the step sequence semantics and thus give an equivalent operational semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902302$9296EBDC-BEC3-4CBA-A448-04491F6DFDAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902302$B7CCC89A-CB1D-4D39-A494-5D02CA84FE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902302$37595322-B51C-4BA7-8DD6-48A6202AAE22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64e291054aad546ea231cecdae76b1a2739ad51c","datavalue":{"value":"818360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902302$A1B01E7F-D207-4B48-957A-6C50A6A99AC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac3c05f8502cb098d59fe8c6727908cb9f561366","datavalue":{"value":"place/transition nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902302$B9EE2CF0-69B3-4542-8422-D268C000F446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43afe3d07a20085c16d7fffd72fcf1304b306395","datavalue":{"value":"step sequence semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902302$23B917D0-E1A5-4F94-9ABA-B125386B067F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1902302$39DDF147-7B6E-4D55-A845-61B1E3F76FF4","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":"Q1902302$FE377138-59BC-4592-8616-65D9FC0E6CD3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34d16a4d66184c0dfd0a757ef36dbf511bfea45d","datavalue":{"value":{"entity-type":"item","numeric-id":4842533,"id":"Q4842533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902302$D9D5B8C2-075B-42C3-A410-885EB920B09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c96b95e7988e4d43245c6e92695d5b5459009cc","datavalue":{"value":{"entity-type":"item","numeric-id":1089322,"id":"Q1089322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902302$9814764A-2E45-4893-B3D1-0508A19F41E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24a6d683995c2cc1888ddb40fdfa217caaf5e43","datavalue":{"value":{"entity-type":"item","numeric-id":1095640,"id":"Q1095640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902302$50EAC961-52CB-4AA9-BC31-093BB6BA5CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a61b7701da971a87c154b5ba63697136c95a92","datavalue":{"value":{"entity-type":"item","numeric-id":4385538,"id":"Q4385538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902302$43D7B5C6-F964-489C-B199-72F006152859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bf8ce9aac73bf50a8b75ec97283321f86bf552","datavalue":{"value":{"entity-type":"item","numeric-id":4168046,"id":"Q4168046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902302$5892A00B-1A88-43D3-9CA6-AA20DB8BA235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c5bfbb0e0116c79b3f8d34e4b4c95e652c228e","datavalue":{"value":{"entity-type":"item","numeric-id":911801,"id":"Q911801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902302$4F863AB7-55A5-4576-97CE-5B751B681588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cbbefaa81fcf2b85574d7ad3e4db3c6a33171f","datavalue":{"value":{"entity-type":"item","numeric-id":3907081,"id":"Q3907081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902302$35C54C8D-982D-4187-9D06-3DA01AE9C49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363ff06b747cc0d1f525d4ca72a6cf12fb4d0d6d","datavalue":{"value":{"entity-type":"item","numeric-id":1083212,"id":"Q1083212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902302$7F5FC4FA-0A9F-408E-A0CF-7A9BB4354694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb7eaed2dce05c7bd60ae3bc139a1c1a385f146","datavalue":{"value":{"entity-type":"item","numeric-id":1101233,"id":"Q1101233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1902302$8ADDDC34-9F6F-4151-802A-8F3E24E63955","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a38e12c255f4004d752948d4a21a77ff507accf","datavalue":{"value":"https://doi.org/10.1007/bf01186644","type":"string"},"datatype":"url"},"type":"statement","id":"Q1902302$1DCE8513-C461-448B-BCD6-773FEDF3EB8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"243bc70fc438d65ae614ef7460b4d9c4539b6ffe","datavalue":{"value":"W1968942299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1902302$B0A954B3-1DC8-4DBF-A2F7-B215D729F4F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5617794cfbe7fa10e230ca85468833559b2d9574","datavalue":{"value":{"entity-type":"item","numeric-id":5096839,"id":"Q5096839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbaea8ad113aa25f988ac0ce4e746d082e3cad3f","datavalue":{"value":{"amount":"+0.9747138619422911","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":"Q1902302$31554353-456B-4FFC-9FA9-AD4B0E3EF75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63aabfcd13900aba5dc96ba055f68bf4fe628f01","datavalue":{"value":{"entity-type":"item","numeric-id":4723281,"id":"Q4723281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa143a900f4d3c1ae8ae52fc0ec20cfc25254d3","datavalue":{"value":{"amount":"+0.8443378210067749","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":"Q1902302$F8039557-3BBF-4A1E-8415-FD4A4E09F985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a16bafb6309423f9170363530ee9cdf1d5d978","datavalue":{"value":{"entity-type":"item","numeric-id":6487378,"id":"Q6487378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b378d8983dae2decc8c5d6a8a6bf5b96f270fec","datavalue":{"value":{"amount":"+0.8384374380111694","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":"Q1902302$A48CAD36-A841-4DF3-B948-96A6B7A4D34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1c5d8d38932f0d26b0a47a9cb6a9eba5128dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3811722,"id":"Q3811722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e7d4b70d13b4398121f023dc5bd1087df5934c","datavalue":{"value":{"amount":"+0.838360071182251","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":"Q1902302$9268C76A-2C47-4F0F-967F-1381E9AC23DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5fda790e6db4f5c034e53c03ed59792184037","datavalue":{"value":{"entity-type":"item","numeric-id":3474896,"id":"Q3474896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d97d041582a9fca016d7146205b4dd2fe2f9980","datavalue":{"value":{"amount":"+0.8351995348930359","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":"Q1902302$F22FC6DC-681C-4D0C-901D-3C6789AEB36E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional dataflow semantics for Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compositional_dataflow_semantics_for_Petri_nets"}}}}}