刷新
{{item.name}}会员
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
基本信息
- 批准号：8222-2006
- 负责人：
- 金额：$ 1.95万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2012
- 资助国家：加拿大
- 起止时间：2012-01-01 至 2013-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量（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 }}
Zuberek, Wlodzimierz其他文献
Zuberek, Wlodzimierz的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Zuberek, Wlodzimierz', 18)}}的其他基金
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
- 批准号：
8222-2006 - 财政年份：2009
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
- 批准号：
8222-2006 - 财政年份：2008
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
- 批准号：
8222-2006 - 财政年份：2007
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
- 批准号：
8222-2006 - 财政年份：2006
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
Symbolic methods in anslysis of timed net models
定时网络模型分析中的符号方法
- 批准号：
8222-2002 - 财政年份：2005
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
Symbolic methods in anslysis of timed net models
定时网络模型分析中的符号方法
- 批准号：
8222-2002 - 财政年份：2004
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
Symbolic methods in anslysis of timed net models
定时网络模型分析中的符号方法
- 批准号：
8222-2002 - 财政年份：2003
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
Symbolic methods in anslysis of timed net models
定时网络模型分析中的符号方法
- 批准号：
8222-2002 - 财政年份：2002
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
Modeling and analysis of complex concurrent systems using petri nets
使用 Petri 网对复杂并发系统进行建模和分析
- 批准号：
8222-1998 - 财政年份：2001
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
Modeling and analysis of complex concurrent systems using petri nets
使用 Petri 网对复杂并发系统进行建模和分析
- 批准号：
8222-1998 - 财政年份：2000
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
神经网络与模糊Petri 网融合的心血管疾病智能辅助
诊断
- 批准号：2024JJ5310
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于可变Petri网的RPA流程学习和优化方法研究
- 批准号：62302306
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
刚性随机微分方程显式稳定方法的构造和分析
- 批准号：2023JJ40615
- 批准年份：2023
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于时间加权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 万元
- 项目类别：青年科学基金项目
相似海外基金
Synthesis of Petri Nets Based on the Union/Find Procedure
基于并/查找过程的Petri网综合
- 批准号：
410405972 - 财政年份：2019
- 资助金额：
$ 1.95万 - 项目类别：
Research Grants
Development and Evaluation of Model-Based Mutation Testing Techniques Using Petri Nets
使用 Petri 网的基于模型的突变测试技术的开发和评估
- 批准号：
26730038 - 财政年份：2014
- 资助金额：
$ 1.95万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Petri nets for multiscale Systems Biology
用于多尺度系统生物学的 Petri 网
- 批准号：
EP/I036168/1 - 财政年份：2011
- 资助金额：
$ 1.95万 - 项目类别：
Research Grant
Petri Nets Theory for Automatic Synthesis of Behavioral Model in Distributed Systems
分布式系统行为模型自动综合的Petri网理论
- 批准号：
23500045 - 财政年份：2011
- 资助金额：
$ 1.95万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
- 批准号：
8222-2006 - 财政年份：2009
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis
聚合广义随机 Petri 网以改进性能分析
- 批准号：
DP0880928 - 财政年份：2008
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Projects
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
- 批准号：
8222-2006 - 财政年份：2008
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
- 批准号：
8222-2006 - 财政年份：2007
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual
On Algebraic Behavioral Analyses of Hybrid Petri Nets
混合Petri网的代数行为分析
- 批准号：
19560409 - 财政年份：2007
- 资助金额：
$ 1.95万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Timed petri nets in modeling and analysis of concurrent systems
并发系统建模和分析中的定时 Petri 网
- 批准号：
8222-2006 - 财政年份：2006
- 资助金额：
$ 1.95万 - 项目类别：
Discovery Grants Program - Individual