Murata, Tadao

• Ma, Lu; Tsai, Jeffrey J. P.; Murata, Tadao:
  A Secure Mobile Agent System Model Based on Extended Elementary Object System. 2004.

• Juan, E.Y.T.; Tsai, J.J.P.; Murata, Tadao:
  Compositional verification of concurrent systems using Petri net based condensation rules. 1998.

• Zhou, Y.; Murata, Tadao:
  Fuzzy-Timing Petri Net Model for Distributed Multimedia Sychronization. 1998.

• Zhou, Yi; Murata, Tadao:
  Fuzzy-Timing Petri Net Model for Distributed Multimedia Synchronization. 1998.

• Huang, J.S.; Murata, Tadao:
  A Constructive Method for Finding Legal Transition Sequences in Petri Nets. 1998.

• Watanuki, K.; Murata, Tadao; Ohtaki, H.:
  Performance Analysis of Assembling Gear Transmission Mechanism by High-Level Fuzzy-Timing Petri Nets. 1997.

• Huang, J.S.; Murata, Tadao:
  Siphoning, Risky and Fatal Transitions in Petri Nets. 1997.

• Juan, E.Y.T.; Tsai, J.J.P.; Murata, Tadao:
  A New Compositional Method for Condensed State-Space Verification. 1996.

• Lin, C.; Chanson, S.T.; Murata, Tadao:
  Petri Net Models and Efficient T-invariant Analysis for Logical Inference of Clauses. 1996.

• Zhang, Du; Murata, Tadao:
  Fixpoint Semantics for Petri Net Model of Definite Clause Logic Programs. 1996.

• Shatz, S.M.; Tu, S.; Murata, Tadao; Duri, S.:
  An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis. 1996.

• Murata, Tadao; Suzuki, T.; Shatz, S.:
  Fuzzy-Timing High-Level Petri Net Model of a Real-Time Network Protocol. 1996.

• Murata, Tadao:
  Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. 1996.

• Sliva, V.; Murata, Tadao; Shatz, S.M.:
  A Method for Applying G-Nets to Communication Protocols. 1996.

• Jeffrey, J.; Lobo, J.; Murata, Tadao:
  A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic. 1996.

• Shimura, T.; Lobo, J.; Murata, Tadao:
  An extended Petri net model for normal logic programs. 1995.

• Sliva, V.; Murata, Tadao:
  A G-net module synthesis method for software applications. 1995.

• Boer, E.R.; Murata, Tadao:
  Generating basis siphons and traps of Petri nets using the sign incidence matrix. 1994.

• Lee, C.; Murata, Tadao:
  A Petri net model for nonmonotonic reasoning based on annotated logic programs. 1994.

• Yim, J.; Nelson, P.C.; Murata, Tadao:
  Predicate-Transition Net Reachability Testing Using Heuristic Search. 1994.

• Lin, C.; Murata, Tadao:
  A Petri Net Model for Inference in Non-Monotonic Logic. 1994.

• Murata, Tadao; Tsuji, K.:
  Analysis of Concurrent Programs by Petri Nets. 1993.

• Murata, Tadao:
  Petri Nets. 1992.

• Murata, Tadao:
  Petri Nets: Analysis & Applications. 1992.

• Silva, M.; Murata, Tadao:
  B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. 1992.

• Murata, Tadao; Bhatia, R.S.; Shatz, S.M.:
  Markov Chain Reduction and Analysis of GSPN Models for Task Allocation in Distributed Systems. 1991.

• Murata, Tadao; Nelson, Peter C.; Yim, Jaegeol:
  A Predicate-Transition Net Model for Multiple Agent Planning. 1991.

• Murata, Tadao; Subrahmanian, V.S.; Wakayama, T.:
  A Petri Net Model for Reasoning in the Presence of Inconsistency. 1991.

• Bhatia, Randeep S.; Murata, Tadao; Shatz, Sol M.:
  Application of Generalized Stochastic Petri Nets to Task Allocation in Distributed Systems. 1990.

