连续Petri网相关论文
目前，实时系统在诸多领域得到广泛应用，从潜艇到宇宙飞船，从病人监护系统到工厂监测系统，从电梯控制系统到机器人控制系统，从城市交通控......
电子商务的迅速发展,对跨企业的应用集成以及企业内部应用的集成提出了需求。而Web服务的出现使企业内和企业之间应用的集成成为可......
用静态分析方法对并发程序进行死锁检测通常比较困难，其原因是会遇到状态空间爆炸问题．文中针对作者曾提出的一种可有效避免状态爆炸......
连续Petri网是用来分析和描述具有连续变量的系统，被证明是有效的建模工具。本文主要讨论连续Petri网死锁和陷阱结构的性质，并结合算......
研究动态生物系统需要对其建立数学模型并进行计算机建模与仿真。连续Petri网是一种系统建模与仿真工具,可以实现常微分方程组的可......
基于连续Petri网模型，用一组常微分方程来描述程序，通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化，每个状......
瞬时引发速率是连续Petri网模型分析的基础和关键。引入模糊理论提出了一种基于模糊决策的迁移优先权的模糊综合评价模型,实现了迁......
首先建立城市交通网络的连续Petri网模型，用一组常微分方程来描述其语义，每个常微分方程描述交通流量的变化，交通流量可由介于0和1之......
讨论了最大速度恒定连续Petri网（CCPN）的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法，实现了CCPN......
信息物理系统（CPS）是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基......
