{"entities":{"Q418794":{"pageid":420561,"ns":120,"title":"Item:Q418794","lastrevid":61696443,"modified":"2026-04-11T01:02:06Z","type":"item","id":"Q418794","labels":{"en":{"language":"en","value":"Petri net languages revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039180"}},"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":"Q418794$58907622-9846-4BF9-8DD2-606D1CA648F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40d4b49cf92c50dc02be8d907d16ba1d3c4cb8ad","datavalue":{"value":{"text":"Petri net languages revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418794$8CC982F8-E524-4375-AECB-89CE9243CB2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4613c9922bcd4ab7d734fd583420238279e4fa3","datavalue":{"value":"1247.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418794$1FFEBAA7-497F-4D33-AC57-B0C1EE91AACA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea65ad576fddb6ccabc0d413af909d9f6eac4ee0","datavalue":{"value":{"entity-type":"item","numeric-id":287004,"id":"Q287004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418794$AD7D40F4-051F-4E2C-A3D8-E5AC924E7E28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418794$82D39486-406F-4364-8587-A7D99ADEB34B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418794$7C488C75-D3E1-42DA-877F-1D8BB89989A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"925d1744780687c7f1fd27d21002f71a46b22a43","datavalue":{"value":"This paper studies Petri nets behaviour. First it considers atomic nets, i.e., nets with a single place. It shows that the firing sequences of such nets form a context-free language. Next, the commutative languages arising from sequential ones by applying the commutation homomorphism from a monoid of words to a monoid of multisets serve as tools for proving context sensitiveness of the sequential behaviour, regularity of commutative behaviour and decidability of reachability in atomic nets. Finally, these results are lifted to the general case of place/transition nets. It is proved that the sequential behaviour of such nets is the intersection of a finite number of context-free languages and that the commutative behaviour of general nets is regular.","type":"string"},"datatype":"string"},"type":"statement","id":"Q418794$1B13878D-6C47-4963-8188-DA4450D19898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418794$2FCC12FA-3F1F-418A-B639-9B4156E3437A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d267211843dfb56f20b4e71ed70b4545b4e334f","datavalue":{"value":"6039180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418794$C772BAD8-45C1-4CE4-869B-D0F1AAC9CD29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb7f00ee7fdadd911515b91bdfee9f839c293b4","datavalue":{"value":"concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q418794$514F60DA-B85D-4C0D-A023-1B3121477ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83a74015bb15b3290d3233307d9b8c71b0da917","datavalue":{"value":"Petri net behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q418794$C80755E7-F672-4FCD-9721-88CF7EB955E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c3ceff1405cd910bb3fd7785fbb02ee3886bee1","datavalue":{"value":"Petri net languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q418794$AE0D8A43-3E53-4500-8F1A-FF4DDB34586E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278abaac90e2b86d4dc5f4dc53caced7b95e0894","datavalue":{"value":"commutative languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q418794$072D3D6A-FADA-4FF1-9B24-213FA463583F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ddf3a6efb0adc1b91e3adda82fabb2657cf513","datavalue":{"value":"atomic nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q418794$E895DC28-164B-4E11-90F7-8CD7983D1697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d75d448735778f46c4e9667e177539a844422b26","datavalue":{"value":"context-free language","type":"string"},"datatype":"string"},"type":"statement","id":"Q418794$2B9CEFF2-3D1C-41EB-AEA4-DE9F1A4F7B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce2888facdc7c68f7fd5d3997bed20612efe5cb5","datavalue":{"value":"sequential behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q418794$A56891EE-DDCB-45A2-849C-3402D9EA5174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6f4d8b7f9de04329d288267d4847386b9b9556","datavalue":{"value":"commutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q418794$076D4431-EA16-4619-9404-104398092C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q418794$DDA8E44B-B40D-4885-9738-B73A379B32E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q418794$B577DCE3-2FB2-4DF4-B642-CEB023FFF4BB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e58c6dffa2cb5b51020de9c6757ee2fa56512d39","datavalue":{"value":{"entity-type":"item","numeric-id":690236,"id":"Q690236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418794$294EB733-5069-4DC0-9BCB-478202E69DC8","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":"Q418794$FE8357BE-DFDD-4F39-853A-239C37324E39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53c933e7d4316e1b5cdaa44b849b8f8a012e3f54","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.12.043","type":"string"},"datatype":"url"},"type":"statement","id":"Q418794$30FCB946-0651-40DD-90F7-CC5627132F03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4a7b7440a5c4c876e41f72da88219304df6d7a8","datavalue":{"value":"W2029659892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418794$0B07621C-4F81-4904-97FB-2B8C7F8C0FF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c2313a179789c02caec29c76a9d978be06b89ec","datavalue":{"value":{"entity-type":"item","numeric-id":3696528,"id":"Q3696528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418794$1763C0E6-EEBD-4EFF-8F98-3830A04B22A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef1e4fda7afd79f91fa41631d5233cfa1053f57b","datavalue":{"value":"10.1016/J.TCS.2011.12.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418794$9D47D021-9B44-4DEA-97F9-6326615EE414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d04a3d5a16ba8e2053b93c8687fe748f7ee625","datavalue":{"value":{"entity-type":"item","numeric-id":1917074,"id":"Q1917074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2edf3485de91c2a37c44350c13d5a48b308f982","datavalue":{"value":{"amount":"+0.8440800905227661","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":"Q418794$976A93AD-63FF-46E1-A8E7-BB9847D6F935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee11fcfdd8344ac51544ad74e2471a665565517","datavalue":{"value":{"entity-type":"item","numeric-id":3124464,"id":"Q3124464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2edf3485de91c2a37c44350c13d5a48b308f982","datavalue":{"value":{"amount":"+0.8440800905227661","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":"Q418794$9548A6D1-86DF-490D-848B-CC13244732E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e738447297e0086cd402d500aac570026553bc","datavalue":{"value":{"entity-type":"item","numeric-id":2265817,"id":"Q2265817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a21ac995c27a57cd66e91420124bf0edb52388","datavalue":{"value":{"amount":"+0.8230525851249695","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":"Q418794$70740DA1-CE56-481C-B208-50838BA9B0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fe1393c21bfb0d78d1442da7315fc61139bb52","datavalue":{"value":{"entity-type":"item","numeric-id":3493244,"id":"Q3493244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4125fd1a66f64d5d2a9fe05b6cbc808924a46a","datavalue":{"value":{"amount":"+0.8164560794830322","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":"Q418794$7D050A9A-097B-4206-A195-DB500C14A672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db35090206c660d237a31f24de54481c94d8c59c","datavalue":{"value":{"entity-type":"item","numeric-id":1183784,"id":"Q1183784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a9a633f22a69841501a6037486fcb95d207e7b","datavalue":{"value":{"amount":"+0.8155829906463623","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":"Q418794$89D81A05-CB71-4EA8-BF17-09578140D191","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Petri net languages revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Petri_net_languages_revisited"}}}}}