A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Towards a Meta-Modeling and Verification Approach of Multi-Agent Systems Based on the Agent Petri Net Formalism
2019
International Journal of Information Technology and Computer Science
Preserved Fulltext
The Agent Petri Nets (APN) formalism provides a set of adapted and specific tools, relations and functions for modeling multi-agent systems (MAS). ...
However, there is a lack of tools for verifying the APN models. In order to fill some of these gaps, we propose in this paper, a meta-modeling approach based on the Model Driven Architecture (MDA). ...
For its part, Renew (Reference Net workshop) [30] is a platform that allows to develop and model the systems described in Reference nets (Object Petri Nets). ...
doi:10.5815/ijitcs.2019.06.06
fatcat:7ndh5r7y4rhstjiezldvey6ngm
Pervasive Service Creation using a Model Driven Petri Net Based Approach
2008
2008 International Wireless Communications and Mobile Computing Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
To achieve this, our approach integrates model-driven architecture (MDA) with Petri Nets (PN). ...
Concluding the methodology is applied in practice for the creation of a Flight Itinerary booking service. ...
ACKNOWLEDGEMENT The work presented in this paper is partly supported by British Telecom under the MOSE project and the UK Engineering and Physical Sciences Research Council (EPSRC) under project PANDA. ...
doi:10.1109/iwcmc.2008.54
fatcat:uzutqtwnb5c5bm6saet4zjjfjq
A Framework for Dynamic Validation of Context-Aware Applications
2012
2012 IEEE 15th International Conference on Computational Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This paper proposes a framework that combines the Model Driven Engineering paradigm with the Petri Nets formalism to support the development of context-aware applications. ...
In contrast to existing context modelling approaches, the focus is on dynamic validation of context-aware applications using Petri Nets. ...
In this work, a model-driven Petri Net based process and a development environment are defined that support the development of context-aware applications. ...
doi:10.1109/iccse.2012.79
dblp:conf/cse/AchilleosKP12
fatcat:o5eng4ad65fgtaluzgfnm3t6wi
Petri net ontology
2006
Knowledge-Based Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
However, such efforts do not provide a suitable description for using Petri nets on the Semantic Web. This paper uses the Petri net UML model as a starting point for implementing the ontology. ...
Resulting Petri net models are represented on the Semantic Web using XML-based ontology languages, RDF and OWL. ...
Petri net infrastructure for the Semantic Web (that uses ''PNML-based bus'' for model sharing): the Petri net ontology, current Petri net tools, P3 tool, Web-based applications, Petri net Web Service, ...
doi:10.1016/j.knosys.2005.12.003
fatcat:gdff5cogifedzcvg5dsxlezl7i
Modeling Organizational Structures and Agent Knowledge for Mulan Applications
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In particular, we combine ontology modeling and organization structure modeling in a way that we can easily generate the initial content of agent knowledge bases in the form of FIPA semantic language ( ...
We pursue a model-driven approach and a tight integration between various models on the one hand and between the models and the generated code on the other hand. ...
All our Paose tools are realized as plugins for the highlevel Petri net tool Renew (http://www.renew.de). 2 They extend Renew with modeling techniques that are not based on Petri nets. ...
doi:10.1007/978-3-662-45730-6_4
fatcat:k3hudyhigrgzzlivf7w7rrku6i
Petri nets on the semantic web guidelines and infrastructure
2004
Computer Science and Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper gives the Petri net ontology as the most important element in providing Petri net support for the Semantic Web. ...
In order to show current Petri net model sharing features we use P3 tool that uses PNML/XSLT-based approach for model sharing. ...
Introduction The main idea of this paper is to provide suitable way for Petri nets [1] to be used on the Semantic Web. That means, full semantic interoperability of Petri net models. ...
doi:10.2298/csis0402127g
fatcat:3azqadvee5aoljsbjpvcukap7u
Simulation Based Design of Control Systems Using DEVS and Petri Nets
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The approach is based on techniques such as incremental development in the simulation, reality-in-the-loop simulation, and model-continuity. ...
The paper introduces an approach to the system design called Simulation Based Design which uses fromalisms of DEVS (Discrete-Event Systems Specification) and Object Oriented Petri Nets (OOPN) allowing ...
This work was supported by the Czech Grant Agency under the contracts GA102/07/0322, GP102/07/P306, and Ministry of Education, Youth and Sports under the contract MSM 0021630528. ...
doi:10.1007/978-3-642-04772-5_109
fatcat:p6wka24m4baltgmrnhpulzv3ui
A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems
2018
2018 IEEE 16th International Conference on Industrial Informatics (INDIN)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
based on graphical formalism combining Petri nets and dataflows. ...
Development of the proposed protocol started on the IOPT-Tools framework, but the current version was implemented as part of the IOPT-Flow framework, aiming the development of distributed CPS applications ...
ACKNOWLEDGMENT This work was partially financed by Portuguese Agency FCT -Fundação para a Ciência e Tecnologia, in the framework of project UID/EEA/00066/2013 ...
doi:10.1109/indin.2018.8472084
dblp:conf/indin/Pereira018
fatcat:wo53dsolizamliqoun5ldapmra
Metamodelling with Datalog and Classes: ConceptBase at the Age of 21
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Originally developed in the context of model-driven database design in the late 1980's, ConceptBase has been used in several thousand installations all over the world for numerous applications in areas ...
A distinguishing feature of the Telos language underlying ConceptBase is the ability to manage rules and constraints across multiple levels of instantiation in so-called meta formulas, thus offering uniform ...
the execution semantics of Petri nets. ...
doi:10.1007/978-3-642-14681-7_6
fatcat:n33me2mmxrbilh44a7qtbzz2hi
A Semantic Ontology-Based Approach to Support Model-Based Systems Engineering Design for an Aircraft Prognostic Health Management System
2022
Frontiers in Manufacturing Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Based on the developed meta-model library, a complete MBSE design process for the aircraft PHM system is realized. ...
Finally, an ontology based on semantic modeling is developed to describe the MBSE entities and to support MBSE design. ...
A property is a binary relationship between
SEMANTIC MODEL-BASED SYSTEMS ENGINEERING FOR PHM DEVELOPMENT 3.1 Semantic Modeling Framework for PHM Development The semantic modeling framework based on KARMA ...
doi:10.3389/fmtec.2022.886518
fatcat:dbqw7awm4fcvnnobkopq6274v4
Multi-agent Approach for Managing Workflows in an Inter-Cloud Environment
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
New modeling techniques and tools based on Petri net formalisms are provided. ...
This dissertation contributes at different stages to enhance the development of Cloudbased applications with an emphasis on processes. Several contributions provided here concerns the modeling phase. ...
Using high-level Petri nets for the operational semantics a plug-in is provided to generate reference net models directly from the AIPs. ...
doi:10.1007/978-3-319-06859-6_48
fatcat:bhimsecfh5fgxgmoff4iaaakt4
Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS
2021
Computing and informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The verification approach used in this work is based on model checking techniques. ...
Given the importance of business processes, the modeling analysis and validation stage for BPMN is essential. ...
At the beginning, we defined a meta-model for the BPMN collaboration diagram; we have also developed an editor to construct collaboration diagrams based on the defined meta-model. ...
doi:10.31577/cai_2021_5_1080
fatcat:u4wxfryoubbg5p3xf56beoax2y
Business process modeling languages
2010
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Requirements capture is arguably the most important step of software engineering and yet the most difficult and the least ...
Petri nets have been developed by Carl Adam Petri, in the context of his doctoral dissertation, in 1962. ...
The modeling framework was based on UML 1.4 and conformed to OMG's MDA development [OMG,2002] . ...
doi:10.1145/1824795.1824799
fatcat:wjaaltekrffnbhd3wloafppxde
Adaptive exception handling for scientific workflows
2009
Concurrency and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
two exception handling patterns which are exclusively based on the Reference Nets-within-Nets formalism (a specific type of Petri nets). ...
We propose an exception handling mechanism, based on techniques adopted in programming languages, for modifying at run-time the structure of a workflow. ...
For instance, some middleware frameworks provide meta-scheduler services that, in case of resource failure, can retry the job (in the same or an alternative resource). ...
doi:10.1002/cpe.1487
fatcat:5mrcc7jbcbhpraqdqxdywiy5qe
A meta-model for software protections and reverse engineering attacks
2019
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The presented meta-model is validated against existing models and taxonomies in the domain of software protection, and by means of prototype tools that we developed to help non-modelling-expert software ...
There also exist formal models such as attack graphs [5] and Petri Nets to model concrete attack paths on concrete assets [6, 7] . ...
To design the attack models we used ePNK, an Eclipse-based tool 16 which provides a Java-based extensible open source platform for PN modelling, based on EMF and Graphical Modeling Framework (GMF) 17 ...
doi:10.1016/j.jss.2018.12.025
fatcat:4v5vctri6re5ha7mtjdpzj3xoa
« Previous
Showing results 1 — 15 out of 271 results