From LOTOS to Petri Nets through Iexpansion.

David Larrabeiti, Juan Quemada, Santiago Pavn

Browse the full FORTE paper archive.