Volker Braun, Tiziana Margaria, Bernhard Steffen. The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. In Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber, editors, Petri Net Technology for Communication-Based Systems - Advances in Petri Nets. Volume 2472 of Lecture Notes in Computer Science, pages 363-382, Springer, 2003. [doi]
Abstract is missing.