{"entities":{"Q2340254":{"pageid":2350997,"ns":120,"title":"Item:Q2340254","lastrevid":52243163,"modified":"2026-01-21T05:57:28Z","type":"item","id":"Q2340254","labels":{"en":{"language":"en","value":"Observable liveness of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6425532"}},"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":"Q2340254$603F8E76-DC39-464B-A972-5A733466A7B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aac76aee923e0dfc570ab30d26a9cf0d3e17b6cb","datavalue":{"value":{"text":"Observable liveness of Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2340254$6419AE63-B917-41AF-B7CA-9EE5BD052F1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be7071cb653165a291374e85465beecbbcf03a1c","datavalue":{"value":"1319.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340254$9A8DB05B-55A0-43BF-A4A1-ABAC06795552","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b118e1d3cd5efbea6f6ab33e660d831d45ef0c","datavalue":{"value":{"entity-type":"item","numeric-id":589393,"id":"Q589393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$D124D8DE-7A19-4969-92F1-575BF78377A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49958eb48195c92f0fc64c1c688674b64c8bc148","datavalue":{"value":{"entity-type":"item","numeric-id":1662536,"id":"Q1662536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$635B5EEF-9B57-4FCE-89CA-1D02CB7FCBEC","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":"Q2340254$26A61898-1849-4194-ADED-D11D6E8D0EA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e35db66a344990b78fb6f9609c8b7c15ceb974b","datavalue":{"value":{"time":"+2015-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2340254$1F380D04-6CC0-4AD8-A1B7-8720268BD1FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e60fece26aa4e72212dc1230df12e330a80749f2","datavalue":{"value":"The paper introduces a new notion of liveness for Petri nets where a distinction is made between observable and non-observable transitions, and observable ones can moreover be controllable or not. As a matter of fact this observable liveness is related to the traditional liveness in many ways. In particular, the last one implies the former for 1-bounded Petri nets if conflicts possibly appear only between controllable transitions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340254$37D4B3BA-2029-4AD0-AA95-CDAF0E7272E5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bd8c91b20d989f47b6d5b40572fa0e13a50d9a56","datavalue":{"value":{"entity-type":"item","numeric-id":234453,"id":"Q234453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$9B4B3DB4-A37A-41FF-9EB1-ACA8A886376B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340254$7AC372C2-3DB0-492D-9CF8-B0051D5208D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31aa84c8266eca3ccf395fe007ad6ced1fbf87f3","datavalue":{"value":"6425532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340254$894A5FD6-D100-4C4B-BA74-773B73762178","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340254$8CAFB11C-B4DB-4636-83BA-7F092111E47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340254$E034C51B-357B-4B5A-9B88-A46FBAA8F17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f4b7cdd1dc7dbe3ad79353192c7827bb9da3cd6","datavalue":{"value":"observational transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2340254$4DF5FE99-2ED5-4008-B83B-A2A91B576E6B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$3CDBD558-E8D6-4598-BF24-2A8DDFC9B6F6","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":"Q2340254$D791DF6D-0FF6-4E0B-8DB1-56F2CAB09B7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4681f14ebba1563d9e7505f1b5041db50f63d113","datavalue":{"value":"https://doi.org/10.1007/s00236-015-0218-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2340254$EAA39004-021D-4CC2-99B6-FA7463672477","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e60638145e3bb97b986c46b44d6bb21d0311076b","datavalue":{"value":"W2116995843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340254$1B55D9D8-C637-4584-9F88-A39BA349FD4C","rank":"normal"}],"P223":[{"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":"Q2340254$9AABAF40-51D5-4C67-B427-6687C4BA9576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$2ADB91AC-6311-4FF5-90D7-9F2FDD8BAA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cf1d5d871fd5755b77acd01deaa51f98e63eb0","datavalue":{"value":{"entity-type":"item","numeric-id":4164838,"id":"Q4164838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$EDA3F8A3-C353-47C0-856C-B2EC83BBBED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92129a26dbf41cdf266b4912c7209843a4f651","datavalue":{"value":{"entity-type":"item","numeric-id":1175711,"id":"Q1175711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$D09345DB-D413-40FD-A7CE-8F82AC5CCB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$3A0E8A3B-D642-4378-B8E0-C2726603CD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7712fd4d957bff39228c21f262e6255cb63fb01c","datavalue":{"value":{"entity-type":"item","numeric-id":1360353,"id":"Q1360353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$E273AF0E-B1FD-4269-ADDC-595C0F6E436B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb311e231bb2ba5533630ece87b16385a6160c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5266683,"id":"Q5266683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$0DF7D919-1BDF-4873-A53A-DAE8A837D52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79452d1b9a2a68083fc27a19f6aa7839bc810445","datavalue":{"value":{"entity-type":"item","numeric-id":3731015,"id":"Q3731015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$35D0014C-1AEA-4654-8427-57B1EC45D528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13587f82224ebc2d5c8a0e1f19ddb3b39ae07a02","datavalue":{"value":{"entity-type":"item","numeric-id":4372017,"id":"Q4372017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$CE21E5BA-441F-4BE4-B41F-4C7AF029DBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$3FB535B0-8ED2-4874-BAC4-233C1CD89E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36f677885d9b550c456ea5898abf6eaebcfb38f","datavalue":{"value":{"entity-type":"item","numeric-id":3090821,"id":"Q3090821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$BF2FCE24-0224-43FA-86C8-11315BB09756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817243e3de4a59d3dcad47baf83c736f8651b098","datavalue":{"value":{"entity-type":"item","numeric-id":478516,"id":"Q478516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2340254$04D7FF09-C1DB-4BDD-9768-CF4E24159B74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"003d13b5ff0bee14e8be9af82c8c42234e3f03e2","datavalue":{"value":"10.1007/S00236-015-0218-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2340254$D4A47708-DECD-453E-8C54-CCC20C583A27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2594aeafac704565eab1405b1ab30bf2629a18e","datavalue":{"value":{"entity-type":"item","numeric-id":1662538,"id":"Q1662538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a285ebe2f2259659868fde63859b8278d3dfd03f","datavalue":{"value":{"amount":"+0.8320986032485962","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":"Q2340254$2077CA45-CB09-447A-8AC5-6B2884B9699B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a9c174b9bad445b1df549695c26809bdf035575","datavalue":{"value":{"entity-type":"item","numeric-id":4782035,"id":"Q4782035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a033c76bd1ae03c94efdbfebd3b9c4d883f33cb2","datavalue":{"value":{"amount":"+0.7930573225021362","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":"Q2340254$64643291-9E0B-4AD6-9772-3D9D1935FC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b067c6a36402f13bf69128c9a0cf0892cbf9d144","datavalue":{"value":{"entity-type":"item","numeric-id":4633154,"id":"Q4633154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e01027b396c111af1ca264a6f32b2a51730153","datavalue":{"value":{"amount":"+0.7866266965866089","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":"Q2340254$6E8EA538-BDA8-4D99-AB40-4FC2319CF52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628d9af9a3dfb68c52d5d3e51a04226aa5afba0b","datavalue":{"value":{"entity-type":"item","numeric-id":4361121,"id":"Q4361121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2229aa363b378c1855ea26da83787225a8194bd","datavalue":{"value":{"amount":"+0.7772296667098999","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":"Q2340254$226F0487-7837-4F6F-BEE1-BB3BDD4F25CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db1f03c063783134d90a60b0427bff1f9309e2","datavalue":{"value":{"entity-type":"item","numeric-id":3746895,"id":"Q3746895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806730a1cbde658f20fc52f21ba5dbbdde3a0375","datavalue":{"value":{"amount":"+0.7671754360198975","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":"Q2340254$A6E1A5B8-A5E7-4CD7-9D78-8EB18D1119C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2340254","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2340254"}}}}}