19833 Jean-Michel Couvreur/.../Pierre-Andre' Wacrenier: Data decision
diagrams for Petri nets analysis. Internet ca. 2001, 20p.

18890 Peter Langner/Christoph Schneider/Joachim Wehler: Relating
event-driven process chains to boolean Petri nets. Internet ca. 1998, 38p.

19831 Enric Pastor/Jordi Cortadella: Efficient encoding schemes for the
symbolic analysis of Petri nets. Internet UPC/DAC RR-98/24 (1998), 32p.

19835 Enric Pastor/Jordi Cortadella/Marco Pena: Structural methods to improve
the symbolic analysis of Petri nets. Springer LN CS 1639 (1999), 26-45.

19830 Enric Pastor/Jordi Cortadella/Oriol Roig: Symbolic Petri net analysis
using boolean manipulation. Internet UPC/DAC RR-97/8 (1997), 38p.

19834 Enric Pastor/Jordi Cortadella/Oriol Roig: Symbolic analysis of
bounded Petri nets. IEEE Trans. Computers 50/5 (2001), 432-448.

19832 Enric Pastor/Oriol Roig/Jordi Cortadella/Rosa Badia: Petri net
analysis using boolean manipulation. Internet 1994, 20p.

19837 Krzysztof Sacha: Fault analysis using Petri nets.
IEEE Real-time Emb. Syst. Wsh. 2001, 130-133.

19836 Alex Semenov/.../Enric Pastor/.../Luciano Lavagno: Partial order based
approach to synthesis of speed-independent circuits. Internet 1997, 12p.