Tadao Murata

Available identifiers

zbMath Open murata.tadaoMaRDI QIDQ1052099

List of research outcomes

Publication	Date of Publication	Type
Temporal uncertainty and fuzzy-timing high-level Petri nets	2019-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4250957	1999-08-19	Paper
Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis	1995-04-04	Paper
Proof procedure and answer extraction in Petri net model of logic programs	1989-01-01	Paper
A predicate-transition net model for parallel interpretation of logic programs	1988-01-01	Paper
Fair relation and modified synchronic distances in a Petri net	1985-01-01	Paper
A method for stepwise refinement and abstraction of Petri nets	1983-01-01	Paper
Petri Nets and Marked Graphs--Mathematical Models of Concurrent Computation	1982-01-01	Paper
Additional methods for reduction and expansion of marked graphs	1981-01-01	Paper
Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance	1980-01-01	Paper
Relevance of network theory to models of distributed/parallel processing	1980-01-01	Paper
State equation, controllability, and maximal matchings of petri nets	1977-01-01	Paper
Circuit theoretic analysis and synthesis of marked graphs	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138656	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4136584	1976-01-01	Paper

Research outcomes over time

This page was built for person: Tadao Murata