Publications by Tadao Murata

Last update 2006

Selected Publications Since 2004:

C. Xiong, T. Murata, and J. Leigh, "An Approach to Verifying Routing Protocols in Mobile Ad Hoc Networks Using Petri Nets" Proceedings. of IEEE 6th CAS Symposium on Emerging Technologies: Frontiers of Mobile and Wireless Communication, pp. 537-540, Shanghai, May 31 - June 2, 2004.

C. Xiong, J. Yim, J. Leigh and T. Murata, "Energy-Efficient Method to Improve TCP Improvement for MANETs " International Conference on Computing, Communications, and Control Technologies (CCCT 2004), Austin, TX, August 14-17, 2004.

Y. Kirihata, J. Leigh, C. Xiong and T. Murata, " A Sort-Last Rendering System Over an Optical Backplane," Proceedings. of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004) and the International Conference on Cybernetics and Information Technologies, Systems and Applications (CITSA 2004), Vol.1, pp.42-47, Orlando, Florida July 21 - 25, 2004. CITSA 2004 Best Paper Award in Computing Technologies III.

C. Xiong and T. Murata, "Verification of AODV Protocol Using Dynamic Topology Fuzzy-Timing Petri Nets: a Case Study" Proceedings of the 2004 Midwest Software Engineering Conference, Chicago, IL August 2004.

X. He and T. Murata, "High-Level Petri Nets - Extension, Analysis and Applications," in The Electrical Engineering Handbook edited by W.K. Chen, pp. 459-475, Elsevier Academic Press, Burlington, MA, 2005

M. Tiusanen and T. Murata, "Models Used in Static Analysis for Deadlocks of Ada Tasking Programs," Chapter 17 (pp. 585-634) of "Deadlock Resolution in Computer-Integrated Systems " (edited by M. Zhou and M. P. Fanti), Marcel Dekker, Inc., New York, 2005

C. Xiong, J. Leigh, E. He, V. Vishwanath, T. Murata, L. Renambot, T. A. DeFanti, “LambdaStream – a Data Transport Protocol for Network-Intensive Streaming Applications over Photonic Networks”, Proceedings  of the 3rd International Workshop for Protocols for Fast Long Distance 2005 (PFLD’05)

C. Xiong, J. Leigh, T. Murata, “Non-linear Multiplicative Increase and Multiplicative Decrease Congestion Control Algorithm,” Procs. of Workshop on Grids and Advanced Networks (GAN’05).

T. Murata, J. Yim, H. Yin and O. Wolfson, "Petri-Net Model and Minimum Cycle Time for Updating Moving Objects Database,"  International Journal of Computer Systems Science & Engineering, Vol.21, No.3, pp.211 – 217,  May 2006

Y. Kirihata, J. Leigh, C. Xiong and T. Murata, " A Sort-Last Rendering System Over an Optical Backplane," accepted for publication in Journal of Systemics, Cybernetics and Informatics, 2006.

 

Selected Publications from 1999 to 2003:

T. Murata, T. Suzuki and S. Shatz, "Fuzzy-Timing High-Level Petri Nets (FTHNs) for Time-Critical Systems," in J. Cardoso and H. Camargo (editors) "Fuzziness in Petri Nets" Vol. 22 in the series "Studies in Fuzziness and Soft Computing" by Springer Verlag, New York, pp. 88-114, 1999

V. Sliva, T. Murata, and S.M. Shatz, "Protocol Specification Design Using an Object-Based Petri Net Formalism," the International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 1, pp. 97-125, Feb. 1999.

Y. Zhou, T. Murata, and T. DeFanti, "Modeling and Analysis of a Collaborative Virtual Environment by Using Extended Fuzzy-Timing Petri Nets," Procs. Of Workshop on Applications of Petri Nets to Intelligetnt System Development, pp. 26-37, PN1999/Williamsburg, June 22, 1999.

T. Murata and Chun-Pin Chen, "Fuzzy-Timing Petri-Net Modeling and Analysis of Video-On-Demand System Response Times," Procs. of the 4th World Conference on Integrated Design & Process Technology, June 1999.

