Tadao Murata

MaRDI QIDQ1052099zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Temporal uncertainty and fuzzy-timing high-level Petri nets Application and Theory of Petri Nets 1996	2019-05-02	Paper
scientific article; zbMATH DE number 1304243 (Why is no real title available?)	1999-08-19	Paper
Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis IEEE Transactions on Software Engineering	1995-04-04	Paper
Proof procedure and answer extraction in Petri net model of logic programs IEEE Transactions on Software Engineering	1989-01-01	Paper
A predicate-transition net model for parallel interpretation of logic programs IEEE Transactions on Software Engineering	1988-01-01	Paper
Fair relation and modified synchronic distances in a Petri net Journal of the Franklin Institute	1985-01-01	Paper
A method for stepwise refinement and abstraction of Petri nets Journal of Computer and System Sciences	1983-01-01	Paper
Petri Nets and Marked Graphs--Mathematical Models of Concurrent Computation The American Mathematical Monthly	1982-01-01	Paper
Additional methods for reduction and expansion of marked graphs IEEE Transactions on Circuits and Systems	1981-01-01	Paper
Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance IEEE Transactions on Software Engineering	1980-01-01	Paper
Relevance of network theory to models of distributed/parallel processing Journal of the Franklin Institute	1980-01-01	Paper
State equation, controllability, and maximal matchings of petri nets IEEE Transactions on Automatic Control	1977-01-01	Paper
Circuit theoretic analysis and synthesis of marked graphs IEEE Transactions on Circuits and Systems	1977-01-01	Paper
scientific article; zbMATH DE number 3566751 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3564353 (Why is no real title available?)	1976-01-01	Paper

Research outcomes over time

This page was built for person: Tadao Murata