Timed petri nets in modeling and analysis of concurrent systems
Timed petri nets in modeling and analysis of concurrent systems
批准号:
8222-2006
负责人:
Zuberek, Wlodzimierz
金额:
$1.95万
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2009
资助国家:
加拿大
项目状态:
已结题
起止时间:
2009-01-01 至 2010-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Timed petri nets in modeling and analysis of concurrent systems
-
批准号:8222-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.95万
-
财政年份:2012
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Timed petri nets in modeling and analysis of concurrent systems
-
批准号:8222-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.95万
-
财政年份:2008
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Timed petri nets in modeling and analysis of concurrent systems
-
批准号:8222-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.95万
-
财政年份:2007
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Timed petri nets in modeling and analysis of concurrent systems
-
批准号:8222-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.95万
-
财政年份:2006
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Symbolic methods in anslysis of timed net models
-
批准号:8222-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2005
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Symbolic methods in anslysis of timed net models
-
批准号:8222-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2004
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Symbolic methods in anslysis of timed net models
-
批准号:8222-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2003
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Symbolic methods in anslysis of timed net models
-
批准号:8222-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2002
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Modeling and analysis of complex concurrent systems using petri nets
-
批准号:8222-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.77万
-
财政年份:2001
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Modeling and analysis of complex concurrent systems using petri nets
-
批准号:8222-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.77万
-
财政年份:2000
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Modeling and analysis of complex concurrent systems using petri nets
-
批准号:8222-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.77万
-
财政年份:1999
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Modeling and analysis of complex concurrent systems using petri nets
-
批准号:8222-1998
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:1998
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Hierarchical timed Petri net models - implementation and applications
-
批准号:8222-1994
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:1997
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Hierarchical timed Petri net models - implementation and applications
-
批准号:8222-1994
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:1996
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Hierarchical timed Petri net models - implementation and applications
-
批准号:8222-1994
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:1995
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Hierarchical timed Petri net models - implementation and applications
-
批准号:8222-1994
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.09万
-
财政年份:1994
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Modelling and performance analysis of systems using high-level timed Petri nets
-
批准号:8222-1991
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:1993
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Distributed analysis of net models
-
批准号:155585-1994
-
项目类别:Research Tools and Instruments - Category 1 (<$150,000)
-
资助金额:$2.07万
-
财政年份:1993
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Modelling and performance analysis of systems using high-level timed Petri nets
-
批准号:8222-1991
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:1992
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
Modelling and performance analysis of systems using high-level timed Petri nets
-
批准号:8222-1991
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:1991
-
负责人:Zuberek, Wlodzimierz
-
依托单位:
国内基金
海外基金
登录
查看更多内容
面向智能制造系统故障诊断与预测的标签时间Petri网与混合推理方法研究
-
批准号:JCZRMS202600093
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
神经网络与模糊Petri 网融合的心血管疾病智能辅助
诊断
-
批准号:2024JJ5310
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:周辉
-
依托单位:
基于可变Petri网的RPA流程学习和优化方法研究
-
批准号:62302306
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:杨茹
-
依托单位:
刚性随机微分方程显式稳定方法的构造和分析
-
批准号:2023JJ40615
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:唐晓
-
依托单位:
基于时间加权Petri网的大型批量加工智能制造系统资源配置优化研究
-
批准号:62373234
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:何舟
-
依托单位:
面向突发事件链的应急联动处置流程Petri网建模与随动资源推荐
-
批准号:52374221
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:曾庆田
-
依托单位:
时间Petri网框架下具有时序规范的赋时离散事件系统安全监控研究
-
批准号:62303359
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:黎良
-
依托单位:
加标Petri网框架下的网络化离散事件系统临界可观性验证与强化控制
-
批准号:62303375
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:丛旭亚
-
依托单位:
基于有色 Petri 网的车联网智能拥塞控制策略形式化验证方法研究
-
批准号:CSTB2023NSCQ-MSX0441
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2023
-
负责人:刘洋
-
依托单位:
基于广义互斥约束的时间Petri网系统安全强化研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2021
-
负责人:
-
依托单位: