Classification of Petri Nets Using Adjoint Functors

[1]  Glynn Winskel,et al.  Petri Nets, Algebras, Morphisms, and Compositionality , 1987, Inf. Comput..

[2]  Julia Padberg,et al.  Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems , 1999, Appl. Categorical Struct..

[3]  Hartmut Ehrig,et al.  A Uniform Approach to Petri Nets , 1997, Foundations of Computer Science: Potential - Theory - Cognition.

[4]  Hartmut Ehrig,et al.  Algebraic high-level net transformation systems , 1995, Mathematical Structures in Computer Science.

[5]  Peter H. Starke,et al.  Analyse von Petri-Netz-Modellen , 1990, Leitfäden und Monographien der Informatik.

[6]  C. Petri.  Kommunikation mit Automaten , 1962 .

[7]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[8]  Grzegorz Rozenberg,et al.  Petri Nets: Basic Notions, Structure, Behaviour , 1986, Current Trends in Concurrency.

[9]  Joseph A. Goguen,et al.  Introducing Institutions , 1983, Logic of Programs.

[10]  Ekkart Kindler,et al.  The Dimensions of Petri Nets: The Petri Net Cube , 1998, Bull. EATCS.

[11]  Julia Padberg,et al.  Abstract Petri nets - uniform approach and rule-based refinement , 1996, Berichte aus der Informatik.

[12]  Wilfried Brauer,et al.  Foundations of computer science : potential--theory--cognition , 1997 .

[13]  José Meseguer,et al.  Petri Nets Are Monoids , 1990, Inf. Comput..

[14]  Hartmut Ehrig,et al.  On the Role of Category Theory in the Area of Algebraic Specification , 1995, COMPASS/ADT.

[15]  Hartmut Ehrig,et al.  Functorial Theory of Parameterized Specifications in a General Specification Framework , 1994, Theor. Comput. Sci..

[16]  Grzegorz Rozenberg,et al.  Elementary Transition Systems , 1990, Theor. Comput. Sci..