本书是随机Petri网理论和技术方面的专著，主要内容包括：各种随机Petri网理论和分析技术；
随机Petri网的模型方法、模型的分解和压缩技术以及性能界限求解技术；
随机Petri网在通信协议、ATM网络、柔性制造系统、计算机系统和软件系统性能评价、工作流中的应用；
随机Petri网软件工具。
本书内容基本上是自包含的，内容新颖，容易理解，便于应用。
主要是计算机、自动控制等相关专业的大学高年级学生、研究生、工程技术和科研人员
随机Petri网的模型方法、模型的分解和压缩技术以及性能界限求解技术；
随机Petri网在通信协议、ATM网络、柔性制造系统、计算机系统和软件系统性能评价、工作流中的应用；
随机Petri网软件工具。
本书内容基本上是自包含的，内容新颖，容易理解，便于应用。
主要是计算机、自动控制等相关专业的大学高年级学生、研究生、工程技术和科研人员
2025/10/13 21:01:18
9.08MB
1
为研究机器故障和维修活动对制造过程性能的影响，提出一种基于广义随机Petri网的制造过程建模与性能分析方法。
分析了随机机器故障特征；
定义了两种故障发现模式和两种中断作业处理策略；
给出具有随机机器故障的制造过程的不同模型方法；
通过对模型结构特征的分析，证明了其有效性。
针对不同策略和参数设置进行了性能仿真。
分别以平均产量和平均过程流时间等性能指标，分析了单个工作站的性能；
采用平均产量，分析了具有两个工作站的流水线的性能。
仿真结果表明，故障率、平均维修时间、缓存数量配置、维修工人数量、故障发现模式和中断作业处理策略是影响具有随机机器故障的制造过程性能的主要因素。
分析了随机机器故障特征；
定义了两种故障发现模式和两种中断作业处理策略；
给出具有随机机器故障的制造过程的不同模型方法；
通过对模型结构特征的分析，证明了其有效性。
针对不同策略和参数设置进行了性能仿真。
分别以平均产量和平均过程流时间等性能指标，分析了单个工作站的性能；
采用平均产量，分析了具有两个工作站的流水线的性能。
仿真结果表明，故障率、平均维修时间、缓存数量配置、维修工人数量、故障发现模式和中断作业处理策略是影响具有随机机器故障的制造过程性能的主要因素。
2025/10/6 19:49:40
445KB
1
供混杂系统建模使用，在MATLAB6.5以上版本中使用。
可以建立5种类型的PETRI网。
ThesoftwarePetriNetToolbox,dealingwithPetrinetsunderMATLAB,ispresented.ItcanhandlefivetypesofPetrinets(untimed,transition-timed,place-timed,stochasticandgeneralizedstochastic)withfiniteorinfinitecapacity.Thetoolboxisequippedwithauser-friendlygraphicalinterfaceandallowsthreesimulationmodesaccompaniedornotbyanimation.
可以建立5种类型的PETRI网。
ThesoftwarePetriNetToolbox,dealingwithPetrinetsunderMATLAB,ispresented.ItcanhandlefivetypesofPetrinets(untimed,transition-timed,place-timed,stochasticandgeneralizedstochastic)withfiniteorinfinitecapacity.Thetoolboxisequippedwithauser-friendlygraphicalinterfaceandallowsthreesimulationmodesaccompaniedornotbyanimation.
2025/6/13 9:21:15
12KB
1
《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。
从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。
狭义地，形式化方法是软件规格和验证的方法。
形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。
从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。
狭义地，形式化方法是软件规格和验证的方法。
2025/6/5 18:40:51
10.93MB
1
Petri网导论的扫描版电子书。
Petri网是分布式系统的建模和分析工具，它特别便于描述系统中进程或部件的顺序，并发，冲突以及同步等关系。
Petri网是分布式系统的建模和分析工具，它特别便于描述系统中进程或部件的顺序，并发，冲突以及同步等关系。
2024/12/7 9:31:42
12.86MB
1
CPN(ColorPetriNet）即有色的Petri网，它在20世纪60年代首先由著名数学家CarlAdamPetri提出，适合于描述异步的、并发的计算机系统模型。
Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。
Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。
2024/11/14 6:17:27
15KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB