In: Gotzhein, R.; Bredereke, J.: Formal Description Techniques IX Theory, application and tools, International Conference, Kaiserslautern, Germany, Oct. 8-11, 1996, pages 485-500. London: Chapman & Hall, 1996.
Abstract: The interleaved expansion is a method to compute and represent the global events of a system preserving parallelism. As a side effect, this method provides important advantages in the technology of translation from LOTOS to Petri nets over static (direct) transformations and opens a simple process algebra form of representation for an important class of Petri nets. This work presents an algorithm that maps ITcalulus elements into labeled Petri nets and gives a comprehensive overview of different aspects of the translation from LOTOS to Petri nets using this intermediate form of representation.
Keywords: FDT-based system and protocol engineering; LOTOS; Petri nets; Extensions of FDTs.