论文信息 - Modular System Development with Pullbacks

Modular System Development with Pullbacks

Two, seemingly different modular techniques for concurrent system development are investigated from a categorical perspective. A novel approach is presented in which they turn out to be merely special instances of pullback, a general categorical limit construction. Interestingly, the approach is based on truly concurrent semantics of systems.

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

[2] Wieslaw Zielonka,et al. Notes on Finite Asynchronous Automata , 1987, RAIRO Theor. Informatics Appl..

[3] Luca Bernardinello,et al. Synthesis of Net Systems , 1993, Application and Theory of Petri Nets.

[4] Rémi Morin,et al. Decompositions of Asynchronous Systems , 1998, CONCUR.

[5] Marek A. Bednarczyk,et al. On Concurrent Realization of Reactive Systems and Their Morphisms , 2001, Unifying Petri Nets.

[6] Hartmut Ehrig,et al. Unifying Petri Nets: Advances in Petri Nets , 2002 .

[7] M. W. Shields. Deterministic asynchronous automata , 1984, Automata on Infinite Words.

[8] Marek A. Bednarczyk,et al. Finite Completeness of Categories of Petri Nets , 2000, Fundam. Informaticae.

[9] Grzegorz Rozenberg,et al. Elementary Transition Systems and Refinement , 1991 .

[10] Carlo Ferigato,et al. Towards Modular Synthesis of EN Systems , 2002 .

[11] Andrzej Ehrenfeucht,et al. Partial (set) 2-structures , 1990, Acta Informatica.

[12] Wolfgang Reisig,et al. Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[13] Luca Bernardinello,et al. Towards Modular Synthesis of Elementary Net Systems , 2002 .

[14] Philippe Darondeau,et al. Dualities Between Nets and Automata Induced by Schizophrenic Objects , 1995, Category Theory and Computer Science.

[15] G. Rozenberg,et al. Elementary transition systems , 1990 .