{"entities":{"Q892055":{"pageid":893903,"ns":120,"title":"Item:Q892055","lastrevid":65167113,"modified":"2026-04-12T00:46:00Z","type":"item","id":"Q892055","labels":{"en":{"language":"en","value":"Homology and bisimulation of asynchronous transition systems and Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6510934"}},"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":"Q892055$75812C83-195C-41D8-A7DB-188A9488FDB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5dc116551ecec537afbb698cf5b8d0c71f3a9cb","datavalue":{"value":{"text":"Homology and bisimulation of asynchronous transition systems and Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q892055$3B54A419-E66F-4A8D-BAD4-C8904F9DDAF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1a54ef88c693db80476b626188b51b17bf2334a","datavalue":{"value":"1328.55023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892055$40E7AE7D-794E-442C-91BC-6DA1899999F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"482b7978385e0be0d8ea5afcf93e349a724cc633","datavalue":{"value":{"time":"+2015-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q892055$677583AE-2250-4CCC-AB99-7CF960825724","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f61db88ea331e4c7c2fa99bd981adc2c7a0daaf2","datavalue":{"value":"https://arxiv.org/abs/1307.5377","type":"string"},"datatype":"url"},"type":"statement","id":"Q892055$90494A9D-0E4B-4D5A-8D0C-2710327D8173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf2816b70f391849e4b762d58bf6fd6706ff5582","datavalue":{"value":"http://semr.math.nsc.ru/v11/p863-877.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q892055$1D9E4035-8856-41C4-B088-BBA382E9EDE6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01caf91c07cf3c4865979cc02c7de6c01afba622","datavalue":{"value":"The author introduces homology groups for labelled asynchronous transition systems (labelled transition systems equipped with an irreflexive binary relation of independence) and Petri nets. He proves that two labelled asynchronous transition systems which are bisimilar equivalent in the sense of Joyal-Nielsen-Winskel have isomorphic homology groups. A method of constructing a Petri net with given homology groups is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q892055$131841F2-6B6D-4F1F-B1EA-571FE8BF2EF2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b83d2f7098073ec0ce332f8e7bca96a6bda9b9ca","datavalue":{"value":{"entity-type":"item","numeric-id":589562,"id":"Q589562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892055$2EB1686D-CA9F-4A34-83D9-DC4FEB6D7976","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892055$F59C739B-5591-497F-8945-96ED0F4B568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892055$9BEB9AEF-990C-43D3-8AEC-4B892F83E321","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a821bc2101ca468ad9ecf7c828633a6e1af0d80a","datavalue":{"value":"6510934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892055$53BA09D7-31E9-4A3B-8630-4AD32713ED18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q892055$63849490-332B-440D-86CF-DC9727953E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26a3ea54f7127093cbbd058e685b018e0a3384fb","datavalue":{"value":"homology groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q892055$1211F13D-BDFD-4F78-8A67-C10D0E2A479C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b826843ab20a87c9262e0d558d414868bdd4a5","datavalue":{"value":"simplicial complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q892055$E5EAC58A-4708-487F-8C0E-D12A91185B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15167c944b1085c17bcbb300e741b3e077562d3e","datavalue":{"value":"trace monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q892055$F896D187-3E78-4336-AAAA-6558A0BDA3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90835cc9cdd4d3bbfa2bca40e2d865945ff3686b","datavalue":{"value":"partial action","type":"string"},"datatype":"string"},"type":"statement","id":"Q892055$640DB89B-8E7A-4F42-9B26-E46410EB4BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d27c8b4772f4cee7e1eb70f572cdb50f83fffd1","datavalue":{"value":"asynchronous system","type":"string"},"datatype":"string"},"type":"statement","id":"Q892055$9AAAF7FF-4A60-4289-96C3-ADF26069D6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q892055$6F16AFD0-6DFF-44BE-BBC7-AB643E6E33E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1de1023dedb02d19661820923cf7ad5814c2c018","datavalue":{"value":{"entity-type":"item","numeric-id":590338,"id":"Q590338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892055$3D62B706-02AD-4C73-87B5-D29F4F317FB8","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":"Q892055$322B1AFC-643F-4F54-BB66-C1A71FBC5FA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892055$E7CA4EDB-8D47-4499-A66C-ADC6802B2FCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfcad592382da0a51ac165ff2ce0354e2b9f9ad3","datavalue":{"value":{"entity-type":"item","numeric-id":890902,"id":"Q890902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636bd62f9f4f06da1e0ee98a78f721be926cb4ab","datavalue":{"value":{"amount":"+0.866334855556488","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":"Q892055$603799DE-D13F-49D7-A0F6-68921C4B8DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e431c767fe352bf2bee8306a876b8f58eb56643c","datavalue":{"value":{"entity-type":"item","numeric-id":1770310,"id":"Q1770310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f417d094143bcf1604574467862d666151edcd","datavalue":{"value":{"amount":"+0.8531551957130432","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":"Q892055$67BAA208-0AF6-4F65-A88E-9A8E72974F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53dd4be63b3c285c3daad8f9f84885feb7b7139e","datavalue":{"value":{"entity-type":"item","numeric-id":3005483,"id":"Q3005483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44046c471cfd24eb86678af939aecb6b2d85fff2","datavalue":{"value":{"amount":"+0.8505309820175171","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":"Q892055$A9FB53A0-B2ED-4E2A-9DAA-C3CAB3E58E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0336a6146baedfbe9be102174653d682630e3174","datavalue":{"value":{"entity-type":"item","numeric-id":672873,"id":"Q672873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe505664863017a729d4eabaa80cb5eeb43b75d0","datavalue":{"value":{"amount":"+0.8031623363494873","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":"Q892055$079AD26D-5684-4184-B507-9F252B52543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe3877ab9ab5ff02c0392ef0bf3c535343a4dc7","datavalue":{"value":{"entity-type":"item","numeric-id":395664,"id":"Q395664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a47c7bae84a087a531ede1d9f6a74f8b0afd7d3","datavalue":{"value":{"amount":"+0.7837120890617371","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":"Q892055$92AC9F68-5017-4B51-9FAA-690A0CFF4014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homology and bisimulation of asynchronous transition systems and Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Homology_and_bisimulation_of_asynchronous_transition_systems_and_Petri_nets"}}}}}