Travelled to:1 × Italy
3 × USA
Collaborated with:J.Jeffrey J.Yim V.P.Sliva S.M.Shatz T.Shimura J.Lobo
Talks about:net (4) petri (3) method (2) protocol (1) communic (1) program (1) control (1) system (1) subset (1) semant (1)
Person: Tadao Murata
DBLP: Murata:Tadao
Contributed to:
1996199219901989Wrote 4 papers:
- SEKE-1996-SlivaMS #communication #protocol
- A Method for Applying G-Nets To Communication Protocols (VPS, TM, SMS), pp. 145–152.
- SEKE-1992-ShimuraLM #logic programming #petri net #semantics #source code
- A Petri Net Semantics for Logic Programs with Negation (TS, JL, TM), pp. 292–299.
- SEKE-1990-JeffreyM #petri net #set
- A High-Level Petri Net for a Subset of FGHC (JJ, TM), pp. 260–266.
- SEKE-1989-MurataY #petri net #realtime #rule-based
- Petri Net Method for Real-Time Control of Rule-Based Systems (TM, JY), pp. 122–127.