Inproceedings,
Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control.
Z. Boudi, A. Wakrime, S. Dutilleul, and M. Haloua.ENASE, page 350-358. SciTePress, (2019)
Meta data
- BibTeX key
- conf/enase/BoudiWDH19
- entry type
- inproceedings
- booktitle
- ENASE
- year
- 2019
- pages
- 350-358
- publisher
- SciTePress
- crossref
- conf/enase/2019
- ee
- https://doi.org/10.5220/0007725103500358
- isbn
- 978-989-758-375-9
- url
- http://dblp.uni-trier.de/db/conf/enase/enase2019.html#BoudiWDH19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/enase/BoudiWDH19
%A Boudi, Zakaryae
%A Wakrime, Abderrahim Ait
%A Dutilleul, Simon Collart
%A Haloua, Mohamed
%B ENASE
%D 2019
%E Damiani, Ernesto
%E Spanoudakis, George
%E Maciaszek, Leszek A.
%I SciTePress
%K dblp
%P 350-358
%T Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control.
%U http://dblp.uni-trier.de/db/conf/enase/enase2019.html#BoudiWDH19
%@ 978-989-758-375-9
@inproceedings{conf/enase/BoudiWDH19,
added-at = {2019-06-06T00:00:00.000+0200},
author = {Boudi, Zakaryae and Wakrime, Abderrahim Ait and Dutilleul, Simon Collart and Haloua, Mohamed},
biburl = {https://www.bibsonomy.org/bibtex/225b6f307b0b2acb76613563bb715ca37/dblp},
booktitle = {ENASE},
crossref = {conf/enase/2019},
editor = {Damiani, Ernesto and Spanoudakis, George and Maciaszek, Leszek A.},
ee = {https://doi.org/10.5220/0007725103500358},
interhash = {bc28d6913f377003b1571083afc8be57},
intrahash = {25b6f307b0b2acb76613563bb715ca37},
isbn = {978-989-758-375-9},
keywords = {dblp},
pages = {350-358},
publisher = {SciTePress},
timestamp = {2024-04-09T12:39:27.000+0200},
title = {Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control.},
url = {http://dblp.uni-trier.de/db/conf/enase/enase2019.html#BoudiWDH19},
year = 2019
}