NDLI: Tree Petri Nets: Properties and Applications in Logical Problems

Please wait, while we are loading the content...

2013 Fourth Global Congress on Intelligent Systems

2012 Third Global Congress on Intelligent Systems

2010 Second WRI Global Congress on Intelligent Systems

Volume 3 - 2010

Cover Art - Volume 3

Title Page i - Volume 3

Title Page iii - Volume 3

Copyright Page - Volume 3

Table of Contents - Volume 3

Preface - Volume 3

Conference Committee - Volume 3

Reviewers - Volume 3

Keynote Speakers - Volume 3

An Intelligent Supervision System for Workpiece Size in Cylindrical Grinding

Computer Simulation of Solidification Heat Transfer in Continuous Casting Bloom

Research on the Improvement of the Fuzzy C-Means Text Mining Methods Based on Genetic Algorithm

Software implementation of bar tacker control system

A New Traffic Sign Recognition System with IFRS Detector and MP-SVM Classifier

An Intelligent Fuzzy Control for Crossroads Traffic Light

Application of 0-1 Integer Programming Based on Velocity Adjustment in the Collision Prevention

Association of Signal-Controlled Method at Roundabout and Stop Rate

Driver Distraction Detection and Identity Recognition in Real-Time

Real-Time Train Scheduling and Control Based on Model Predictive Control

Research on Key Technologies for Urban Unmanned Intelligent Vehicle

Research on the Anti-collision Mechanism Based on GPS

Simulation and Performance Evaluation of Hydraulic Transmission Electromagnetic Energy-Regenerative Active Suspension

Study on Asymptotic Stability and Bounded Stability of the Intelligent Vehicle Platoon

Traffic Data Collection System for Floating Car Based on GPS/GPRS/MM

Vehicle Flow Detection Based on Machine Vision

A Dynamic Integrated Model in Machine Learning and Its Application

A Knowledge Reasoning Model Based on Rough Set Theory

A Method of Text Feature Extraction Based on Weighted Scatter Difference

A Novel Attribute Reduction Algorithm Based Improved Differential Evolution

Adaptive Spectral Clustering Based on Grey Relational Analysis

Diagnosis of Breast Tumor Using SVM-KNN Classifier

Filter-Wrapper Hybrid Method on Feature Selection

License Plate Location Based on Haar-Like Cascade Classifiers and Edges

Mahalanobis Space Learning Machine for Quality Diagnosis

Measurement and Control System in Process of Carbon Dioxide Capture Based on Sparse Support Vector Machine

Path-Based Relative Similarity Spectral Clustering

QSAR Studies on Toxicity of Organic Compounds to Chlorella vulgaris

Semi-supervised Classification with Metric Learning

A Constructive Algorithm for Training Neural Network Ensemble

A Method for Face Recognition Based on Wavelet Neural Network

Adaptive Neuro-fuzzy Inference System Design of Inverted Pendulum System on an Inclined Rail

Blind Neural Network Equalizer Based on QAM and Constant Modulus Algorithm

Classification Problem of ANN in Assessment of Environmental Quality

Clustering of Words from Czech Written Documents Using GHSOM

Complex-Valued Neural Networks Fault Tolerance in Pattern Classification Applications

Dynamical Behavior of Impulsive Hopfield Neural Networks with Infinite Distributed Delays

Exponential Stability and Periodic Solutions of Delayed Neural Networks

Exponential Synchronization of Fuzzy Neural Networks with Distributed Delays and Time-Varying Coefficients

Image Recognition of Unsound Wheat Using Artificial Neural Network

Influence of Time Delay and Noise on Critical Coupling Parameter in Synchronization of Small World Neural Networks

Neural Network Model for Earthquake Prediction Using DMETER Data and Seismic Belt Information

Predication Emission of an Marine Two Stroke Diesel Engine Based on Modeling of Radial Basis Function Neural Networks

Prediction Study on Lateral Acceleration of Railway Coach Based on RBF Neural Networks

Speed Regulator of Diesel-Generator Based on Model Free Adaptive Control

A Feature Reduction Method by Grey Theory and Rough Set

A New Method of Wavelet Transform Based on FFT for Signal Processing

A Universal Generating Function Approach for Reliability Analysis of Multi-state Systems

Building an Augumented Reality-Based Product Promotion System with ARToolkit Integrated with an Adaboosted Classifier-Assisted 1-D Barcode Reader

Complex Product Modeling and Optimization Based on Approximation Method

Fuzzy Fusion Approach for Object Tracking

