Animation of OASIS Specifications by Means of Object Oriented Petri Nets

Pedro Sánchez Palma

Full Text: PDF