Y. Zhou and T. Murata, "Petri Net Model with Fuzzy-Timing and Fuzzy-Metric Temporal Logic," the special issue on fuzzy Petri nets: concepts and intelligent system modeling, International Journal of Intelligent Systems, vol. 14, no. 8, pp. 719-746, August 1999,

K.Watanuki and T. Murata, "Evaluation Method for Assembly / Disassembly by Petri Nets’" Procs. of the International Conf. on Engineering Design (ICED’99), pp.519-522, Vol.1, Munich, August 24-26, 1999

K. Watanuki and T. Murata, "Fuzzy-Timing Petri Net Model of Temperature Control for Car Air Conditioning System," Procs. of 1999 IEEE International Conference on Systems, Man, and Cybernetics, Vol. IV, Tokyo, Japan, pp.618-622, October 12-15, 1999,

T. Kanno and T. Murata, "Mobile Agent System and Petri Net Modeling of Online Shopping System," Procs. of IEICE Concurrent System Tech Group Meeting (CST99-37), pp. 33 - 40, Nov. 1999.

Y. Zhou, T. Murata, T. DeFanti, and H. Zhang, "Fuzzy-Timing Petri Nets Modeling and Simulation of a Networked Virtual Environment - NICE," IEICE Transactions on Fundamentals, Vol.E83-A, No.11, November 2000.

Y. Zhou, T. Murata, and T. DeFanti, "Modeling and Performance Analysis Using Extended Fuzzy-Timing Petri Nets for Networked Virtual Environments," IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics, Vol.30, No.5, October 2000.

E.Y.T. Juan, J. J.P. Tsai, T. Murata, and Y. Zhou, "Reduction Methods for Real-Time Systems Using Delay Time Petri Nets," IEEE Trans. On Software Engineering, pp.422-448, Vol. 27, No.5, May 2001.

K. Watanuki, T. Murata, and H. Ohtaki, "Temperature Control Method of a Car Air Conditioning System Considering Passenger's Comfort", Proc. of the ISCA 13th International Conference on Computer Applications in Industry and Engineering, pp.302-306, Honolulu, Nov. 1-3, 2000.

H. Yamasaki, J.S. Huang and T. Murata, "Reachability Analysis of Petri Nets via Structural and Behavioral Classifications of Transitions," Petri Net Newsletter No. 60, ISSN 0931-1084, Gesellschaft fur Informatik, pp.4 - 21, May 2001.

Yi Zhou and T. Murata, "Modeling and Analysis of Distributed Multimedia Synchronization by Extended Fuzzy-Timing Petri Nets," Journal of Integrated Design and Process Science, Vol. 4, No. 4, pp. 23-38, December 2001.

H. Tamura, K. Nakano, T. Murata, M. Sengoku, and S. Shinoda, "Effectiveness of Routing Algorithms for a Short Message on Multihop Wireless Networks," Special Session (S4) on Multihop Wireless Networks, Procs. of Int. Conf. on Fundamentals of Computer Sciences, pp. 39-42, Tokyo, Japan, March 27-28, 2002.

K. Watanuki and T. Murata:"Modeling and Performance Analysis of Design Process for Mechanical System Using Petri Nets," Journal of Japan Society for Design Engineering, Vol.37, No.4, pp.178-184, 2002.

K. Watanuki and T. Murata:"Modeling and Performance Analysis of Assembling / Disassembling Machine System by Extended Fuzzy-Timing Petri Nets," Journal of Japan Society for Design Engineering, Vol.37, No.5, pp. pp.234-242, 2002.