• Jeffrey, J.; Murata, Tadao:
  A High-Level Petri Net for a Subset of FGHC. 1990.

• Lin, Ch.; Murata, Tadao:
  Application of Petri nets to non-monotonic logic. 1990.

• Murata, Tadao; Silva, M.:
  Petri-Net-Based Fairness Concepts for Discrete Event Systems. 1990.

• Murata, Tadao; Subrahmanian, V.S.; Wakayama, Toshiro:
  A High Level Petri Net Model for Reasoning in the Presence of Inconsistency. 1990.

• Tu, S.; Shatz, S.M.; Murata, Tadao:
  Applying Petri Net Reduction to Support Ada-Tasking Deadlock Detection. 1990.

• Lu, Meiliu; Zhang, Du; Murata, Tadao:
  Analysis of Self-Stabilizing Clock Synchronization by means of Stochastic Petri Nets. 1990.

• Suzuki, Toshinoro; Shatz, Sol M.; Murata, Tadao:
  A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets. 1990.

• Peterka, G.; Murata, Tadao:
  Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. 1989.

• Shatz, S.M.; Suzuki, T.; Murata, Tadao:
  Automated Protocol Modeling and Verification Combining an Entity-Based Specification Language and Petri Nets. 1989.

• Murata, Tadao; Silva, M.:
  Fair Control of Discrete Event Systems Via Petri Nets. 1989.

• Murata, Tadao:
  Petri Nets: Properties, Analysis and Applications. 1989.

• Murata, Tadao; Shenker, B.; Shatz, S.M.:
  Detection of Ada Static Deadlocks Using Petri Net Invariants. 1989.

• Leu, D.J.; Silva, M.; Colom, J.M.; Murata, Tadao:
  Interrelationships among Various Concepts of Fairness for Petri Nets. 1988.

• Murata, Tadao; Matsuyama, K.:
  Inconsistency Check of a Set of Clauses Using Petri Net Reductions. 1988.

• Murata, Tadao; Zhang, D.:
  A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. 1988.

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

• Murata, Tadao:
  Petri Nets. 1987.

• Murata, Tadao; Peterka, G.:
  Application of Colored Petri Net T-Invariants to Logic Programming. 1987.

• Silva Suarez, M.; Murata, Tadao:
  On Synchronic-Distance and B-Fair Relations for Petri Nets. 1987.

• Sliva, V.; Murata, Tadao:
  Properties and Applications of S-Subnets of Petri Nets. 1987.

• Leu, D.J.; Murata, Tadao; Silva Suarez, M.:
  Maximum Firing Deviation and Fair Relations in Petri Nets. 1986.

• Murata, Tadao; Zhang, D.:
  A High Level Petri Net Model for Parallel Interpretation of Logic Programs. 1986.

• Kinuyama, M.; Murata, Tadao:
  Generating Spihons and Traps by Petri-Net Representation of Logic Equations. 1986.

• Shenker, B.; Murata, Tadao; Shatz, S.M.:
  Use of Petri Net Invariants to Detect Static Deadlocks in ADA Programs. 1986.

• Silva Suarez, M.; Murata, Tadao:
  B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. 1986.

• Leu, D.J.; Murata, Tadao:
  On Maximum Concurrency in a Decision-Free Concurrent System. 1985.

• Murata, Tadao:
  Use of Resource-Time Product Concept to Derive a Performance Measure of Timed Petri Nets. 1985.

• Smigelski, T.; Murata, Tadao; Sowa, M.:
  A Timed Petri Net Model and Simulation of Dataflow Computer. 1985.

• Murata, Tadao; Wu, Z.:
  Fair Relation and Modified Synchronic Distances in a Petri Net. 1985.

• Johnson, J.L.; Murata, Tadao:
  Structure Matrices for Petri Nets and Their Applications. 1985.

• Leu, D.J.; Murata, Tadao:
  Properties and Applications of the Token Distance Matrix of a Marked Graph. 1984.

