C. Xiong, T. Murata, and J. Leigh, "An Approach to Verifying Routing
Protocols in Mobile Ad Hoc Networks Using Petri Nets" Proceedings. of IEEE
6^{th} 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 3^{rd} 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.

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.

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.

**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.