Relevant timed schedules / clock valuations for constructing time Petri Net reachability graphs

Hanifa Boucheneb and Kamel Barkaoui

Paper (2008)

An external link is available for this item

Department:	Department of Computer Engineering and Software Engineering
ISBN:	9783540857785
PolyPublie URL:	https://publications.polymtl.ca/21062/
Conference Title:	6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008)
Conference Location:	St-Malo, FR
Conference Date(s):	2008-09-15 - 2008-09-17
Publisher:	Springer-Verlag
DOI:	10.1007/978-3-540-85778-5_19
Official URL:	https://doi.org/10.1007/978-3-540-85778-5_19
Date Deposited:	18 Apr 2023 15:15
Last Modified:	08 Apr 2025 02:08

Cite in APA 7:	Boucheneb, H., & Barkaoui, K. (2008, September). Relevant timed schedules / clock valuations for constructing time Petri Net reachability graphs [Paper]. 6th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2008), St-Malo, FR. https://doi.org/10.1007/978-3-540-85778-5_19
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