Delay-dependent partial order reduction technique for time petri nets

Hanifa Boucheneb, Kamel Barkaoui and Karim Weslati

Paper (2014)

An external link is available for this item

Department:	Department of Computer Engineering and Software Engineering
PolyPublie URL:	https://publications.polymtl.ca/12658/
Conference Title:	12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014)
Conference Location:	Florence, Italy
Conference Date(s):	2014-09-08 - 2014-09-10
Publisher:	Springer
DOI:	10.1007/978-3-319-10512-3_5
Official URL:	https://doi.org/10.1007/978-3-319-10512-3_5
Date Deposited:	18 Apr 2023 15:07
Last Modified:	25 Sep 2024 15:49

Cite in APA 7:	Boucheneb, H., Barkaoui, K., & Weslati, K. (2014, September). Delay-dependent partial order reduction technique for time petri nets [Paper]. 12th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2014), Florence, Italy. https://doi.org/10.1007/978-3-319-10512-3_5
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistics

Repository Staff Only