The modelling and analysis of a high speed data bus with predicate/transition nets

Reference:

Tino Pyssysalo. The modelling and analysis of a high speed data bus with predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1994.

Suggested BibTeX entry:

@mastersthesis{PyssysaloMsc,
    author = {Pyssysalo, Tino},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {The modelling and analysis of a high speed data bus with predicate/transition nets},
    year = {1994},
}