Results 51 to 60 of about 145,352 (236)
Approximating Petri Net Reachability Along Context-free Traces [PDF]
, 2011 We investigate the problem asking whether the intersection of a context-free language (CFL) and a Petri net language (PNL) is empty. Our contribution to solve this long-standing problem which relates, for instance, to the reachability analysis of ...
Atig, Mohamed Faouzi, Ganty, Pierre
core +4 more sources
Research on Functional Hazard Analysis Method for IMA Reconfiguration [PDF]
Jisuanji gongcheng, 2016 The traditional hazard analysis methods for Integrated Modular Avionics(IMA) reconfiguration are static system structure hazard analysis method.It cannot make hazard analysis on the failure condition of the dynamic reconfiguration of IMA,and the ...
CHEN Long,WANG Lisong
doaj +1 more source
Algebraic Models for Contextual Nets [PDF]
, 2000 We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net ...
Bruni, R., Sassone, V.
core +2 more sources
Formal Description of Design Pattern Based on Petri Net [PDF]
Jisuanji gongcheng, 2016 It is very meaningful for software development to identify design patterns automatically from Unified Modeling Language(UML) models.Formalization is the base of automatic identification of design patterns,so a method based on Petri net is proposed to ...
WANG Lei,JIANG Jiulei,WANG Xiaofeng
doaj +1 more source
On the Equivalence of Observation Structures for Petri Net Generators [PDF]
, 2016 Observation structures considered for Petri net generators usually assume that the firing of transitions may be observed through a static mask and that the marking of some places may be measurable.
GIUA, ALESSANDRO, Li Z, Tong Y
core +1 more source
Timed Colored Logical Petri Net [PDF]
Jisuanji kexue yu tansuoAiming at the problems of weak expressive ability and narrow scope of application in extended colored logical Petri net, timed colored logical Petri net is proposed. Firstly, instantiating colors and using variables to build expressions on directed edges
WANG Jiafeng, XU Xian
doaj +1 more source
Performance analysis using timed Petri Nets [PDF]
, 1983 Petri Nets have been successfully used to model and evaluate the performance of distributed systems. Several researchers have extended the basic Petri Net model to include time, and have demonstrated that restricted classes of Petri Nets can be analyzed ...
Phelps, Charles V., Razouk, Rami R.
core +1 more source
PEMODELAN HYBRID SINTESIS PADA AUTOMATED MANUFACTURING SYSTEM (AMS) DENGAN MENGGUNAKAN PETRI NET
Barekeng, 2012 Dalam Jurnal ini dibahas masalah sistem even diskrit yang ada pada Automated Manufacturing System (AMS), khususnya menyangkut model, kedinamikan, dan mendesain sistem AMS dengan menggunakan tool matematik Petri net.
Dorteus L. Rahakbauw
doaj +1 more source
Learning Petri net models of non-linear gene interactions [PDF]
, 2005 Understanding how an individual's genetic make-up influences their risk of disease is a problem of paramount importance. Although machine-learning techniques are able to uncover the relationships between genotype and disease, the problem of automatically
Mayo, Michael
core +2 more sources
Fault Diagnosis of Bounded Petri Nets Using Path Marking Graphs
IEEE Access, 2018 This paper proposes a fault diagnosis method based on the path information of a bounded Petri net model. It relies on the notions of two graphs called path marking graph and modified path marking graph, which characterize different sets of paths and ...
Dandan Ye +3 more
doaj +1 more source