Skip to Main content Skip to Navigation
Conference papers

Towards Efficient Partial Order Techniques for Time Petri Nets

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03130690
Contributor : Kamel Barkaoui Connect in order to contact the contributor
Submitted on : Wednesday, February 3, 2021 - 5:55:36 PM
Last modification on : Wednesday, December 15, 2021 - 12:42:02 PM

Identifiers

Collections

Citation

Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li. Towards Efficient Partial Order Techniques for Time Petri Nets. 14th International Conference on Verification and Evaluation of Computer and Communication Systems. VECoS 2020, Oct 2020, Xian ( virtual), France. pp.100-115, ⟨10.1007/978-3-030-65955-4_8⟩. ⟨hal-03130690⟩

Share

Metrics

Les métriques sont temporairement indisponibles