Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Towards an understanding of model executability
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Simulation of Queueing Networks in PetriSim
Proceedings of the 16th European Simulation Multiconference on Modelling and Simulation 2002
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Ontology-Based Test Case Generation for Testing Web Services
ISADS '07 Proceedings of the Eighth International Symposium on Autonomous Decentralized Systems
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net
SYNASC '07 Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
New Solvers for Asymmetric Systems in GreatSPN
QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
Integrated Knowledge-based System for Product Design in Furniture Estimate
Proceedings of the 2006 conference on Integrated Intelligent Systems for Engineering Design
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1
High level petri nets analysis with helena
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Petri net-based engine for adaptive learning
Expert Systems with Applications: An International Journal
A Petri net model for changing units of learning in runtime
Knowledge-Based Systems
Hi-index | 12.05 |
In this paper, OPENET, an engine for the execution of high-level Petri nets (HLPNs) is presented. OPENET is based on an ontology that represents the knowledge of the ISO/IEC 15909-1 standard and, respectively, describes semantically and declaratively both the static structure and the dynamic behavior of HLPNs. Thus the ontology is composed of (i) a taxonomy that describes the main components of a net, capturing the vocabulary and semantics specified in the standard; and (ii) a set of axioms and rules that constrain how the instances of the taxonomy are created, restricting the range and domain of the relations, and the values of the attributes. These axioms guarantee that a HLPN is correctly constructed, and restrict how it should be executed; and (iii) a set of rules which contain the knowledge needed to execute HLPNs and thus infer new instances of the concepts that describe the dynamic model of the HLPN. The OPENET engine has been implemented in F-Logic with the FLORA-2 reasoner, and is being used in several domains: the execution of courses in E-learning, the modeling and execution of workflows in Industry, and the execution of web service choreographies.