Towards Efficient Partial Order Techniques for Time Petri Nets - Archive ouverte HAL Access content directly
Conference Papers Year : 2020
Not file

Dates and versions

hal-03130690 , version 1 (03-02-2021)

Identifiers

Cite

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⟩

Collections

CNAM CEDRIC-CNAM
53 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More