Reflexive incidence matrix (RIM) representation of Petri nets

Journal article

S. K Das, V. K Agrawal, DILIP Sarkar and L. M Patnaik

IEEE transactions on software engineering, Vol.13(6), pp.643-653

1987

Abstract

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

Simulation

Software

10 Record Views

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Collaboration types: Domestic collaboration; International collaboration
Citation topics: 4 Electrical Engineering, Electronics & Computer Science; 4.47 Software Engineering; 4.47.408 Model Checking
Web Of Science research areas: Computer Science, Software Engineering; Engineering, Electrical & Electronic
ESI research areas: Computer Science

This output has contributed to the advancement of the following goals:

Source: InCites

Title: Reflexive incidence matrix (RIM) representation of Petri nets
Creators: S. K Das - Washington state univ., dep. computer sci., Pullman WA 99164, United States
V. K Agrawal - Washington state univ., dep. computer sci., Pullman WA 99164, United States
DILIP Sarkar - Washington state univ., dep. computer sci., Pullman WA 99164, United States
L. M Patnaik - Washington state univ., dep. computer sci., Pullman WA 99164, United States
Publication Details: IEEE transactions on software engineering, Vol.13(6), pp.643-653
Publisher: Institute of Electrical and Electronics Engineers
Academic Unit: College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031613613602976