Tadao Murata
Affiliations: | University of Illinois at Chicago, Chicago, IL, United States |
Area:
Computer ScienceGoogle:
"Tadao Murata"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Juan EYT, Tsai JJP, Murata T, et al. (2001) Reduction methods for real-time systems using Delay Time Petri Nets Ieee Transactions On Software Engineering. 27: 422-448 |
| Sliva VP, Murata T, Shatz SM. (1999) Protocol specification design using an object-based Petri net formalism International Journal of Software Engineering and Knowledge Engineering. 9: 97-125 |
| Huang JS, Murata T. (1998) A Constructive Method For Finding Legal Transition Sequences In Petri Nets Journal of Circuits, Systems, and Computers. 8: 189-222 |
| Shatz SM, Tu S, Murata T, et al. (1996) An application of Petri net reduction for Ada tasking deadlock analysis Ieee Transactions On Parallel and Distributed Systems. 7: 1307-1322 |
| Jeffrey J, Lobo J, Murata T. (1996) A high-level Petri net for goal-directed semantics of Horn clause logic Ieee Transactions On Knowledge and Data Engineering. 8: 241-259 |
| Shimura T, Lobo J, Murata T. (1995) An Extended Petri Net Model for Normal Logic Programs Ieee Transactions On Knowledge and Data Engineering. 7: 150-162 |
| Notomi M, Murata T. (1994) Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis Ieee Transactions On Software Engineering. 20: 325-336 |
| Murata T, Subrahmanian VS, Wakayama T. (1991) A Petri Net Model for Reasoning in the Presence of Inconsistency Ieee Transactions On Knowledge and Data Engineering. 3: 281-292 |
| Murata T, Bhatia RS, Shatz SM. (1991) Markov chain reduction and analysis of GSPN models for task allocation in distributed systems Microelectronics Reliability. 31: 727-746 |
| Suzuki T, Shatz SM, Murata T. (1990) A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets Ieee Transactions On Software Engineering. 16: 523-536 |