PCTE - Solving CASE Data Integration. - Kari Rossi; Kim Portman (CA(i)SE, 1989)

Parallel Execution of Real-Time Petri Nets. - Carlo Ghezzi; Mauro Pezzè; Kim Portman (Advances in Software Engineering and Knowledge Engineering, 1993)