A Topological Approach to the Stability of Time-Varying and Nonlinear Networks - Tadao Murata (1966)

Synthesis of marked graph computation models for prescribed resources and performance. - Tadao Murata (COMPSAC, 1979)

Modeling and simulating data flow computations at machine language level. - Stone H. Yu; Tadao Murata (SIGMETRICS, 1979)

Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance. - Tadao Murata (IEEE Trans. Software Eng., 1980)

Stepwise Refinements of Transitions and Places. - Ichiro Suzuki; Tadao Murata (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

The first international conference on the fifth generation computer systems. - Tadao Murata; Hisashi Kobayashi (Perform. Evaluation, 1982)

A Data Flow Computer Architecture with Program and Token Memories. - Masahiro Sowa; Tadao Murata (IEEE Trans. Computers, 1982)

A Fast Algorithm for Concurrent LU Decomposition and Matrix Inversion. - Ming-Yang Chern; Tadao Murata (ICPP, 1983)

Efficient Matrix Multiplications on a Concurrent Data-Loading Array Processor. - Ming-Yang Chern; Tadao Murata (ICPP, 1983)

A Method for Stepwise Refinement and Abstraction of Petri Nets. - Ichiro Suzuki; Tadao Murata (J. Comput. Syst. Sci., 1983)

A Timed Petri Net Model and Simulation of a Dataflow Computer. - T. Smigelski; Tadao Murata; Masahiro Sowa (PNPM, 1985)

Workshop: Artificial Intelligence Research in Japan. - Harriett B. Rigas; Taylor L. Booth; Faye A. Briggs; Tadao Murata; Harold S. Stone (Computer, 1985)

Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. - Boris Shenker; Tadao Murata; Sol M. Shatz (FJCC, 1986)

Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization. - Meiliu Lu; Du Zhang; Tadao Murata (PNPM, 1987)

A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. - Tadao Murata; Du Zhang (IEEE Trans. Software Eng., 1988)

Automated protocol modeling and verification combining an entity-based specification language and Petri nets. - Sol M. Shatz; Toshinori Suzuki; Tadao Murata (COMPSAC, 1989)

Petri Net Method for Real-Time Control of Rule-Based Systems. - Tadao Murata; Jaegeol Yim (SEKE, 1989)

Petri nets: Properties, analysis and applications. - Tadao Murata (Proc. IEEE, 1989)

Detection of Ada Static Deadlocks Using Petri Net Invariants. - Tadao Murata; Boris Shenker; Sol M. Shatz (IEEE Trans. Software Eng., 1989)

Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. - George Peterka; Tadao Murata (IEEE Trans. Software Eng., 1989)

Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. - Shengru Tu; Sol M. Shatz; Tadao Murata (ICDCS, 1990)

A High-Level Petri Net for a Subset of FGHC. - John Jeffrey; Tadao Murata (SEKE, 1990)

Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets. - Meiliu Lu; Du Zhang; Tadao Murata (IEEE Trans. Computers, 1990)

A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets. - Toshinori Suzuki; Sol M. Shatz; Tadao Murata (IEEE Trans. Software Eng., 1990)

A Predicate-Transition Net Model for Multiple Agent Planning. - Tadao Murata; Peter C. Nelson; Jaegeol Yim (Inf. Sci., 1991)

A Petri Net Model for Reasoning in the Presence of Inconsistency. - Tadao Murata; V. S. Subrahmanian; Toshiro Wakayama (IEEE Trans. Knowl. Data Eng., 1991)

Guest Editors' Introduction Special Section on Petri Net Performance Models. - Sadatoshi Kumagai; Tadao Murata; Shojiro Nishio (IEEE Trans. Software Eng., 1991)

Petri Nets. - Tadao Murata (Concise Encyclopedia of Modelling & Simulation, 1992)

Hierarchically Organized Petri Net State Space for Reachability and Deadlock Analysis. - Masato Notomi; Tadao Murata (IPPS, 1992)

A Petri Net Semantics for Logic Programs with Negation. - Teruhiro Shimura; Jorge Lobo 001; Tadao Murata (SEKE, 1992)

B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. - Manuel Silva 001; Tadao Murata (J. Comput. Syst. Sci., 1992)

On reachability conditions for unrestricted Petri nets. - Kohkichi Tsuji; Tadao Murata (ISCAS, 1993)

Oscillatory binocular system and temporal segmentation of stereoscopic depth surfaces. - R. M. Wood; Tadao Murata; Hiroshi Shimizu (Biol. Cybern., 1993)

A ß-distributed stochastic petri net model for software project time/cost management. - Gang-Soo Lee; Tadao Murata (J. Syst. Softw., 1994)

Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. - Masato Notomi; Tadao Murata (IEEE Trans. Software Eng., 1994)

Petri-Net Methods for Reasoning in Real-Time Control Systems. - Tadao Murata; Jaegeol Yim (ISCAS, 1995)

An Extended Petri Net Model for Normal Logic Programs. - Teruhiro Shimura; Jorge Lobo 001; Tadao Murata (IEEE Trans. Knowl. Data Eng., 1995)

Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. - Tadao Murata (Application and Theory of Petri Nets, 1996)

A new compositional method for condensed state-space verification. - Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata (HASE, 1996)

A Method for Applying G-Nets To Communication Protocols. - Vladimir P. Sliva; Tadao Murata; Sol M. Shatz (SEKE, 1996)

A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. - John Jeffrey; Jorge Lobo 001; Tadao Murata (IEEE Trans. Knowl. Data Eng., 1996)

An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. - Sol M. Shatz; Shengru Tu; Tadao Murata; Sastry Duri (IEEE Trans. Parallel Distributed Syst., 1996)

Articulability of two consecutive morae in Japanese speech production: evidence from sound exchange errors in spontaneous speech. - Yasushi Terao; Tadao Murata (ICSLP, 1998)

Fuzzy-timing Petri net model for distributed multimedia synchronization. - Yi Zhou; Tadao Murata (SMC, 1998)

A Constructive Method for Finding Legal Transition Sequences in Petri Nets. - Jeng S. Huang; Tadao Murata (J. Circuits Syst. Comput., 1998)

Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. - Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata (ACM Trans. Program. Lang. Syst., 1998)

Petri net model with fuzzy timing and fuzzy-metric temporal logic. - Yi Zhou; Tadao Murata (Int. J. Intell. Syst., 1999)

Protocol Specification Design Using an Object-Based Petri Net Formalism. - Vladimir P. Sliva; Tadao Murata; Sol M. Shatz (Int. J. Softw. Eng. Knowl. Eng., 1999)

Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments. - Yi Zhou; Tadao Murata; Thomas A. DeFanti (IEEE Trans. Syst. Man Cybern. Part B, 2000)

Modeling and Analysis of Distributed Multimedia Synchronization by Extended fuzzy-Timing Petri Nets. - Yi Zhou; Tadao Murata (Trans. SDPS, 2001)

Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. - Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata; Yi Zhou (IEEE Trans. Software Eng., 2001)

A Secure Mobile Agent System Model Based on Extended Elementary Object System. - Lu Ma; Jeffrey J. P. Tsai; Tadao Murata (COMPSAC, 2004)

Are the effects of vowel repetition influenced by frequencies? A corpus study on CVCVCV-structured nouns with and without vowel repetition. - Katsuo Tamaoka; Shogo Makioka; Tadao Murata (Glottometrics, 2005)

Petri-net model and minimum cycle time for updating a moving objects database. - Tadao Murata; Jaegeol Yim; Huabei Yin; Ouri Wolfson (Comput. Syst. Sci. Eng., 2006)