Comparing detailed and abstract timed models of automated discrete manufacturing systems
type: Dataset
description: 8 pages
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: multi-scale
keyword: spiautoengineering-sciences-physicsautomatic
keyword: timed-automata
keyword: trace-equivalence
keyword: urgency
issued: 2026-05-09T15:09:13.382390
modified: 2026-05-09T15:09:13.382394
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Comparing detailed and abstract timed models of automated discrete manufacturing systems
type: Distribution
format: HTML
access URL: https://hal.science/hal-00865616
issued: 2026-05-09T15:09:13.386288
modified: 2026-05-09T15:09:13.373948