Scholarlink

The theory of free-choice nets started in the 70’s, at the MIT, when F. Commoner and M. Hack discovered that, for this class of Petri nets, it was possible to link their behaviour to the presence of specific substructures. Later their results were extended, and more recently, new light was shed on the theory. The present paper continues in this direction, providing new coverability results, new equivalence properties and a new characterisation of well-formedness.

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

Coverability in Well-Formed Free-Choice Nets

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Eike Best,
  • Raymond Devillers,
  • Petr Jančar

摘要

The theory of free-choice nets started in the 70’s, at the MIT, when F. Commoner and M. Hack discovered that, for this class of Petri nets, it was possible to link their behaviour to the presence of specific substructures. Later their results were extended, and more recently, new light was shed on the theory. The present paper continues in this direction, providing new coverability results, new equivalence properties and a new characterisation of well-formedness.