Open AccessAn Enhanced Rewriting Logic Based Semantics for High-Level Petri nets
Author(s) -
Ammar Boucherit,
Kamel Barkaoui,
Osman Hasan
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - petri net , computer science , liveness , programming language , rewriting , semantics (computer science) , process architecture , rotation formalisms in three dimensions , cardinality (data modeling) , model checking , theoretical computer science , temporal logic , mathematics , geometry , data mining