Scholarlink

Transport system analysis often relies on simulation, but this makes it tricky to detect rare events and simulation languages are far from the transport domain. We propose modelling transport using a diagrammatic formal method called Bigraphs that allows exact analysis via model checking, and user-defined visual representation of systems. We apply this approach to modelling vehicles moving through a Port and show how it can be used to maximise efficiency and achieve more resilient shipping and logistics.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Formal Analysis of Resilience in Transport Systems with Bigraphs

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Susmoy Das,
  • Ricardo Almeida,
  • Blair Archibald,
  • Michele Sevegnani

摘要

Transport system analysis often relies on simulation, but this makes it tricky to detect rare events and simulation languages are far from the transport domain. We propose modelling transport using a diagrammatic formal method called Bigraphs that allows exact analysis via model checking, and user-defined visual representation of systems. We apply this approach to modelling vehicles moving through a Port and show how it can be used to maximise efficiency and achieve more resilient shipping and logistics.