Shatz, S.M.

• Yao, Shuzhen; Shatz, Sol M.:
  Consistency Checking of UML Dynamic Models Based on Petri Net Techniques. 2006.

• Hu, Zhaoxia; Shatz, Sol M.:
  Explicit modeling of semantics associated with composite states in UML statecharts. 2006.

• Saldhana, J.; Shatz, Sol M.:
  UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis. 2000.

• Gedela, Ravi K.; Shatz, Sol M.; Xu, Haiping:
  Formal modeling of synchronization methods for concurrent objects in Ada 95. 1999.

• Gedela, R.; Shatz, Sol M.; Xu, H.:
  Compositional Petri Net Models of Advanced Tasking in Ada-95. 1999.

• Sliva, V.; Murata, T.; Shatz, Sol. M.:
  Protocol Specification Design Using an Object-Based Petri Net Formalism. 1999.

• Khetarpal, A.; Shatz, Sol M.; Tu, S.:
  Applying an Object-Based Petri Net to the Modeling of Communication Primitives for Distributed Software. 1998.

• Newman, A.; Shatz, Sol M.; Xie, X.:
  An Approach to Object System Modeling by State-Based Object Petri Nets. 1998.

• Gedela, R.K.; Shatz, S.M.:
  Modeling of advanced tasking in Ada-95: a Petri net perspective. 1997.

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

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

• Duri, S.; Buy, U.; Devarapalli, R.; Shatz, S.M.:
  Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. 1994.

• Duri, S.; Buy, U.; Devarapalli, R.; Shatz, S.M.:
  Using State Space Methods for Deadlock Analysis in Ada Tasking. 1993.

• Black, C.; Shatz, S.M.; Upp, S.:
  TQL: A Tasking Query Language for Concurrent Program Analysis. 1992.

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

• Shatz, S.M.:
  Automated Visualization of Tasking Behavior for Ada Programs: A Petri Net Approach. 1991.

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

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

• Shatz, Sol M.; Mai, Khanh; Black, Christopher; Tu, Shengru:
  Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis. 1990.

• Shatz, S.M.; Kajka, P.S.; Chauhan, A.S.:
  Formal Modeling and Automated Analysis of the LAPD Protocol. 1990.

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

• Fong, F.W.; Shatz, S.M.:
  Derivation of Petri Net Models of Ada Tasking Constructs Involving Time. 1989.

• Shatz, S.M.; Mai, K.; Moorthi, D.; Woodward, J.:
  A Toolkit for Automated Support of Ada Tasking Analysis. 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; Shenker, B.; Shatz, S.M.:
  Detection of Ada Static Deadlocks Using Petri Net Invariants. 1989.

• Shatz, S.M.:
  Towards Complexity Metrics for Ada Tasking. 1988.

• Shatz, S.M.; Cheng, W.K.:
  A Petri Net Framework for Automated Static Analysis of Ada Tasking Behavior. 1988.

• Shatz, S.M.; Xie, D.:
  Petri Net Modeling and Analysis of the LAPD Protocol Standard: Methods and Results. 1987.

• Shatz, S.M.:
  On Complexity Metrics Oriented for Distributed Programs Using ADA Tasking. 1986.

• Shatz, S.M.; Cheng, W.K.:
  An Approach to Automated Static Analysis of Distributed Software. 1986.

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

• Shatz, S.M.:
  Module Level Communication Protocol Specifications of Applications Software for Distributed Computing Systems. 1985.

• Shatz, S.M.; Cheng, W.K.:
  Static Analysis of ADA Programs Using the Petri Net Model. 1985.

• Shatz, S.M.; Yau, S.S.:
  The Application of Petri Nets to the Representation of Communication in Distributed Software Systems. 1983.

• Yau, S.S.; Shatz, S.M.:
  On Communication in the Design of Software Components of Distributed Computer Systems. 1982.

Back to the Petri Nets Bibliography