论文信息 - Homology and Bisimulation of Asynchronous Transition Systems and Petri Nets

Homology and Bisimulation of Asynchronous Transition Systems and Petri Nets

Homology groups of labelled asynchronous transition systems and Petri nets are introduced. Examples of computing the homology groups are given. It is proved that if labelled asynchronous transition systems are bisimulation equivalent, then they have isomorphic homology groups. A method of constructing a Petri net with given homology groups is found. 2000 Mathematics Subject Classification 18G35, 18B20, 55U10, 55U15, 68Q85

Ahmet A. Husainov

[1] R. Ho. Algebraic Topology , 2022 .

[2] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[3] A. A. Husainov. On the homology of small categories and asynchronous transition systems , 2004 .

[4] Ahmet A. Husainov. The Homology of Partial Monoid Actions and Petri Nets , 2013, Appl. Categorical Struct..

[5] Axel Legay,et al. History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps , 2013, MFPS.

[6] Marek Antoni Bednarczyk,et al. Categories of asynchronous systems , 1987 .

[7] Eric Goubault,et al. Algebraic topology and concurrency , 2006, Theor. Comput. Sci..

[8] Yves Métivier,et al. Partial Commutation and Traces , 1997, Handbook of Formal Languages.

[9] V. Lopatkin,et al. Studying a mathematical model of parallel computation by algebraic topology methods , 2009 .

[10] Ahmet A. Husainov,et al. The Cubical Homology of Trace Monoids , 2011, ArXiv.

[11] Glynn Winskel,et al. Bisimulation from Open Maps , 1994, Inf. Comput..

[12] Maurice Herlihy,et al. The topological structure of asynchronous computability , 1999, JACM.

[13] Mogens Nielsen,et al. Models for Concurrency , 1992 .

[14] Glynn Winskel,et al. Petri Nets and Bisimulation , 1996, Theor. Comput. Sci..

[15] Eric Goubault,et al. Homology of Higher Dimensional Automata , 1992, CONCUR.

[16] Eric Goubault,et al. Covering space theory for directed topology , 2008 .