F. Bacelli/G. Cohen/G. Olsder/J. Quadrat: Synchronization and linearity -
an algebra for discrete event systems. Wiley 1992.

E. Best/R. Devillers/M. Koutny: Petri net algebra.
Springer 2000, 380p. DM 89.

V. Diekert: Combinatorics on traces. Springer 1990.

V. Diekert/Grzegorz Rosenberg: The book on traces. World Scientific 1995.

Hartmut Ehrig/Julia Padberg/Grzegorz Rosenberg: Behaviour and realization
construction for Petri nets based on free monoids and power set graphs.
Workshop Concurrency, Specification and Programming HU Berlin 1994, ...

18889 Gabriel Juhas: Petri nets with generalized algebra - a comparison.
Internet 1999, 15p.

10437 Ekkart Kindler/Wolfgang Reisig: Algebraic system nets for modelling
distributed algorithms. Internet ca. 1997, 25p.

10449 Ekkart Kindler/Tobias Vesper: Automatisch u''berpru''fbare
Beweistechniken fu''r algebraische Petrinetze.
Internet ca. 1997, 6p.

18782 Bodo Möller: Algebraische Petrinetze.
Diplomarbeit Univ. Hamburg 1999, 95p.

20308 Sibylle Peuker: Halbordnungsbasierte Verfeinerung zur Verifikation
verteilter Algorithmen. Diss. HU Berlin 2001, 170p.

Wolfgang Reisig: Petri nets and algebraic specifications.
Theor. Comp. Sci. 80 (1991), 1-34.

10389 Karsten Schmidt: On the computation of place invariants for
algebraic Petri nets. Internet ca. 1992, 18p.

10405 Karsten Schmidt: Implementation der Umgebung eines Programms
zur Pru''fung und Berechnung von Invarianten algebraischer Petrinetze.
Diplomarbeit HU Berlin 1993.

10387 Karsten Schmidt: Computations of invariants for algebraic
Petri nets. Internet 1994, 23p.

10395 Karsten Schmidt: T-invariants of algebraic Petri nets.
Internet 1994, 41p.

10394 Karsten Schmidt: Symbolische Analysemethoden fu''r algebraische
Petrinetze. Internet ca. 1995, 6p.

10388 Karsten Schmidt: Parametrized reachability trees for algebraic
Petri nets. Internet ca. 1995, 10p.

10407 Karsten Schmidt: Siphons and traps of algebraic Petri nets.
Internet ca. 1996, 12p.

Karsten Schmidt: Symbolische Analysemethoden fu''r algebraische
Petrinetze. Dissertation HU Berlin. Bertz ca. 1996. 3-929470-54-3.

10448 Karsten Schmidt: How to calculate symbolically siphons and traps
for some algebraic Petri nets. Helsinki Res. Rep. A 39 (1996).

22829 Anne Shiu/Bernd Sturmfels: Siphons in chemical reaction networks.
Internet 2010, 19p.