Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A
No. 10 ;
pp. 1317-1325
Type of Manuscript:
INVITED PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: Keyword: petri nets, state transition didgram, data flow diagram, algebraic specification, temporal logic, object-oriented analysis and design, CASE, |