NDLI: A concurrency characteristic in Petri net unfolding

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

2015 IEEE International Conference on Systems, Man, and Cybernetics

2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC)

2013 IEEE International Conference on Systems, Man, and Cybernetics

2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC)

2011 IEEE International Conference on Systems, Man, and Cybernetics

2010 IEEE International Conference on Systems, Man and Cybernetics

2009 IEEE International Conference on Systems, Man and Cybernetics

2008 IEEE International Conference on Systems, Man and Cybernetics

2007 IEEE International Conference on Systems, Man and Cybernetics

2006 IEEE International Conference on Systems, Man and Cybernetics

2005 IEEE International Conference on Systems, Man and Cybernetics

2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)

SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)

IEEE International Conference on Systems, Man and Cybernetics

2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236)

Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0

IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028)

SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218)

1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation

Volume 5 - 1997

1997 IEEE International Conference On Systems, Man, And Cybernetics

Weight value testing in artificial neural networks

A neural network model for spoken word recognition

Comparison of feedback controllers for feedback-error-learning neural network control system with application to a flexible micro-actuator

A study on with the bottom-up and the top-down procedure in hierarchical neural networks

Global weight refinement of fuzzy production rules using neural network

The adaptive weight using RAM

Comparison of projection-based face recognition algorithms

Pattern recognition and quality control: an intelligent approach to identify defects

Facial analysis applying an attentive processing strategy

Considerations on extended feature vectors in automatic face recognition

Speech coding by limited weight neural networks (LWNN)

Stable discrete-time neural control for robots using adaptive bounding techniques

Using a distance metric on genetic programs to understand genetic operators

The use of cultural algorithms with evolutionary programming to control the data mining of large-scale spatio-temporal databases

A discrete binary version of the particle swarm algorithm

Evolving basis functions with dynamic receptive fields

Multi-agent interface architecture for real-world oriented distributed human interface systems

Learning complex temporal sequence using bi-directional spatiotemporal neural network

Sharing work, experience, interpretation, and maybe even meanings between natural and artificial agents

Inductive learning as a fusion engine for mine detection

What is a symbolic measurement process?

Sensible agents

Simulation of dynamical systems using the multibody approach and bond graphs: a comparative study

Integration of the Space Shuttle remote manipulator system virtual environment simulation

Modeling situation assessment to improve pilot safety

The influence of team training methods on simulator performance

Stress effects upon communication in distributed teams

Supporting situation awareness in aviation systems

Applying morphological filters to acoustic broadband correlograms

EIKONES-an object-oriented language for image processing

Multi-scale image analysis for stochastic detection of self-similarity in complex texture

An image processing approach to underwater acoustic signal classification

An efficient fractal image compression method

User modelling and information filtering for consumer health information

Measuring asymmetries of skin lesions

Artificial neural classification of clustered microcalcifications on digitized mammograms

Multi-resolution decomposition applied to crackle detection

Control rule acquisition for an arm wrestling robot

Hand gesture recognition using hidden Markov models

Experiences with a tool to build supervisory applications

Human-computer interaction and animation system for simple interfacing to virtual environments

Foot-mounted gesture detection and its application in virtual environments

Human-machine performance configuration for computational cybernetics

Constructs for prototyping information systems with object Petri nets

A concurrency characteristic in Petri net unfolding

Reversibility verification of Petri nets using unfoldings

Application of Petri net unfoldings to asynchronous design

Persistency and weak persistency in partial order based analysis

On the inverse kinematics and statics of cable-suspended robots

A framework for the study of interactions between robots

An approach for the teleoperator control of the Stanford/JPL Dexterous Hand

Dynamic analysis in variable structure position/force hybrid control of manipulators

Toward a folding-legged uniped that can learn to jump

Trajectory optimization and control for robot manipulator using evolution strategy and fuzzy logic

C3I systems analysis using the distributed interactive C3I effectiveness (DICE) simulation

Robust control of uncertain measure differential systems with delay: Riccati-like approach

On information processing capacity of anti-aircraft tactic command and control systems

Measures of effectiveness under different command and control organizational architectures

Application of a role-based methodology to represent command and control processes using extended Petri nets

Distributed situation awareness for C2 platforms

Automatic detecting system for traffic flow of bicycles based on pattern recognition and classification

Power command enhancement in mobile communication systems using an embedded fuzzy unit

Optimization of Earth station receiving performances to minimize total system cost

Recursive second-order Volterra filtering using new lattice structure

A group RPC protocol analysis for distributed network management systems using Petri nets

Combining neural network, genetic algorithm and symbolic learning approach to discover knowledge from databases

A topological map based navigation system for mobile robotics

Global self-localization of a robot in underground mines

An evolutionary optimisation approach to motor learning with first results of an application to robot manipulators

A learning with membership queries to minimize prediction error

Competitive co-evolution based game-strategy acquisition with packaging strategies method

Formal verification of some potential contradictions in hybrid expert systems

Scheduling flexible manufacturing systems containing assembly operations based on Petri net structures and dynamics

Manufacturing-driven design

Towards a modular timing analysis of real-time software systems

The discovery-exploitation model and its computational implementation

A skill-based PID controller using artificial neural networks

Smart permanent virtual circuits in asynchronous transfer mode networks

KOLEM: studies on evolution of expertise in a society of learning agents

Intelligent hybrid multi-agent computational architecture for complex systems

An intelligent PID controller with a neural supervisor

Intervention studies using the virtual design team

Applying specification methods to complex systems

Minimising the latency induced by consistency control, within a large scale multi-user distributed virtual reality system

Reducing operator perceived complexity

Three-link planar robotic arm trajectory planning and its adaptive fuzzy logic control

Dynamic system representation of basic and nonlinear in parameters oscillatory motion gestures

Procedural knowledge processing based on area representation using a neural network

Speaker verification based on a vector quantization approach that incorporates speaker cohort models and a linear discriminator

Large scale on-line handwritten Chinese character recognition using improved syntactic pattern recognition

Volume 4 - 1997

Volume 3 - 1997

Volume 2 - 1997

Volume 1 - 1997

1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929)

1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century

Proceedings of IEEE International Conference on Systems, Man and Cybernetics

Proceedings of IEEE Systems Man and Cybernetics Conference - SMC

[Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics

Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics

1990 IEEE International Conference on Systems, Man, and Cybernetics Conference Proceedings

Conference Proceedings., IEEE International Conference on Systems, Man and Cybernetics

Proceedings of the 1988 IEEE International Conference on Systems, Man, and Cybernetics

A concurrency characteristic in Petri net unfolding

Content Provider	IEEE Xplore Digital Library
Author	Chang-Hee Hwang Dong-Ik Lee
Copyright Year	1997
Description	Author affiliation: DACOM R&D Center, Taejon, South Korea (Chang-Hee Hwang)
Abstract	Unfolding, originally introduced by McMillan (1995), is gaining ground as a partial-order based method for the verification of concurrent systems without state-space explosion. However, it can be exposed to redundancy, which may increase its size exponentially. So far, there have been trials to reduce such redundancy resulting from conflicts by improving McMillan's cut-off criterion. In this paper, we show that concurrency is also another cause of redundancy in unfolding, and we present an algorithm to reduce such redundancy in live, bounded and reversible Petri nets, which is independent of any cut-off algorithm.
Starting Page	4266
Ending Page	4273
File Size	700398
Page Count	8
File Format	PDF
ISBN	0780340531
ISSN	1062922X
DOI	10.1109/ICSMC.1997.637370
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1997-10-12
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Concurrent computing Petri nets State-space methods Explosions Research and development Asynchronous circuits Interleaved codes
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