scholarly journals A Petri Net Based Method for Refining Object Oriented System Specifications

2007 ◽  
Vol 187 ◽  
pp. 161-172 ◽  
Author(s):  
K.S. Cheung ◽  
K.O. Chow
1991 ◽  
Vol 10 (1) ◽  
pp. 51-68 ◽  
Author(s):  
Vijay Varadharajan ◽  
Stewart Black

1987 ◽  
Vol 16 (3) ◽  
pp. 299-310 ◽  
Author(s):  
Alfons Kemper ◽  
Peter C. Lockemann ◽  
Mechtild Wallrath

2011 ◽  
Vol 121-126 ◽  
pp. 4350-4356
Author(s):  
Yan Pei Liu ◽  
Jun Hui Fu ◽  
Hong Yu Feng

With the larger and more complex of the size and function of software products,choosing an efficient modeling technique for analyzing complicated and ever-changing system plays a vital role.Object-Oriented Petri nets for its unique characteristics which are simple and laconic modeling method and strong mathematical analysis capacity becomes a hot research.In this paper,it explain that the object-oriented technology how to combine with Petri nets.The typical Object-Oriented Petri net modeling steps and analysis methods are expounded. Up-to-date research about OOPN and its main improved models OOCPN, OOAPN and OOTPN are summarized, the pros and cons of each modeling are analyzed.The interrelated topics and the future development about OOPN are also mentioned.


2016 ◽  
Vol 12 (02) ◽  
pp. 25
Author(s):  
Xinhua Chen ◽  
Ya-ni Sun

This paper first briefly introduces the Petri net, and then studied in detail according to the selected object-oriented Petri net modeling method. This paper improve the object-oriented Petri net modeling method, and study the modeling and operation steps in details. Finally this paper build a computer network TCP/IP protocol model based on the object oriented Petri net. The model prove to be a good simulation to the computer network and the improved modeling method is also a valid method for further object oriented Petri net modeling.


2012 ◽  
Vol 6 ◽  
pp. 420-427 ◽  
Author(s):  
Yeresime Suresh ◽  
Jayadeep Pati ◽  
Santanu Ku Rath

Sign in / Sign up

Export Citation Format

Share Document