Time processes of time Petri nets

Reference:

Tuomas Aura. Time processes of time petri nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1996.

Suggested BibTeX entry:

@mastersthesis{AuraMsc,
    author = {Aura, Tuomas},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {Time processes of time Petri nets},
    year = {1996},
}