Rechercher

[BBc12] Reachability Analysis of P-time Petri Nets with Parametric Marking

Conférence Internationale avec comité de lecture : 12th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, June 2012, pp.72-81,
motcle:
Résumé: H. Boucheneb, K. Barkaoui “Reachability Analysis of P-time Petri Nets with Parametric Marking”, 12th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press, pp 72-81, June 2012.

Equipe: vespa

BibTeX

@inproceedings {
BBc12,
title="{Reachability Analysis of P-time Petri Nets with Parametric Marking}",
author=" H. Boucheneb and K. Barkaoui ",
booktitle="{12th conference of Application of Concurrency to System Design (ACSD), IEEE computer society press}",
year=2012,
month="June",
pages="72-81",
}