scholarly journals From formal specifications to ready-to-use software components: the concurrent object oriented Petri net approach

Author(s):  
S. Chachkov ◽  
D. Buchs
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.


2017 ◽  
Vol 36 (5) ◽  
pp. 1063-1087 ◽  
Author(s):  
Dmitriy Kharitonov ◽  
George Tarasov ◽  
Evgeniy Golenkov

Author(s):  
Anas Shatnawi ◽  
Hudhaifa Shatnawi ◽  
Mohamed Aymen Saied ◽  
Zakarea Al Shara ◽  
Houari Sahraoui ◽  
...  

2014 ◽  
Vol 886 ◽  
pp. 690-693
Author(s):  
Na Zhao ◽  
Jian Wang ◽  
Jin Guo You ◽  
Xian Guang Jia ◽  
Ying Ying Lyu ◽  
...  

The issue of software component subnet combination under EOOPN, a component evolutional mode based on extended object-oriented Petri net, was particularly focused on in this paper. Three types of combinations of EOOPN subnet, namely, place-fusion-based subnet combination, transition-fusion-based subnet combination and arc-adding-based subnet combination, were proposed. A formalized definition and detailed validity analysis of each combination were then presented by this paper.


1995 ◽  
Vol 06 (04) ◽  
pp. 481-488
Author(s):  
PAUL FUCHS

A common problem for small experiments is that the design of the data acquisition, the simulation of the experiment and the reconstruction and analysis of real data is broken up into several disjoint development phases. Software development is necessary in all phases, yet continuity and an overall design strategy is lacking. This leads to duplication of software components and interface problems from one phase to the next and prohibits the generation of code which is reusable over the lifetime of many experiments. We address this problem within an object-oriented paradigm.


Sign in / Sign up

Export Citation Format

Share Document