搜索结果: 1-4 共查到“Colored Petri Nets”相关记录4条 . 查询时间(0.062 秒)
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 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...