Colored Petri-Net for Implementing DEMO/PSI Transactions for N Actor Roles (N >= 2) Book chapter (December 2018)