Completeness results for single-path Petri nets

Journal article

Peer reviewed

R. R Howell, P Jancar and L. E Rosier

Information and computation, Vol.106(2), pp.253-265

1993

Abstract

Applied sciences

Automata. Abstract machines. Turing machines

Computer science; control theory; systems

Exact sciences and technology

Theoretical computing

4 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, Theory & Methods; Mathematics, Applied
ESI research areas: Computer Science

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

Source: InCites

Title: Completeness results for single-path Petri nets
Creators: R. R Howell - Kansas state univ., dep. computing information sci., Manhattan KS 66506, United States
P Jancar - Kansas state univ., dep. computing information sci., Manhattan KS 66506, United States
L. E Rosier - Kansas state univ., dep. computing information sci., Manhattan KS 66506, United States
Publication Details: Information and computation, Vol.106(2), pp.253-265
Publisher: Elsevier
Academic Unit: Miller School of Medicine; Miller School of Medicine Administration; UMMG Department of Pediatrics
Language: English
Resource Type: Journal article
Record Identifier: 991031739922202976