DocumentCode
1933407
Title
Using of Petri nets techniques in information systems design
Author
Korotikov, Sergey V.
Author_Institution
Novosibirsk State Tech. Univ., Russia
fYear
2003
fDate
1-4 July 2003
Firstpage
171
Lastpage
175
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electron Devices and Materials, 2003. Proceedings. 4th Annual 2003 Siberian Russian Workshop on
Print_ISBN
5-7782-0412-4
Type
conf
DOI
10.1109/SREDM.2003.1224218
Filename
1224218
Link To Document