Parameterized reachability trees for predicate/transition nets
By: Markus Lindqvist
Contributors: Teknillinen korkeakoulu
Series: Acta polytechnica Scandinavica -- no. 54
Publisher: Finnish Academy of Technology
Published: 1989
Place of publication: Helsinki
Language: eng
Number of pages: 120
ISBN-13: 9789516662858
Subjects: Nets (Mathematics); Petri nets; Trees (Graph theory)
Notes: Thesis (doctoral)--Helsinki University of Technology, 1989.

Includes bibliographical references (p. 106-107)