• Murata, Tadao:
  Modeling and Analysis of Concurrent Systems. 1984.

• Wu, Z.; Murata, Tadao:
  Use of Petri Nets for Distributed Control of Fairness in Concurrent Systems. 1984.

• Dorth, J.; Murata, Tadao:
  Use of Colored Petri Nets for Modeling PBX Systems. 1983.

• Largen, C.L.; Murata, Tadao:
  Use of Prime Numbers for Computer-Aided Analysis of Colored Petri Nets. 1983.

• Murata, Tadao:
  Petri Nets and their Applications. An Introduction. 1983.

• Wu, Z.; Murata, Tadao:
  A Petri Net Model of a Starvation-Free Solution to the Dining Philosopher's Problem. 1983.

• Wu, Z.; Murata, Tadao:
  Fair Petri Nets and Weighted Synchronic Distance. 1983.

• Suzuki, I.; Murata, Tadao:
  A Method for Stepwise Refinement and Abstraction of Petri Nets. 1983.

• Johnson, J.L.; Murata, Tadao:
  Conflict, Confluence and Precedence Matrices for Petri Nets. 1982.

• Suzuki, I.; Murata, Tadao:
  Stepwise Refinements of Transitions and Places. 1982.

• Johnsonbaugh, R.; Murata, Tadao:
  Petri Nets and Marked Graphs - Mathematical Models of Concurrent Computation. 1982.

• Murata, Tadao; Le, V.B.; Leu, D.J.:
  Method for Realizing the Synchronic Distance Matrix as a Marked Graph. 1982.

• Murata, Tadao; Suzuki, I.:
  On the Structural Properties and Stepwise Refinement of Petri Nets. 1981.

• Johnsonbaugh, R.; Murata, Tadao:
  Additional Methods for Reduction and Expansion of Marked Graphs. 1981.

• Murata, Tadao:
  Petri Nets: Network Theory for Concurrent Systems. 1981.

• Murata, Tadao:
  The Use of Modified Petri Nets for Modeling Distributed Database Systems: A Review. 1981.

• Suzuki, I.; Murata, Tadao:
  Marked Graph Transformations by Stepwise Transition Refinements. 1980.

• Murata, Tadao:
  Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance. 1980.

• Suzuki, I.; Murata, Tadao:
  A Method for Hierarchically Representing Large Scale Petri Nets. 1980.

• Suzuki, I.; Murata, Tadao:
  A Method for Stepwise Refinements and Abstractions of Petri Nets. 1980.

• Murata, Tadao; Koh, J.Y.:
  Reduction and Expansion of Live and Safe Marked Graphs. 1980.

• Tani, K.; Murata, Tadao:
  Scheduling Parallel Computations with Storage Constraints. 1978.

• Yu, S.H.; Murata, Tadao:
  PT-Marked Graphs: A Reduced Model of Petri Nets. 1978.

• Murata, Tadao:
  Circuit Theoretic Analysis and Synthesis of Marked Graphs. 1977.

• Murata, Tadao:
  Petri Nets, Marked Graphs, and Circuit-System Theory: A Recent CAS Application. 1977.

• Murata, Tadao:
  State Equatation, Controllability, and Maximal Matchings of Petri Nets. 1977.

• Amin, A.T.; Murata, Tadao:
  A Characterization of Live and Safe Markings of a Directed Graph. 1976.

• Murata, Tadao:
  State Equation for E-Net Interpreted Marked Graphs. 1976.

• Murata, Tadao; Church, R.W.; Amin, A.T.:
  Matrix Equations for Petri Nets and Marked Graphs. 1976.

• Murata, Tadao; Shah, T.:
  On Liveness, Deadlock, and Reachability of E-Nets. 1976.

• Murata, Tadao; Church, R.W.:
  Analysis of Marked Graphs and Petri Nets by Matrix Equations. 1975.

Back to the Petri Nets Bibliography