A Simple Invariant-Based Analysis And Synthesis Technique For Coloured Petri Nets
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | 11th IFAC Symposium on Information Control Problems in Manufacturing INCOM'2004 |
| Author | Morel, Jean-Yves, Bourcerie, Marc |
| Maintainer | CCSD |
| Last Updated | May 9, 2026, 18:31 (UTC) |
| Created | May 9, 2026, 18:31 (UTC) |
| Identifier | hal-00861427 |
| Language | en |
| contributor | Laboratoire d'Ingéniérie des Systèmes Automatisés (LISA) ; Université d'Angers (UA) |
| coverage | Salvador - Bahia, Brazil |
| creator | Morel, Jean-Yves |
| date | 2004-04-05T00:00:00 |
| harvest_object_id | fe3b0666-7f91-48a4-9551-1b57edb89fc5 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2023-09-01T00:00:00 |
| set_spec | type:COMM |