General Analysis Method of Warship Service Life

IDS Evaluation Approach Based on MLE-ROC

Immune-Particle Swarm Optimization Beats Genetic Algorithms

Intelligent Control of Hydro Power Sets Based on Fuzzy Model Reference Learning Control

Intelligent Scheme Design of High-Rise Structure for K-Means-Based Case Retrieval

Interval Cloud Model and Interval Cloud Generator

Large-Scale System's Multi-channel Control of Renewable Resources Industry Chain Harmonious Development

Mitigation of Systematic Errors of GPS Positioning Based on Wavelet Denoise

One Improved Collaborative Filtering Algorithm Based on Bipartite Network Structure

Path Planning for UAV in Radar Network Area

Scenarios for Music Information Retrieval: A Value-Based Model for P2P Network Community

Seeing the Equitable Colorings in a Different View

Study on Mining Technology in Intelligent Workface of Wannian Colliery

The Dictionary Mechanism for Chinese Word Segmentation -- Hashing the Initial and Termination of the Chinese Words

The Implementation of Lane Detective Based on OpenCV

The Performance Analysis on Fuel Injection System Failure for a Four-Stroke Marine Diesel Engine

The Realization of Keyboards with Mobile Ad Hoc Network

The Research of Modeling and Simulation Method on Limited Resources Queuing System in Bounded Rationality Environment

Tree Petri Nets: Properties and Applications in Logical Problems

The Research on Spatial Data Mining Module Based on Multi-objective Optimization Model for Decision Support System

"Picture" -- A Decision Support System in ICT Investments' Area

A Comparative Study of Dimension-Reduction Based on Data Distribution

A Novel Maximal Margin Classifier with Application to Logging Lithological Characters Identification

A Pilot Study of EMG Pattern Based Classification of Arm Functional Movements

Deflection Angle Detection Method Study for Two Fingerprint Images Based on the Fingerprint Character Ring

Digital Recognition Based on Image Device Meters

Discrepancy of Extraction of Standing Water between Index Methods and TM5 Thresholding

K-Nearest Neighbor Clustering Algorithm Based on Kernel Methods

Lectotype Optimization of Single-Layer Cylindrical Shell Based on BP Neural Network Method

One Method for Extracting Sub-pixel Light Stripe Centerlines Applied to the Structured Light

Research of Driver Eye Features Detection Algorithm Based on OpenCV

Shape Feature and RBF Network Based Intelligent Fault Identification of Rotating Machinery

Sparse Representation for Three-Dimensional Number Ball Recognition

Telephone Conversation Speaker Recogniton System Based on Speech Purify

The Introduction of GASD

The Solution to How to Select an Optimal Set of Features from Many Features Used to Intrusion Detection System in Wireless Sensor Network

Traffic Sign Recognition Using Dictionary Learning Method

Unsupervised Hyperspectral Unmixing Based on Constrained Nonnegative Matrix Factorization and Particle Swarm Optimization

Dynamic Linear Time Temporal Description Logics

EEG/ERP Portal -- Semantic Web Extension: Generating Ontology from Object Oriented Model

Execution Analysis of Failure Recovery for Reliable Web Services Transaction

Using OWL to Construct and Parse Ontology for Learning Resources in Network Education Environment

Author Index - Volume 3

Publisher's Information - Volume 3

Volume 2 - 2010

Volume 1 - 2010

2009 WRI Global Congress on Intelligent Systems

Tree Petri Nets: Properties and Applications in Logical Problems

Content Provider	IEEE Xplore Digital Library
Author	Cui Huan Qing
Copyright Year	2010
Abstract	A special subclass of Petri net, tree Petri net, is discussed. For a tree Petri net, a marking M1 is reachable from M2 if and only if M2 is reachable from M1 in its inversed Petri net, and the reach ability is equivalent to the state equation satisfiability. Furthermore, two applications of tree Petri nets in logical problems’ analysis are presented. One is applied to the calculation of minimal cut sets of coherent fault tree, the other is used to solve an and-or tree. The corresponding algorithms are given. It is demonstrated that the tree Petri net is effective for failure analysis and artificial intelligence problem solution. Some examples are presented to validate these conclusions.
Starting Page	295
Ending Page	298
File Size	467145
Page Count	4
File Format	PDF
ISBN	9781424492473
DOI	10.1109/GCIS.2010.88
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-12-16
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Algorithm design and analysis Analytical models Petri nets state equation coherent fault tree Reliability engineering and-or tree Mathematical model minimal cut set Equations Fault trees Petri net
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in