Other
An Enhanced Rewriting Logic Based Semantics for High-Level Petri nets
Ammar Boucherit, Kamel Barkaoui, Osman Hasan
Abstract
International audience
Details
| Original language | English |
|---|---|
| Publisher | Centre National de la Recherche Scientifique |
| Publication status | Published — 25 June 2021 |