Petri Net Modeling and Behavioral Fault Modeling Scheme for VHDL Descriptions

Embedded System Applications ◽

10.1007/978-1-4757-2574-2_12 ◽

1997 ◽

pp. 171-181 ◽

Cited By ~ 1

Author(s):

Dominique Fédérici ◽

Jean-François Santucci ◽

Paul Bisgambiglia

Keyword(s):

Petri Net ◽

Fault Modeling ◽

Behavioral Fault Modeling

Download Full-text

Behavioral Fault Modeling and Simulation Using VHDL-AMS to Speed-Up Analog Fault Simulation

Analog Integrated Circuits and Signal Processing ◽

10.1023/b:alog.0000024065.22617.5a ◽

2004 ◽

Vol 39 (2) ◽

pp. 177-190 ◽

Cited By ~ 8

Author(s):

Y. Kiliç ◽

M. Zwoliński

Keyword(s):

Modeling And Simulation ◽

Fault Simulation ◽

Fault Modeling ◽

Speed Up ◽

Behavioral Fault Modeling ◽

Analog Fault Simulation

Download Full-text

Behavioral fault modeling in a VHDL synthesis environment

Proceedings 17th IEEE VLSI Test Symposium (Cat. No.PR00146) ◽

10.1109/vtest.1999.766684 ◽

2003 ◽

Cited By ~ 19

Author(s):

R.J. Hayne ◽

B.W. Johnson

Keyword(s):

Fault Modeling ◽

Behavioral Fault Modeling

Download Full-text

Fault injection in mixed-signal environment using behavioral fault modeling in Verilog-A

2010 IEEE International Behavioral Modeling and Simulation Workshop ◽

10.1109/bmas.2010.6156601 ◽

2010 ◽

Cited By ~ 5

Author(s):

Seyed-Nematollah Ahmadian ◽

Seyed-Ghassem Miremadi

Keyword(s):

Fault Injection ◽

Fault Modeling ◽

Mixed Signal ◽

Signal Environment ◽

Behavioral Fault Modeling

Download Full-text

Behavioral Fault Modeling for Model-based Safety Analysis

10th IEEE High Assurance Systems Engineering Symposium (HASE'07) ◽

10.1109/hase.2007.58 ◽

2007 ◽

Cited By ~ 19

Author(s):

Anjali Joshi ◽

Mats P.E. Heimdahl

Keyword(s):

Safety Analysis ◽

Fault Modeling ◽

Model Based ◽

Behavioral Fault Modeling

Download Full-text

Behavioral fault modeling and simulation of phase-locked loops using a VHDL-A like language

Proceedings Ninth Annual IEEE International ASIC Conference and Exhibit ◽

10.1109/asic.1996.552003 ◽

2002 ◽

Cited By ~ 3

Author(s):

C.-J.R. Shi ◽

N.J. Godambe

Keyword(s):

Modeling And Simulation ◽

Fault Modeling ◽

Phase Locked Loops ◽

Behavioral Fault Modeling

Download Full-text

Generation of the Petri net by means of the resources of the dis-crete-continuous nets in the algorithm formation for the self-tuning of the coordinating control system

ELECTRICAL AND COMPUTER SYSTEMS ◽

10.15276/eltecs.26.102.2017.9 ◽

2017 ◽

Vol 26 (102) ◽

pp. 78-87 ◽

Cited By ~ 1

Author(s):

A. A. Gurskiy ◽

◽

A. E. Goncharenko ◽

A. V. Denisenko

Keyword(s):

Control System ◽

Petri Net ◽

The Self ◽

Self Tuning ◽

Coordinating Control

Download Full-text

Computational Complexity of Liveness Problem of Normal Petri Net

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e92.a.2717 ◽

2009 ◽

Vol E92-A (11) ◽

pp. 2717-2722 ◽

Cited By ~ 2

Author(s):

Atsushi OHTA ◽

Kohkichi TSUJI

Keyword(s):

Computational Complexity ◽

Petri Net

Download Full-text

A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v5i12.290295 ◽

2017 ◽

Vol 5 (12) ◽

pp. 290-295

Author(s):

R. Barik ◽

◽

...

Keyword(s):

Collision Avoidance ◽

Petri Net ◽

Signalling System ◽

Railway Signalling

Download Full-text

An agent-based Flexible Manufacturing System controller with Petri-net enabled algebraic deadlock avoidance

Reports in Mechanical Engineering ◽

10.31181/rme200101077m ◽

2020 ◽

Vol 1 (1) ◽

pp. 77-92

Author(s):

Sotirios Messinis ◽

◽

George Vosniakos ◽

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Manufacturing System ◽

Flexible Manufacturing System ◽

Deadlock Avoidance ◽

Agent Based ◽

System Controller

Download Full-text

Service-oriented design in aspect-oriented and Petri net-based approach

10.31274/rtd-180813-17180 ◽

2007 ◽

Author(s):

Tae-hyung Kim

Keyword(s):

Petri Net ◽

Service Oriented

Download Full-text