


default search action
"Colored Petri-Net for Implementing DEMO/PSI Transactions for N Actor Roles ..."
Duarte Gouveia, David Aveiro (2018)
- Duarte Gouveia, David Aveiro:
Colored Petri-Net for Implementing DEMO/PSI Transactions for N Actor Roles (N >= 2). EEWC 2018: 168-177

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.