Wolfgang Reisig Combining Petri Nets and Other Formal Methods. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1992, pp:24-44 [Conf]

Kamel Barkaoui, Michel Minoux A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1992, pp:62-75 [Conf]

Carolyn Brown, Doug Gurr Refinement and Simulation of Nets - A Categorical Characterisation. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1992, pp:76-92 [Conf]

Jörg Desel A Proof of the Rank Theorem for Extended Free Choice Nets. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1992, pp:134-153 [Conf]

Greg Findlow Obtaining Deadlock-Preserving Skeletons for Coloured Nets. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1992, pp:173-192 [Conf]

Kunihiko Hiraishi Construction of a Class of Safe Petri Nets by Presenting Firing Sequences. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1992, pp:244-262 [Conf]

Peter Kemper, Falko Bause An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1992, pp:263-278 [Conf]

Guenter Klas Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1992, pp:279-298 [Conf]

Andrei Kovalyov Concurrency Relations and the Safety Problem for Petri Nets. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1992, pp:299-309 [Conf]

Johan Lilius High-Level Nets and Linear Logic. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1992, pp:310-327 [Conf]

Vanio M. Savi, Xiaolan Xie Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1992, pp:328-347 [Conf]