This paper presents a Hierarchical Object-Oriented Petri Net(HOOPN) modeling method based on Ontology that should not only enable sharing Petri nets models on the Semantic Web but also present a high level Petri net. Previous work on formal methods for representing Petri nets mainly focuses on modeling and analyzing aspects or formats for Petri net model interchange. However, such efforts do not provide a suitable model description for using Petri nets on the Semantic Web. This paper uses the HOOPN with the Ontology concepts as a starting point for implementing the Petri net ontology. Moreover this paper uses HOOPN as the Petri net model method. HOOPN supports a wide range of Object-Oriented features including abstract, encapsulated and mod...
This thesis describes modeling systems using Object Oriented Petri Nets (OOPN) and design of mechani...
: This paper seeks to present a more elegant and general definition of Object Petri Nets than previo...
Abstract: Unified Modeling Language (UML) is easier to understand and communicate using graphical no...
Fehling's hierarchical Petri nets are a net modelling framework based on refinement and abstraction ...
Petri net is a useful language to analyze and model various systems formally. Recently,many Petri n...
This paper presents a case study on the use of Object Petri Nets. The case study is that of a cooper...
ion Abstract: This paper seeks to establish within a formal framework how Coloured Petri Nets can b...
During the last few years there has been significant interest in combining the benefits of an object...
The article presents a method for constructing a model of an object-oriented program in terms of mul...
: This paper informally introduces Object Petri Nets (OPNs) with a number of examples and discusses ...
There have been significant recent developments in high level specification schemes for modelling in...
This thesis deals with the concept of the formalism of Petri nets, which allows to investigate the d...
This thesis concerns creating models using formalism of Object Oriented Petri Nets (OOPN). It conclu...
[[abstract]]This study proposed the Object-Based Petri Nets (OBPN) system development method for dev...
In this paper, the concepts of data encapsulation and data abstraction are applied to Petri nets. En...
This thesis describes modeling systems using Object Oriented Petri Nets (OOPN) and design of mechani...
: This paper seeks to present a more elegant and general definition of Object Petri Nets than previo...
Abstract: Unified Modeling Language (UML) is easier to understand and communicate using graphical no...
Fehling's hierarchical Petri nets are a net modelling framework based on refinement and abstraction ...
Petri net is a useful language to analyze and model various systems formally. Recently,many Petri n...
This paper presents a case study on the use of Object Petri Nets. The case study is that of a cooper...
ion Abstract: This paper seeks to establish within a formal framework how Coloured Petri Nets can b...
During the last few years there has been significant interest in combining the benefits of an object...
The article presents a method for constructing a model of an object-oriented program in terms of mul...
: This paper informally introduces Object Petri Nets (OPNs) with a number of examples and discusses ...
There have been significant recent developments in high level specification schemes for modelling in...
This thesis deals with the concept of the formalism of Petri nets, which allows to investigate the d...
This thesis concerns creating models using formalism of Object Oriented Petri Nets (OOPN). It conclu...
[[abstract]]This study proposed the Object-Based Petri Nets (OBPN) system development method for dev...
In this paper, the concepts of data encapsulation and data abstraction are applied to Petri nets. En...
This thesis describes modeling systems using Object Oriented Petri Nets (OOPN) and design of mechani...
: This paper seeks to present a more elegant and general definition of Object Petri Nets than previo...
Abstract: Unified Modeling Language (UML) is easier to understand and communicate using graphical no...