By Topic

A derivation of system specifications based on a partial logical Petri net

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Togashi, A. ; Res. Inst. of Electr. Commun., Tohoku Univ., Sendai, Japan ; Usui, N. ; Song, K. ; Shiratori, N.

There has been an effort towards developing a specification language for describing processes. To this end, Formal Description Techniques (FDTs) have been proposed. FDTs in general fare well in describing a target system unambiguously, precisely, and completely. However, the drawback of these FDTs are that they are generally not user-friendly (easy to read) and are difficult to write. These drawbacks could be overcome by a new technique of automatic synthesis of formal specifications from user requirements. A state transition system is an underling structure for formal description techniques and used as a formal specification itself. In this paper, we propose an automatic transformation from user requirements into formal specification represented as state transition systems and its connection with partial logical Petri nets

Published in:

Circuits and Systems, 1995. ISCAS '95., 1995 IEEE International Symposium on  (Volume:1 )

Date of Conference:

30 Apr-3 May 1995