S-invariant analysis of general recursive Petri boxex Raymond Devillers OriginalPaper Pages: 313 - 345
A Petri nets semantics for data flow networks Cinzia BernardeschiNicoletta De FrancescoGigliola Vaglini OriginalPaper Pages: 347 - 374
The extended equivalence problem for a class of non-real-time deterministic pushdown automata Etsuji TomitaKazushi Seino OriginalPaper Pages: 395 - 413