A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP - Fernando Orejas and Hartmut Ehrig and Markus Klein and Julia Padberg and Elvira Pino and Sonia Perez (Fundamenta informaticae, 2010)