Keyword : Petri Net


Verification and Refinement for System Requirements
Kukhwan SONG Atushi TOGASHI Norio SHIRATORI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1468-1478
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
system requirementformal specificationstate transitionPetri Netverificationrefinement
 Summary | Full Text:PDF