Partial order reduction for checking soundness of time workflow nets

Hanifa Boucheneb and Kamel Barkaoui

Article (2014)

An external link is available for this item

Department:	Department of Computer Engineering and Software Engineering
PolyPublie URL:	https://publications.polymtl.ca/12659/
Journal Title:	Information Sciences (vol. 282)
Publisher:	Elsevier
DOI:	10.1016/j.ins.2014.06.006
Official URL:	https://doi.org/10.1016/j.ins.2014.06.006
Date Deposited:	18 Apr 2023 15:07
Last Modified:	08 Apr 2025 01:39

Cite in APA 7:	Boucheneb, H., & Barkaoui, K. (2014). Partial order reduction for checking soundness of time workflow nets. Information Sciences, 282, 261-276. https://doi.org/10.1016/j.ins.2014.06.006
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)Simple Metadata

Statistics

Repository Staff Only