Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Adel Benamira
Institution:
University of Guelma
Observed institutions:
University Frères Mentouri Constantine 1,
University of Guelma,
Université Constantine 2
ORCID:
0000-0003-3786-4040
Observed ORCID:
0000-0003-3786-4040
OpenAlex ID:
A5030401599
FOCOVE: Formal Concurrency Verification Environment for Complex Systems
2008
·
Djamel Eddine Saïdouni
, Adel Benamira
, et al.
·
AIP conference proceedings
·
8
Causal Reversibility in Individual Token Interpretation of Petri Nets
2020
·
Adel Benamira
·
Computer Science
·
2
PDF
Maximality-Based Labeled Transition Systems Normal Form
2013
·
Adel Benamira
, Djamel-Eddine Saïdouni
·
Studies in computational intelligence
·
2
A Locally Sequential Globally Asynchronous Net from Maximality-Based Labelled Transition System
2016
·
Adel Benamira
, Djamel-Eddine Saidouni
·
Lecture notes in networks and systems
Graphe de Pas Maximaux : une Solution pour la Réduction des Systèmes de Transitions Eétiquetées Maximales.
2011
·
Adel Benamira
, Djamel Eddine Saïdouni
·
CIIA
Consideration of the Covering Steps in the Maximalitybased Labeled Transitions Systems
2006
·
Adel Benamira
, Djamel Eddine Saïdouni
Show more works
View as search
Works count:
7
Citation count:
12
H-index:
2
I10-index:
Year
Topic
Type
