{"entities":{"Q1183595":{"pageid":1194344,"ns":120,"title":"Item:Q1183595","lastrevid":70205013,"modified":"2026-04-13T13:09:12Z","type":"item","id":"Q1183595","labels":{"en":{"language":"en","value":"Executions: A new partial-order semantics of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33412"}},"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":"Q1183595$CDE01B74-676A-44BB-AF1B-F7008F74F7A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8660729fb8a208255c6583b30702bdb9181a64d6","datavalue":{"value":{"text":"Executions: A new partial-order semantics of Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183595$D1E90FED-2225-41C6-A9B6-ECFC42CC63C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de7f17485026d4eff3e82bc5934a87634083e0d8","datavalue":{"value":"0756.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183595$07BC6D12-734F-452A-886D-5B11C79DE796","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ea6622071aac674550a2fa8d09873b052d6ca3b","datavalue":{"value":"10.1016/0304-3975(91)90084-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183595$504AC004-BC5B-4C36-A1EF-1B236690CDA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$6BFD20DF-E42A-46ED-B3CC-2FE7A82A3335","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":"Q1183595$5C411BFE-D248-4230-9226-3134C1825520","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183595$EBAC52B8-F7DB-4E1F-9498-0BA61783394C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2f9f92ed3cd6cd149295de896344489c414114c","datavalue":{"value":"Executions are a generalization of the processes of safe Petri nets. The idea is to view places as shared variables, the conditions holding during a system run do not correspond to single tokens as in processes but to a number of tokens lying on one place at some stage. It turns out that executions of general \\(P/T\\) nets define equivalence classes on the occurrence sequences as the processes of safe nets do. Various relations between executions and processes are established and analyzed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183595$D2EDF281-A241-48DC-BC8C-F43DE18310FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183595$573640E1-9FE9-4976-B672-059C2D92DAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183595$D7D9DA1B-ED8D-4B99-98CD-32C49E3AE6ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74482b382929c3934bd91469498e38472fdb9776","datavalue":{"value":"33412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183595$F722A880-A4DF-4311-8E77-AECD71639E37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b15dfbe96a3ca4296848dbe5b48445c04999f2f6","datavalue":{"value":"partial order semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183595$E6337BD0-82CD-4721-8C3E-BD03179379A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183595$48D9A219-2D99-4D24-B441-B40AC789253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183595$26F0DAD5-FCE4-41B6-9826-20F0EC19F3BC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ef154828838154f55171333cf59109f6242d31f2","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$A4381063-B300-4906-B69B-D7EED6714310","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":"Q1183595$82595597-0FD2-4966-9B84-261C2502E284","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3f3d4284f29707c15dbffe01b4356eafdc3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1107296,"id":"Q1107296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$F541C06B-5D2C-461C-ADFC-63546736FB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5d5022a03ef90b60bd9d94e10d019f66d2ead8","datavalue":{"value":{"entity-type":"item","numeric-id":1119024,"id":"Q1119024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$2AAE33BE-1342-45D0-943E-3731FD6868DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f929ccec28625c593cc1ced39ab9e2ced074dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3670573,"id":"Q3670573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$A6B82C10-051C-4C5F-B4EE-DE40E98899E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67bad1001cef8238502303bd816e6bc947f4a13c","datavalue":{"value":{"entity-type":"item","numeric-id":3773356,"id":"Q3773356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$1A6969C0-97DC-4AC5-8F95-61EECAC3D36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2af4c0d8f7240bbf9343bb6798fb99c89343b13","datavalue":{"value":{"entity-type":"item","numeric-id":3343446,"id":"Q3343446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$31545955-271C-4CDB-8EA4-6D05D32DF3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbe416f33e820f85221303fb9f0b7a709727793","datavalue":{"value":{"entity-type":"item","numeric-id":3922196,"id":"Q3922196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$05999749-D6CB-4CB2-8E06-4D0AFC915D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e4188af87a5a6964b5e9329a57bab5dba1272f","datavalue":{"value":{"entity-type":"item","numeric-id":1083185,"id":"Q1083185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$5A9B73C0-0B92-484F-81A2-56A010A41E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac4cb7b296a728973758e537d27a8a465251280","datavalue":{"value":{"entity-type":"item","numeric-id":3815533,"id":"Q3815533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$50F47065-87E3-4280-B9EF-DAD01482A3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4882aab3f5763a57154468372c56e809350f14d5","datavalue":{"value":{"entity-type":"item","numeric-id":3698316,"id":"Q3698316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$7DED682E-A8E2-4883-B97E-A84D00233005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$DDA8A389-8ED2-40BE-B80A-13DC7BEA957C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b30807591b1fd2bb207e32763ea2757df51259","datavalue":{"value":{"entity-type":"item","numeric-id":3740251,"id":"Q3740251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$B18AC171-4051-4E18-8F3D-5CC633A34A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6078f809975146800864caa04a9a0cbf59fb4d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3776636,"id":"Q3776636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$15C64BDD-8C8C-4428-9141-34B8C8EDAF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$E40D8BEA-ADA2-471A-B113-2AB652200803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdb33a7c56e648c09514295a2a8046a4cb5d27f","datavalue":{"value":{"entity-type":"item","numeric-id":4741710,"id":"Q4741710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$917CC525-AA8E-49BD-B064-FBE41189AAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb71253f8196477b0453f2fa6bc4b2fde8bb481c","datavalue":{"value":{"entity-type":"item","numeric-id":3776635,"id":"Q3776635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183595$E43CE720-EDA4-48FF-A346-76BD77BB5A9E","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":"Q1183595$C4243D18-2714-4999-93B6-BB597BD4F0C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6987b10779690bddb7fff01c25714fe642340120","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90084-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q1183595$B238D6B7-4933-48DB-9CD9-0F6634AD7EC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d0aa6fa7d42995b7c3d3492b540345dfde940b8","datavalue":{"value":"W2080705820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183595$095DD034-1BE0-4E61-B7FD-A9C3C922A66C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9029c4aff92c15829fdb57fa586dfe904b99528c","datavalue":{"value":{"entity-type":"item","numeric-id":3740251,"id":"Q3740251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01abe6247f41e3c541bae82a5aac9cba90f6e930","datavalue":{"value":{"amount":"+0.8362330198287964","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":"Q1183595$830BB5F6-2910-4560-AD39-5860C1752FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704dccd087b40781dab618cd375d621f4f087209","datavalue":{"value":{"entity-type":"item","numeric-id":1376685,"id":"Q1376685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d4298fc42aec7cf072d593dbe25c2f6d42af53","datavalue":{"value":{"amount":"+0.8173299431800842","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":"Q1183595$7EB4043D-7237-4616-9122-1D82B05FFD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95f80282482336d23ca31f801b20ed3632ca06","datavalue":{"value":{"entity-type":"item","numeric-id":911779,"id":"Q911779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4093612c513471ad3868e92dac058e1122205395","datavalue":{"value":{"amount":"+0.8093945980072021","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":"Q1183595$6CB6193B-B039-4B99-8C84-7EEC938D03A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c62023f7b94d33ac1b614ef7b90f0778390b552","datavalue":{"value":{"entity-type":"item","numeric-id":4040147,"id":"Q4040147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492e9e0d02aac25aa89754b400b39bb2cf1aca65","datavalue":{"value":{"amount":"+0.8075509071350098","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":"Q1183595$95CCAE2F-76EA-44DB-9203-0FF4C46C8781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6904838c4169d85c280ba5e736f9731d83c2b670","datavalue":{"value":{"entity-type":"item","numeric-id":1119024,"id":"Q1119024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd3bd3ae050dc5862d8b6487b6648aec8f4bea2","datavalue":{"value":{"amount":"+0.8047696352005005","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":"Q1183595$4045C1CD-CE0F-4C9D-A0AD-50FBBE1CE1C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Executions: A new partial-order semantics of Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Executions:_A_new_partial-order_semantics_of_Petri_nets"}}}}}