{"entities":{"Q809611":{"pageid":811459,"ns":120,"title":"Item:Q809611","lastrevid":64539135,"modified":"2026-04-11T20:34:02Z","type":"item","id":"Q809611","labels":{"en":{"language":"en","value":"A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213469"}},"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":"Q809611$51A3F1DB-212A-4202-9D96-38DD07AFE833","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"750f88edbc5f97845d45d8695568bc4affebf559","datavalue":{"value":{"text":"A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809611$9984C19C-3FBA-48B7-BB01-674B2267103B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee74735cdf8d38554d281b48c0b77f88790978fc","datavalue":{"value":"0733.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809611$B22AD989-A711-428A-8837-17F5B13BA77C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb15b517b595b09f6929289b9967639daa2db29a","datavalue":{"value":"10.1016/0020-0190(91)90225-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809611$30617776-A3BA-4EFF-80B2-A1800A006EE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef70989854b46304c6274e59f7064331acfcdafe","datavalue":{"value":{"entity-type":"item","numeric-id":344509,"id":"Q344509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809611$A204CD5E-1BE4-4D4B-A238-ABFB21EC3743","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809611$4BBC3462-07E6-4A0F-B174-1E57AD92C4D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q809611$899632DB-1817-435D-9652-3AE6B0EDFB15","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"247d25db98ccb4757fa28f5a20fadeff8db5253f","datavalue":{"value":"The paper illustrates a polynomial time algorithm for which it is shown that the open \\textit{M. Tiusanen's} [Bull. EATCS 36, 152-160 (1988; Zbl 0669.68046)] of determining whether two transitions in a 1-bounded conflict-free Petri net can become enabled simultaneously, is solvable in polynomial time.","type":"string"},"datatype":"string"},"type":"statement","id":"Q809611$B90E6ABF-2E53-49E5-9331-EAEA922264E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809611$21C2B845-D382-4B2F-A5C7-A46401DE17F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809611$E5C69240-2B6F-48F4-8526-F9F71B32EA15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7d46f00704b6ea32354fbc1353c37f7d8c2dc4d","datavalue":{"value":"4213469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809611$F1A64B7C-4E48-4A79-8F62-2C7DDF131037","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q809611$32943812-2370-428F-A0C3-3A6D36496FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e1f34c3148460dcb794ae976aee1e23efd20f07","datavalue":{"value":"conflict-free Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q809611$7CFBC6FA-053D-410A-8432-E2373A71797C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a16a510944c995497c91c3219121771be748088","datavalue":{"value":{"entity-type":"item","numeric-id":245178,"id":"Q245178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809611$64687647-3F36-4574-9788-071E9973A98E","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":"Q809611$76F0B1DE-C93B-489A-95BB-8A71D019392D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a13893d85c7b83de2bc21cdf204af21b18934fe","datavalue":{"value":"https://doi.org/10.1016/0020-0190(91)90225-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q809611$8408D0FC-B0B5-48E4-AF83-CE16F49294A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a6137ec673fff3f71b93f003ae6990b201fa79f","datavalue":{"value":"W1993706145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809611$46B81214-7ACE-4CB6-A395-5F93D475E6B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07aba6a9c1e60cd1f9f1767cc72a1ddfd6ac66d5","datavalue":{"value":{"entity-type":"item","numeric-id":1216050,"id":"Q1216050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809611$939C9596-BFA0-4911-A5A4-2F5F1290BD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a6a60ad6cc5c143aaeaca19302c9e964fced6c","datavalue":{"value":{"entity-type":"item","numeric-id":1113674,"id":"Q1113674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809611$C08F5AD3-203C-4490-ABB2-E1EBDD45ECBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093c1df9af867c1518fe9a929bd5c3fce291b15c","datavalue":{"value":{"entity-type":"item","numeric-id":3823147,"id":"Q3823147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809611$629DDDC7-07EB-42A9-B0D9-4ABEFF61010B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2a5ae16fe8c5db28da987f649e71bad5b204c8","datavalue":{"value":{"entity-type":"item","numeric-id":1097037,"id":"Q1097037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809611$C38C2272-5358-4BF7-A07B-1458D2C3DBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809611$F090BAC4-104F-4D45-86FE-360A3587B561","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":"Q809611$79088A09-527B-4D4D-9E27-78AB90E15349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809611$7E1E43F7-971B-469F-B939-A315E5F4CBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90481c9250642e7bd4d6e15f6a0ca50b28a4244","datavalue":{"value":{"entity-type":"item","numeric-id":3823149,"id":"Q3823149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809611$6780B617-01C9-49F2-BF0B-587FAFEF34A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f500e397b635eafef32a2dc147dbab4e4262bc","datavalue":{"value":{"entity-type":"item","numeric-id":5431340,"id":"Q5431340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77adcd41668a40eca171e6ba7880d2a8116d456","datavalue":{"value":{"amount":"+0.7593498826026917","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":"Q809611$B006CE42-72AB-42A2-8DFF-9795AB69A827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31135977936716747c7f31c1849275e598439735","datavalue":{"value":{"entity-type":"item","numeric-id":620942,"id":"Q620942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37d3922cbba56f5732608af000cc2f494bfd993","datavalue":{"value":{"amount":"+0.7563920617103577","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":"Q809611$19A439D1-9446-4B42-AED6-05C0B6B6957F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15e6119786651074772b3c02b467a90d933a535","datavalue":{"value":{"entity-type":"item","numeric-id":1108799,"id":"Q1108799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ddeedf6c634108f19635cc346797e0f0c58f06e","datavalue":{"value":{"amount":"+0.7531666159629822","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":"Q809611$33A2BC5B-9D58-4BB0-A2A0-C14414044B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2720362e7457cc1e97744f038f45859755eb89","datavalue":{"value":{"entity-type":"item","numeric-id":1364130,"id":"Q1364130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278e1386f840d15924fefe8697e3c3a75b43d893","datavalue":{"value":{"amount":"+0.7528208494186401","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":"Q809611$699C889C-4617-4399-8B24-E2C99B023DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2faed612e5ad0a58ad078c67fc302a1349d9770","datavalue":{"value":{"entity-type":"item","numeric-id":4281653,"id":"Q4281653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918806dde2b6a4edd47b0d8ce15cb3ecf4f83dfe","datavalue":{"value":{"amount":"+0.7441896200180054","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":"Q809611$1FB27EC0-E88B-40B1-B458-936888D2CBC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_polynomial_time_algorithm_to_decide_pairwise_concurrency_of_transitions_for_1-bounded_conflict-free_Petri_nets"}}}}}