Some Unsolved Problems in Modelling Self-timed Circuits Using Petri Nets

Reference:

Mikko Tiusanen. Some unsolved problems in modelling self-timed circuits using Petri nets. Technical Report B2, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, January 1988.

Suggested BibTeX entry:

@techreport{HUT-TCS-B2,
    address = {Espoo, Finland},
    author = {Mikko Tiusanen},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {January},
    number = {B2},
    pages = {10},
    title = {Some Unsolved Problems in Modelling Self-timed Circuits Using {P}etri Nets},
    type = {Technical Report},
    year = {1988},
}