 | Monter d'un niveau |
Boucheneb, H., & Rakkay, H. (juillet 2007). A more efficient time Petri net state space abstraction preserving linear properties [Communication écrite]. 7th Conference of Application of Concurrency to System Design, Bratislava, Slovak Republic. Lien externe
