Synthesis of Petri Nets Based on the Union/Find Procedure

基于并/查找过程的Petri网综合

基本信息

  • 批准号:
    410405972
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    德国
  • 项目类别:
    Research Grants
  • 财政年份:
    2019
  • 资助国家:
    德国
  • 起止时间:
    2018-12-31 至 2022-12-31
  • 项目状态:
    已结题

项目摘要

The synthesis problem studies the translation of a transition system into an equivalent Petri net. This a central problem studied in Petri net theory. Existing tools are able to handle inputs with up to 500.000 states. Applications exist but often require larger inputs to be handled. We aim at extending the applicability of the synthesis problem to inputs with up to 100 Million states.To this end, we systematically exploit the potential of an existing algorithmic idea that is based on using the Union/Find procedure for managing partitions of the set of vertices.
综合问题研究的是将一个变迁系统转化为一个等价的Petri网。这是Petri网理论研究的一个中心问题. 现有的工具能够处理多达500.000个状态的输入。应用程序存在,但通常需要处理更大的输入。我们的目标是将合成问题的适用性扩展到多达1亿个状态的输入。为此,我们系统地利用现有算法思想的潜力,该算法思想是基于使用Union/Find过程来管理顶点集的分区。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Karsten Wolf其他文献

Professor Dr. Karsten Wolf的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Karsten Wolf', 18)}}的其他基金

Verifikationstechniken für Petrinetze auf Multicore-Architekturen
多核架构上Petri网的验证技术
  • 批准号:
    210313419
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Strukturelle Analysetechniken für Petrinetze
Petri 网的结构分析技术
  • 批准号:
    118005728
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Automatische Generierung von Bedienungsanleitungen für Services
自动生成服务操作指令
  • 批准号:
    39297755
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants

相似国自然基金

神经网络与模糊Petri 网融合的心血管疾病智能辅助 诊断
  • 批准号:
    2024JJ5310
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于可变Petri网的RPA流程学习和优化方法研究
  • 批准号:
    62302306
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于时间加权Petri网的大型批量加工智能制造系统资源配置优化研究
  • 批准号:
    62373234
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
面向突发事件链的应急联动处置流程Petri网建模与随动资源推荐
  • 批准号:
    52374221
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
时间Petri网框架下具有时序规范的赋时离散事件系统安全监控研究
  • 批准号:
    62303359
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
加标Petri网框架下的网络化离散事件系统临界可观性验证与强化控制
  • 批准号:
    62303375
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于有色 Petri 网的车联网智能拥塞控制策略形式化验证方法研究
  • 批准号:
    CSTB2023NSCQ-MSX0441
  • 批准年份:
    2023
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
基于广义互斥约束的时间Petri网系统安全强化研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于Petri网的异构多机器人系统任务和路径组合规划
  • 批准号:
    62103039
  • 批准年份:
    2021
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于加标Petri网的故障可诊断性增强与诊断方法研究
  • 批准号:
    62103349
  • 批准年份:
    2021
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Development and Evaluation of Model-Based Mutation Testing Techniques Using Petri Nets
使用 Petri 网的基于模型的突变测试技术的开发和评估
  • 批准号:
    26730038
  • 财政年份:
    2014
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
  • 批准号:
    8222-2006
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Petri nets for multiscale Systems Biology
用于多尺度系统生物学的 Petri 网
  • 批准号:
    EP/I036168/1
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grant
Petri Nets Theory for Automatic Synthesis of Behavioral Model in Distributed Systems
分布式系统行为模型自动综合的Petri网理论
  • 批准号:
    23500045
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
  • 批准号:
    8222-2006
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis
聚合广义随机 Petri 网以改进性能分析
  • 批准号:
    DP0880928
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Discovery Projects
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
  • 批准号:
    8222-2006
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
  • 批准号:
    8222-2006
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
On Algebraic Behavioral Analyses of Hybrid Petri Nets
混合Petri网的代数行为分析
  • 批准号:
    19560409
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
  • 批准号:
    8222-2006
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了