搜索结果: 1-9 共查到“工学 Petri Nets”相关记录9条 . 查询时间(0.108 秒)
MODELLING OF BIOMETRIC IDENTIFICATION SYSTEM WITH GIVEN PARAMETERS USING COLORED PETRI NETS
Photogrammetry Colored Petri Nets Automation Feature Detection Biometry Odontology Tooth Structure
<
2017/6/19
Biometric identification systems use given parameters and function on the basis of Colored Petri Nets as a modelling language developed for systems in which communication, synchronization and distribu...
MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS
Petri Net (PN) Colored Petri Net (CPN) position transition
<
2015/5/21
In this paper we present a model of biometric identification system transformed into Petri Nets. Petri Nets, as a graphical and
mathematical tool, provide a uniform environment for modelling, formal...
Modeling, monitoring and optimization of discrete event systems using Petri nets
Discrete Event Systems Petri Nets Traffic Systems Sensor Networks Fault-Tolerant Control
<
2015/1/20
Yan, Jiaxiang. M.S.E.C.E., Purdue University, May 2013. Modeling, Monitoring and Optimization of Discrete Event Systems Using Petri Nets. Major Professor: Lingxi Li. In last decades, the research of d...
Modeling, Analysis, and Simulation of Two Connected Intersections Using Discrete and Hybrid Petri Nets
Petri nets
<
2015/1/20
In recent decades, Petri nets (PNs) have been used to model traffic networks for different purposes, such as signal phase control, routing, and traffic flow estimation, etc. Because of the complex nat...
Modeling and Simulation of Textile Supply Chain through Colored Petri Nets
Supply Chain Business Process Business Process Modeling Techniques Colored Petri Nets
<
2013/1/28
The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and deliv...
Backward reachability of Colored Petri Nets for systems diagnosis
Colored Petri Nets (CPN) Backward reachability Structural analysis Dependability Embedded systems Diagnosis
<
2012/4/22
Embedded systems development creates a need of new design, verification and validation technics. Formal methods appear as a very interesting approach for embedded systems analysis, especially for depe...
MODELLING INTELIGENT SYSTEMS WITH LEVEL PETRI NETS
Petri nets with multi levels object Petri nets artificial intelligence
<
2010/1/11
Level Petri Nets are formalism for modeling hierarchical multi-agent system.
They are a Petri nets extension, allowing tokens to be nets themselves. This paper is
inspired by two classes of level Pe...
AbstractIn order to specify the behaviors of structure-complex Petri nets, the concept of synchronous composition is extended and a method is presented, with which a given structure-complex Petri net ...
AbstractThe ultimate goal of workflow management is to implement the right person executes the right activity at the right time. To make enterprises more competitive, time-related restrictions of busi...