Heino Carstensen The complexity of testing the equivalence of transition sequences. [Citation Graph (0, 0)][DBLP] Applications and Theory of Petri Nets, 1990, pp:48-57 [Conf]

Ghassan Chehaibar Use of reentrant nets in modular analysis of colored nets. [Citation Graph (0, 0)][DBLP] Applications and Theory of Petri Nets, 1990, pp:58-77 [Conf]

Einar Smith On net systems generated by process foldings. [Citation Graph (0, 0)][DBLP] Applications and Theory of Petri Nets, 1990, pp:253-276 [Conf]

Younes Souissi On liveness preservation by composition of nets via a set of places. [Citation Graph (0, 0)][DBLP] Applications and Theory of Petri Nets, 1990, pp:277-295 [Conf]

Robert Valette, Babou Bako Software Implementation of Petri nets and compilation of rule-based systems. [Citation Graph (0, 0)][DBLP] Applications and Theory of Petri Nets, 1990, pp:296-316 [Conf]