期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
数字Petri网的数字控制系统描述工具
1
作者 王寿光 颜钢锋 《江南大学学报(自然科学版)》 CAS 2003年第6期605-607,共3页
通过引入数字位置,数字变迁和采样周期等概念,提出一种新型Petri网———数字Petri网(DPN),分析该网的特点及其运行规则,并用该网对数字控制系统进行建模.
关键词 数字petri网 数字控制系统 方框图
下载PDF
Modeling Digital Evidence Management and Dynamics Using Petri Nets
2
作者 Jasmin Cosic Zoran Cosic Miroslav Baca 《Computer Technology and Application》 2011年第7期545-549,共5页
In all phases of forensic investigation, digital evidence is exposed to external influences and coming into contact with many factors. Legal admissibility of digital evidence is the ability of that evidence being acce... In all phases of forensic investigation, digital evidence is exposed to external influences and coming into contact with many factors. Legal admissibility of digital evidence is the ability of that evidence being accepted as evidence in a court of law. Life cycle of digital evidence is very complex. In each stage there is more impact that can violate a chain of custody and its integrity. Contact with different variables occurs through a life cycle of digital evidence and can disrupt its integrity. In order for the evidence to be accepted by the court as valid, chain of custody for digital evidence must be kept, or it must be known who exactly came into contact with evidence in each stage of the investigation. This paper presents a dynamics and life cycle of digital evidence. The Petri nets will be proposed and used for modeling and simulation of this process. 展开更多
关键词 Digital evidence digital forensic chain of custody digital evidence integrity digital evidence manipulating petri nets
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部