scientific article
From MaRDI portal
Publication:3725531
zbMath0594.68021MaRDI QIDQ3725531
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Petri nettrue concurrencyfiring sequencesconcurrent semanticsCOSY specification languageinterleaving executionsmaximal concurrent execution
This page was built for publication: