Crossmark

Dynamic Timed Colored Petri Nets: A High-Level Formalism for the Modeling and Verification of Dynamic-Structure Systems

Published Online: 2025-04-24

Authors

Tigane, Samir

Guerrouf, Fayçal

Kahloul, Laid https://orcid.org/0000-0002-9739-7715
Khalgui, Mohamed
License Information

Text and Data Mining valid from 2025-04-24

Version of Record valid from 2025-04-24
More Information

Article History

Received: 9 August 2024

Accepted: 17 March 2025

First Online: 24 April 2025

Declarations

:

: Not applicable.

: Not applicable.

: Not applicable.

: Not applicable.

: Not applicable.

Document is current