|
 
|
[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:
sys
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", | |
| } | |||