C. Xiong, T. Murata, and J. Tsai, "Modeling and Simulation of Routing Protocol for Mobile Ad Hoc networks Using Colored Petri Nets," Research and Practice in Information Technology, Vol. 12, pp.145-153, Australian Computer Society, 2002. (http://www.jrpit.flinders.edu.au/CRPITVolumeIndex.html)

L. Ma, J. Tsai, and T. Murata, "A Secure Mobile Agent System Model Based on Extended Elementary Object Net," to appear in Proceedings of the National Information Security Conference, 2002.

T. Murata, J. Yim, H. Yin and O. Wolfson, "Fuzzy-Timing Petri-Net Model for Updating Moving Objects Database," Proceedings of the 2003 VIP Scientific Forum of International Conference on IPSI (Internet, Processing, Systems, and Interdisciplinaries), Sveti Stefan, Montenegro, Yugoslavia, pp. 1-7, October 4-11, 2003.

 

Selected Publications from 1995 to 1998:

T. Shimura, J. Lobo and T. Murata, "An Extended Petri Net Model for Normal Logic Programs," IEEE Transactions on Knowledge and Data Engineering., Vol. 7, No.1, pp. 150 -176, Feb., 1995

V. Sliva and T. Murata, " A G-net module synthesis method for software applications," in Procs. of the 7th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'95), pp. 419-426, June 22-24, 1995, Rockville, MD.

S. M. Shatz, S. Tu, T. Murata, and S. Duri, "An Application of Petri Net Reduction for Ada-Tasking Deadlock Analysis," IEEE Trans. on Parallel and Distributed Systems, Vol. 7, No. 12, pp. 1307-1322, Dec. 1996..

J. Jeffrey, J. Lobo and T. Murata, "A High-Level Petri Net for Goal-Directed Semantics of Horn Clause Logic," IEEE Transactions on Knowledge and Data Engineering., Vol. 8, No. 2, pp.241 - 259, April, 1996.

V. Sliva, T. Murata, S. M. Shatz, "A Method for Applying G-Nets to Communication Protocols" Procs. of the 8th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'96), pp.145-152, June 10-12, 1996.

T. Murata, "Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets," in Application and Theory of Petri Nets 1996, Lecture Notes in Computer Science, pp. 11-28, Vol. 1091, Springer, New York, June 1996.

T. Murata, T. Suzuki and S. Shatz, "Fuzzy-Timing High-Level Petri Net Model of a Real-Time Network Protocol," Procs, of the 1996 International Technical Conference on Circuits/Systems, Computers and Communications, pp. 1170-1173, Seoul, Korea, July 15-17, 1996.

C. Lin, S. T. Chanson and T. Murata, "Petri Net Models and Efficient T-invariant Analysis for Logical Inference of Clauses," Procs. of the 1996 IEEE International Conference on Systems, Man, and Cybernetics, Beijing, China, Oct. 14-16, 1996.

Du Zhang and T. Murata, "Fixpoint Semantics for Petri Net Model of Definite Clause Logic Programs," Advances in the Theory of Computation and Computational Mathematics, Vol.1, Chapter 6, pp. 155-194, 1996.

E.Y.T. Juan, J. J.P. Tsai, and T. Murata. "A New Compositional Method for Condensed State-Space Verification," in Procs. of the IEEE High-Assurance Systems Engineering Workshop, Ontario, Canada, Oct. 22, 1996, IEEE Computer So. Press.

S. M. Shatz, S. Tu, T. Murata, and S. Duri, "An Application of Petri Net Reduction for Ada-Tasking Deadlock Analysis," IEEE Trans. on Parallel and Distributed Systems, Vol. 7, No. 12, pp. 1307-1322, Dec. 1996.

J. S. Huang and T. Murata "Siphoning, Risky and Fatal Transitions in Petri Nets," Petri Net Newsletter No. 52, pp. 14-32, June 1997 with the cover picture story, "Before Firing, Think How Risky It Would Be."

K. Watanuki, T. Murata, and H. Ohtaki, "Performance Analysis of Assembling Gear Transmission Mechanism by High-Level Fuzzy-Timing Petri Nets," Proceedings of the International Society for Computers and Their Applications (ISCA)'s 10th International Conference - Computer Applications in Industry and Engineering, pp. 17-20, San Antonio, Texas, December 1997. .

J. S. Huang and T. Murata, "A Constructive Method for Finding Legal Transition Sequences in Petri Nets," the special issue on Selected Topics in Petri nets in the Journal of Circuits, Systems and Computers., Vol. 8, No. 1, pp.189-222, Feb. 1998.

J. Jeffrey, J. Lobo and T. Murata, "Horn Clauses," Encyclopedia of Electrical and Electronics Engineering (www.wiley.com/ee/engineering), J. G. Webster, editor, John Wiley & Sons, Inc, p.2427/CSE, 1998.

V. Sliva, T. Murata, and S.M. Shatz, "Protocol Specification Design Using an Object-Based Petri Net Formalism," accepted for publication in the International Journal of Sofware Engineering and Knowlewdge Engineering, Vol 8, No 4, Dec 1998

Y. Zhou and T. Murata, "Fuzzy-Timing Petri Net Model for Distributed Multimedia Sychronization," Procs. of the 1998 IEEE International Conference on Systems, Man, and Cybernetics, Lolla, California, pp.244 - 249, October 11-14, 1998.

E.Y.T. Juan, J. J.P. Tsai, and T. Murata, "Compositional Verification of Petri Nets Using Condensation Rules," ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 20, No. 5, pp. 917-979, September 1998.

Selected Publications from 1975 to 1994:

BOOK:

T. Murata, PETRI NETS: ANALYSIS & APPLICATIONS (in Japanese), KINDAI-KAGAKUSHA, Tokyo, Japan, 1992.

PAPERS:

Selected Publications in 1990-94

M. Lu, D. Zhang and T. Murata, "Analysis of Self-Stabilizing Clock Synchronization by means of Stochastic Petri Nets," IEEE Trans. on Computers., Vol. 39, No.5, May, 1990.

T. Suzuki, S. Shatz and T. Murata, "A Protocol Modeling and Verification Approach Based on a Specification Language and Petri nets," IEEE Transactions on Software Engineering, Vol.16, No.5, May, 1990, pp.523-536.

T. Murata, P.C. Nelson, and J. Yim, "A Predicate-Transition Net Model for Multiple Agent Planning, " Information Sciences, 57-58, pp.361-384, 1991.

T. Murata and M. Silva, "Petri-Net Based Fairness Concepts for Discrete Event Systems," Progress in Systems and Control Theory 3, Realization and Modeling in System Theory, pp.549-557, Birkhauser, Boston MA, 1990.

T. Murata, R. Bhatia and S. Shatz, "Markov Chain Reduction for Analysis of GSPN Models of Task Allocation in Distributed Systems," Journal of Microelectronics and Reliability., Vol. 31, No. 4, pp.727-746, 1991.

T. Murata, V.S. Subrahmanian and T. Wakayama, "A Petri Net Model for Reasoning in the Presence of Inconsistency", IEEE Transactions on Knowledge and Data Engineering, Vol. 3, No.3, pp. 281-292, Sept. 1991

T. Murata, "Petri Nets," Concise Encyclopedia of Modeling and Simulation, Pergamon Press, pp. 328-333, 1992.

M. Silva and T. Murata, "B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems", Journal of Computer and Systems Sciences. Vol. 44, No. 3, June 1992

T. Murata and K. Tsuji, "Analysis of Concurrent Programs by Petri Nets" (in Japanese), Journal of Information Processing Society of Japan, Vol. 34, No.6, June 1993.

E. R. Boer and T. Murata, " Generating Basis Siphons and Traps of Petri Nets Usi ng the Sign Incidence Matrix," IEEE Transactions on Circuits and Systems, pp.26 6 - 271, Vol. 41, No.4, April 1994

M. Notomi and T. Murata, "Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis," IEEE Transactions on Software Engineering, pp .325 -336, Vol. 20, No.5, May 1994

G. S. Lee and T. Murata, "A Beta-Distributed Stochastic Petri-Net Model for Soft ware Project Time/Cost Management," J. of Systems and Software, Vol. 26, pp. 14 9 - 165, 1994

C. Lin and T. Murata, "A Petri Net Model for Inference in Non-Monotonic Logic," Institute of Electronics, Information and Communication Engineering ECE Trans. o n Fundamentals of Electronics, Communications, and Computer Science., Vol. E77-A , No. 10, pp. 1577 - 1587, October 1994

J. Yim, P.C. Nelson and T. Murata, "Predicate-Transition Net Reachability Testin g Using Heuristic Search," Transactions of the Institute of Electrical Engineers o f Japan, Publication of Electronics, Information and Systems Society, Vol. 114-C , No.9, pp.907-913, 1994

T. Murata and M. Silva, "Petri-Net Based Fairness Concepts for Discrete Event Systems," Progress in Systems and Control Theory 3, Realization and Modeling in System Theory, pp.549-557, Birkhauser, Boston MA, 1990.

T. Murata and H. Yamaguchi, "A Petri Net Model with Negative Tokens and Application to Automated Reasoning," Procs. of the 33rd Midwest Symposium on Circuits and Systems, pp. 762-765, IEEE Service Center, Piscataway, NJ , August, 1990.

T. Murata, V.S. Subrahmanian and T. Wakayama, "A High-Level Petri Net Model for Reasoning in the Presence of Inconsistency", in Procs. of the 11th International Conf. on Applications and Theory of Petri Nets, Paris, France, June 1990, pp.431-450.

Selected Publications in 1985-89

J. L. Johnson and T. Murata, "Structure Matrices for Petri Nets and Their Applic ations", Journal of the Franklin Institute, Vol. 319, No. 3, pp. 299-309, March 1985.

T. Smigelski, T. Murata, and M. Sowa, "A Timed Petri Net Model and Simulation of a Dataflow Computer", Procs. of the 1985 International Workshop on Timed Petri Nets, Italy, pp. 56-63, IEEE Catalog No. 85 Ch 2187-3.

T. Murata and Z. Wu, "Fair Relation and Modified Synchronic Distances in a Petri Net," J. of the Franklin Institute, Vol. 320, No. 2, pp. 63-82, August 1985.

T. Murata and D. Zhang, "A High-level Petri Net Model for Parallel Interpretation of Logic Programs," Procs. of the 1986 IEEE Comp. So. International Conference on Computer Languages, Miami, FL, Oct. 1986, pp. 123-135, IEEE Catalog NO. 86 CH. 2346-5.

M. Lu, D. Zhang and T. Murata, "Stochastic Net Model for Self-Stability Measures of Fault-Tolerant Clock Synchronization", Procs. of the International Workshop on Petri Nets and Performance Models, IEEE Computer So. Press, 1987, pp. 104-110, IEEE Catalog No. 87 THO 815-9.

M. Silva and T. Murata, "On Synchronic-Distance and B-Fair Relations for Petri Nets," Proceedings of the 25th Annual Allerton Conference on Communication, Control and Computing, Oct. 1987, Vol.1, pp.270-278.

T. Murata and K. Matsuyama, "Inconsistency Check of a Set of Clauses Using Petri Net Reductions", Journal of the Franklin Institute, Vol.325, No.1, pp.73-93, 19 88

T. Murata and Du Zhang, "A Predicate-Transition Net Model for Parallel Interpret ation of Logic Programs", IEEE Trans. on Software Engineering, Vol. 14, No.4, pp . 481-497, April 1988

D. Leu, M. Silva, J. M. Colm, and T. Murata, "Interrelationships Among Various Concepts of Fairness for Petri Nets," Procs. of the 31st Midwest Symp. on Circuits and Systems, U. of Missouri-Rolla, August, 1988, pp.1141-1144..

T. Murata, B. Shenker, and S.M. Shatz, "Detection of Ada Static Deadlocks using Petri Net Invariants," IEEE Trans. on Software Engineering, Special Issue on Ada and Applications, Vol.15, no.3, pp.314-326, March 1989.

T. Murata, "Petri Nets: Properties, Analysis and Applications," an invited surve y paper, Proceedings of the IEEE, Vol.77, No.4 pp.541-580, April, 1989. 2.9Mb.pdf.gz , Errata.pdf

G. Peterka and T. Murata, "Proof Procedure and Answer Extraction in Petri-Net M odel of Logic Programs", IEEE Trans. on Software Engineering, Vol. 15, No. 2, Fe b. 1989, pp.209-217. 612kb.pdf

M. Lu, D. Zhang, and T. Murata "A Design Approach for Self-Stabilization of Faul t Tolerant Clock Synchronization," IEEE Trans. on Computers, Vol.38, No.9 , pp.1 337-1341, Sept. 1989

T. Murata and M. Silva, "Fair Control of Discrete Event Systems Via Petri Nets," Procs. of the 1989 Int. Symp. on the Mathematical Theory of Networks and Systems (MTNS'89), June 19-23, 1989, Amsterdam, The Netherlands.

T. Murata, "Petri Nets", in Systems & Control Encyclopedia, Theory, Technology, Applications, Pergamon Press, pp.3665-3670, 1989.

Selected Publications in 1980-84

T. Murata and J. Y. Koh, "Reduction and Expansion of Live and Safe Marked Graph s", IEEE Trans. on Circuits and Systems, Vol. CAS-27, No. 1, pp. 68-70, January 1980.

T. Murata, "Relevance of Network Theory to Models of Distributed/ Parallel Proce ssing", J. of the Franklin Institute, Vol. 310, No. 1, pp. 41-50, 1980.

T. Murata, "Synthesis of Decision-Free Concurrent Systems for Pre- scribed Resou rces and Performance", IEEE Trans. on Software Engineering, Vol. SE-6 No. 6, Nov ember 1980, pp. 525-530.

R. Johnsonbaugh and T. Murata, "Additional Methods for Reduction and Expansion of Marked Graphs", IEEE Trans. on Circuits and Systems, Vol. CAS-28, No. 10, Oc t. 1981, pp. 1009-1014.

R. Johnsonbaugh and T. Murata, "Petri Nets and Marked Graphs: Mathematical Mode ls of Concurrent Computations" American Mathematical Society Monthly, Vol. 89, No. 8, October 1982, pp. 552-566.

M. Sowa and T. Murata, "A Data Flow Computer Architecture with Token and Progra m Memories," IEEE Trans. on Computers, Vol. C-31, No. 9, September 1982, pp. 82 0-824.

I. Suzuki and T. Murata, "A Method for Stepwise Refinement and Abstraction of Pe tri nets", Journal of Computer and System Sciences, Vol. 27, No. 7, August 1983, pp. 51-76.

T. Murata, "Petri Nets and Their Applications: An Introduction," Chapter 20 in Management and Office Information Systems (S. K. Chang, editor), Plenum Press, New York, 1984, pp. 351-367.

T. Murata, Modeling and Analysis of Concurrent Systems", Chapter 3 in Handbook of Software Engineering, (C. R. Vick and C. V. Ramamoorthy, editors), Van Nos trand Reinhold Co., pp. 39-63, 1984.

Selected Publications in 1975-79

T. Murata, "State Equation, Controllability, and Maximal Matching of Petri Nets ," IEEE Transactions on Automatic Control, Vol. AC-22, No. 3, June 1977, pp. 41 2-416.

T. Murata, "Circuit Theoretic Analysis and Synthesis of Marked Graphs", IEEE Tr ansactions on Circuits and Systems, Vol. CAS-24, No. 7, July 1977.

T. Murata, "Petri Nets, Marked Graphs, and Circuit-System Theory-A Recent CAS A pplication," Circuits and Systems, Vol. 11, No. 3, June 1977, pp. 2-12.

T. Murata, R.W. Church, and A.T. Amin, "Matrix Equations for Petri Nets and Marked Graphs," Proceedings of the 9th Asilomar Conference on Circuits, Systems, and Computers, Pacific Grove, CA, November 1975, pp. 36-41, (invited paper).

A.T. Amin and T. Murata, "A Characterization of Live and Safe Markings of a Directed Graph", Proceedings of the 1976 Conference on Information Sciences and Systems, Johns Hopkins University, March/April 1976, pp. 295-299.