Using maximality-based labelled transition system as a model for petri nets
Joint Authors
Saidouni, Jamal al-Din
Bilal, Nabil
Bouneb, Messaouda
Source
The International Arab Journal of Information Technology
Issue
Vol. 6, Issue 5 (30 Nov. 2009), pp.441-447, 7 p.
Publisher
Publication Date
2009-11-30
Country of Publication
Jordan
No. of Pages
7
Main Subjects
Information Technology and Computer Science
Abstract EN
This work deals with the specification and the verification of concurrent systems.
Our goal is to exploit an implementable model, namely the maximalist-based labelled transition system, which permits expressing true-concurrency in a natural way without splitting actions on their start and end events.
To do this, we give an operational semantics to build maximalist-based labelled transition systems for place / transition Petri nets.
American Psychological Association (APA)
Saidouni, Jamal al-Din& Bilal, Nabil& Bouneb, Messaouda. 2009. Using maximality-based labelled transition system as a model for petri nets. The International Arab Journal of Information Technology،Vol. 6, no. 5, pp.441-447.
https://search.emarefa.net/detail/BIM-10064
Modern Language Association (MLA)
Saidouni, Jamal al-Din…[et al.]. Using maximality-based labelled transition system as a model for petri nets. The International Arab Journal of Information Technology Vol. 6, no. 5 (Nov. 2009), pp.441-447.
https://search.emarefa.net/detail/BIM-10064
American Medical Association (AMA)
Saidouni, Jamal al-Din& Bilal, Nabil& Bouneb, Messaouda. Using maximality-based labelled transition system as a model for petri nets. The International Arab Journal of Information Technology. 2009. Vol. 6, no. 5, pp.441-447.
https://search.emarefa.net/detail/BIM-10064
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 446-447
Record ID
BIM-10064