@phdthesis{JuopperiLic,
author = {Juopperi, Jari},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
title = {{P}r{T}-net Based Analysis of Information Flow Security Nets},
type = {Licentiate's thesis},
year = {1995},
}