Nets Enriched over Closed Monoidal Structures
暂无分享,去创建一个
[1] Philippe Darondeau,et al. Theory of Regions , 1996, Petri Nets.
[2] Hartmut Ehrig,et al. Unifying Petri Nets , 2001, Lecture Notes in Computer Science.
[3] J. Berstel,et al. Les séries rationnelles et leurs langages , 1984 .
[4] José Meseguer,et al. Petri Nets Are Monoids , 1990, Inf. Comput..
[5] Philippe Darondeau,et al. Dualities Between Nets and Automata Induced by Schizophrenic Objects , 1995, Category Theory and Computer Science.
[6] Philippe Darondeau,et al. Generalized Automata and Their Net Representations , 2001, Unifying Petri Nets.
[7] Manfred Droste,et al. Continuous Petri Nets and Transition Systems , 2001, Unifying Petri Nets.
[8] René David,et al. Petri nets for modeling of dynamic systems: A survey , 1994, Autom..
[9] F. William Lawvere,et al. Metric spaces, generalized logic, and closed categories , 1973 .
[10] Marcel Paul Schützenberger,et al. On the Definition of a Family of Automata , 1961, Inf. Control..
[11] Vaughan R. Pratt,et al. On the Syllogism: IV; and on the Logic of Relations , 2022 .