Tadao Murata

Tadao Murata's AcademicInfluence.com Rankings

Tadao Murata

Computer Science

#5139

World Rank

#5430

Historical Rank

Database

#2290

World Rank

#2405

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Tadao Murata's Degrees

PhD Computer Science University of Tokyo

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2026

Why Is Tadao Murata Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Tadao Murata's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Petri nets: Properties, analysis and applications (1989) (11374)
A Method for Stepwise Refinement and Abstraction of Petri Nets (1983) (309)
Detection of Ada Static Deadlocks Using Petri Net Invariants (1989) (171)
State equation, controllability, and maximal matchings of petri nets (1977) (136)
Generating basis siphons and traps of Petri nets using the sign incidence matrix (1994) (126)
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs (1988) (122)
Circuit theoretic analysis and synthesis of marked graphs (1977) (106)
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis (1994) (97)
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs (1989) (88)
Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets (1996) (87)
An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis (1996) (84)
Reduction and expansion of live and safe marked graphs. (1979) (78)
A Petri Net Model for Reasoning in the Presence of Inconsistency (1991) (66)
Modeling and simulation of routing protocol for mobile ad hoc networks using colored petri nets (2002) (59)
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets (2001) (57)
Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance (1980) (51)
Compositional verification of concurrent systems using Petri-net-based condensation rules (1998) (48)
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets (1990) (48)
Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments (2000) (48)
Applying Petri net reduction to support Ada-tasking deadlock detection (1990) (42)
A Predicate-Transition Net Model for Multiple Agent Planning (1991) (38)
Additional methods for reduction and expansion of marked graphs (1981) (34)
B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems (1992) (26)
Stepwise Refinements of Transitions and Places (1980) (25)
LambdaStream – a Data Transport Protocol for Streaming Network-intensive Applications over Photonic Networks (2004) (24)
Petri Nets and Marked Graphs–Mathematical Models of Concurrent Computation (1982) (22)
Petri net model with fuzzy timing and fuzzy-metric temporal logic (1999) (20)
A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic (1996) (20)
Petri net model with fuzzy timing and fuzzy‐metric temporal logic (1999) (20)
Fair relation and modified synchronic distances in a petri net (1985) (20)
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets (1990) (19)
Inconsistency check of a set of clauses using petri net reductions (1988) (19)
An Extended Petri Net Model for Normal Logic Programs (1995) (18)
Relevance of network theory to models of distributed/parallel processing☆ (1980) (18)
A ß-distributed stochastic petri net model for software project time/cost management (1994) (17)
A Data Flow Computer Architecture with Program and Token Memories (1982) (17)
A Fast Algorithm for Concurrent LU Decomposition and Matrix Inversion (1983) (16)
Modeling and Analysis of Distributed Multimedia Synchronization by Extended fuzzy-Timing Petri Nets (2001) (15)
Petri Nets and their Application an Introduction (1984) (14)
Petri nets and their applications. (1983) (11)
A secure mobile agent system model based on extended elementary object system (2004) (10)
On reachability conditions for unrestricted Petri nets (1993) (10)
A Timed Petri Net Model and Simulation of a Dataflow Computer (1985) (9)
Petri net methods for reasoning in real-time control systems (1995) (9)
Mutator simulated floating inductors (1975) (8)
Petri-net model and minimum cycle time for updating a moving objects database (2006) (8)
Fuzzy-timing Petri net model for distributed multimedia synchronization (1998) (8)
Petri Nets: Properties, Analysis and Appl ka t ions (2004) (7)
A Petri net semantics for logic programs with negation (1992) (7)
Method for realizing the synchronic distance matrix of a marked graph (1982) (6)
Structure matrices for petri nets and their applications (1985) (6)
Efficient Matrix Multiplications on a Concurrent Data-Loading Array Processor (1983) (6)
A Sort-Last Rendering System over an Optical Backplane (2005) (6)
Additional types of mutators and active RC synthesis using mutators (1977) (5)
Fuzzy-Timing High-level Petri Net Model of a Real-Time Network Protocol (1996) (5)
Classifications of Petri net transitions and their application to firing sequence and reachability problems (1997) (5)
Hierarchically organized Petri net state space for reachability and deadlock analysis (1992) (5)
A new compositional method for condensed state-space verification (1996) (4)
Some recent applications of high-level Petri nets (1991) (4)
Artificial Intelligence Research in Japan (1985) (4)
A Constructive Method for Finding Legal Transition Sequences in Petri Nets (1998) (4)
Markov chain reduction and analysis of GSPN models for task allocation in distributed systems (1991) (4)
Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization (1987) (4)
A design approach for self-diagnosis of fault-tolerant clock synchronization (1989) (3)
Applications of Petri nets to Non-Monotonic Logic (1990) (3)
A Petri Net Model for Nonmonotonic Reasoning Based on Annotated Logic Programs (Special Section on Net Theory and Its Applications) (1994) (3)
Fuzzy-Timing Petri Net Modeling and Simulation of a Networked Virtual Environment: NICE (2000) (3)
Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs (1986) (3)
The Use of Adaptive Constrained Descent in Systems Design (1963) (2)
Modeling and simulating data flow computations at machine language level (1979) (2)
Petri net models and efficient T-invariant analysis for logical inference of clauses (1996) (2)
Petri Net Method for Real-Time Control of Rule-Based Systems (1989) (2)
Modeling and Analysis of Collaborative Virtual Environments by using Extended Fuzzy-Timing Petri Nets (1999) (2)
Automated protocol modeling and verification combining an entity-based specification language and Petri nets (1989) (2)
Protocol Specification Design Using an Object-Based Petri Net Formalism (1999) (2)
A predicate-transition net model for single agent planning (1990) (2)
Static Analysis of Concurrent Programs by Petri Nets (1993) (1)
Petri-Net-Based Fairness Concepts for Discrete Event Systems (1990) (1)
Comparison of various chip-i/o schemes for interconnecting vlsi systolic array processor chips (1983) (1)
A High-Level Petri Net for a Subset of FGHC (1990) (1)
The DT-Polynomial Approach to Discrete Time-Varying Network Flow Problems (1978) (1)
Predicate-Transition Net Reachability Testing Using Heuristic Search (1994) (1)
Modeling and analysis of networked real-time systems via fuzzy-timing petri nets (2000) (1)
A Method for Applying G-Nets To Communication Protocols (1996) (1)
Maximum Firing Number In Capacitated Marked Graphs (1977) (0)
Synthesis of marked graph computation models for prescribed resources and performance (1979) (0)
Pr/t Net Method for Robot Planning (1995) (0)
Petri Net Analysis Methods and Fuzzy-Timing High-Level Petri Nets (1996) (0)
Correction to 'Circuit Theoretic Analysis and Synthesis of Marked Graph' (1978) (0)
A Topological Approach to the Stability of Time-Varying and Nonlinear Networks (1966) (0)
Protocol modeling, analysis and design using fuzzy-timing high-level petri nets (2005) (0)
Guest Editors' Introduction Special Section on Petri Net Performance Models (1991) (0)
Extension of the Hodograph Method for the One-Dimensional Elastic-Plastic Wave Propagation (1973) (0)
The first international conference on the fifth generation computer systems (1982) (0)
On Reachability Conditions for Petri Nets Using State Equations (1993) (0)
Mobile Agent System and Petri Net Modeling of Online Shopping System (1999) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Tadao Murata?

Tadao Murata is affiliated with the following schools:

University of Illinois Chicago

Tadao Murata's Academic­Influence.com Rankings