A Contribution to the Validation to of Operating Mode Switching: Application to Satellite

Autor: Gonzalez Berlanga, Saül, Niel, Eric, Zouari, Belhassen, Blanquart, Jean-Paul

Publikováno v: IFAC Proceedings Volumes
17th IFAC World Congress
17th IFAC World Congress, Jul 2008, Séoul, South Korea. ⟨10.3182/20080706-5-KR-1001.3564⟩

International audience; We propose a methodology for modeling systems with different operating modes using Nested Petri Nets (NPNs) based on Valk's approach, where each token can be also considered as one Petri Net. NPNs provide a powerful tool for c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f8317bbba29ac376bde2e3d35b91ed27
https://hal.archives-ouvertes.fr/hal-00375932