Title :
Using of Petri nets techniques in information systems design
Author :
Korotikov, Sergey V.
Author_Institution :
Novosibirsk State Tech. Univ., Russia
Abstract :
Petri nets can be applied to areas as diverse as software architecture, distributed system design, protocol verification, etc. This paper is dedicated to Petri net techniques using in the information system design process. The specification and verification of an information system in Petri net notation and its abilities and issues are described. Software life-cycle and validation, prototyping, and code generation are described. The application domain is also given.
Keywords :
Petri nets; formal specification; information systems; program compilers; program verification; software development management; software prototyping; Petri net notation; code generation; information systems design; software engineering; software prototyping; specification; verification; Application software; Control systems; Information systems; Object oriented modeling; Petri nets; Protocols; Real time systems; Software architecture; Software prototyping; Unified modeling language;
Conference_Titel :
Electron Devices and Materials, 2003. Proceedings. 4th Annual 2003 Siberian Russian Workshop on
Print_ISBN :
5-7782-0412-4
DOI :
10.1109/SREDM.2003.1224218
