2,357 Hits in 5.8 sec

To a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification [chapter]

Belhassen Mazigh, Ahmed Hammed, Vincent Hilaire
2012 Lecture Notes in Computer Science  
The objective of this work consists in proposing a specification, modeling and structural analysis approach of error recovery production systems using holonic multi-agent systems and Object Petri Nets  ...  In this domain, error recovery in production systems is always an open problem.  ...  Our research aims to propose a holonic multi-agent based approach from the specification using ASPECS [1] until the formal modeling and structural check using object Petri nets of error recovery system  ... 
doi:10.1007/978-3-642-30947-2_41 fatcat:zghp3a3sq5cl5g3hbmsy7z7nem

Verification of software via integration of design and implementation

A.S. Miner, S. Basu
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
Model checking is usually applied at the design phase to verify that preliminary high-level design specifications conform to their requirements.  ...  Source code analysis, on the other hand, is used to check for correctness of implementation once it is realized from the design specifications.  ...  To aid in discussion, in Section 2.1.1 we briefly review one such type of high-level formalism, namely Petri nets, which are one of the well-accepted modeling formalisms that satisfy the above requirement  ... 
doi:10.1109/ipdps.2006.1639581 dblp:conf/ipps/MinerB06 fatcat:mzk52ngdsbdjvowub77345gfm4

A Framework for Developing Cyber Physical Systems

Xudong He, Zhijiang Dong, Heng Yin, Yujian Fu
2017 Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering  
An agent-oriented approach is used to model individual physical and computation processes using high level Petri nets, and an aspect-oriented approach is used to integrate individual models.  ...  The Petri net models are systematically mapped to classes and threads in Java, which are enhanced and extended with domain specific functionalities.  ...  Thus high level Petri nets are an excellent formal method for modeling essential features of CPSs.  ... 
doi:10.18293/seke2017-095 dblp:conf/seke/HeDYF17 fatcat:wgtqept25fevzm7gf7bddop37e

A Study of Tools Used in Implement Agent Oriented Software Engineering

Aanchal Bawa, Varinder Kaur Attri
2015 International Journal of Innovative Research in Computer and Communication Engineering  
So this paper review on a tool named Petri net which is used to represent formal behavior of agents in more concise way so that their timing, their communication and working can been seen more clearly.  ...  Agent oriented software engineering is a field which deals with agents and multi agents.  ...  Vijay Gehlot, Carmen Nigro(2010) [18] The paper describes the Colored Petri net, it's origin with classical petri net and how classical petri net combines with high level petri net so as to have colored  ... 
doi:10.15680/ijircce.2015.0305040 fatcat:qz7aifcnxrbbpku564qbojfhfi

COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, Dominique Blouin, Etienne Borde, Didier Buchs, Holger Giese, Miguel Goulao, Mauro Iacono, Florin Leon (+3 others)
2019 Zenodo  
It consists of a catalog of formalisms, modelling languages and tools for cyberphysical systems development.  ...  Deliverable WG1.1 of working group 1 on foundations for multi-paradigm modeling for cyber-physical systems.  ...  Tokens are drawn as black dots for Place-Transition nets, high level Petri nets might use other encoding for tokens of different types.  ... 
doi:10.5281/zenodo.2538711 fatcat:itthyvenhfhmdn3f3jap7yf42y

Petri Net Plans

V. A. Ziparo, L. Iocchi, Pedro U. Lima, D. Nardi, P. F. Palamara
2010 Autonomous Agents and Multi-Agent Systems  
The Petri Net Plan (PNP) formalism allows for high level description of complex action interactions that are necessary in programming cognitive robots: non-instantaneous actions, sensing and conditional  ...  In this paper we present a novel representation framework based on Petri Nets for describing robot and multi-robot behaviors.  ...  In this paper we present a framework based on Petri nets that has been used for describing high level robot and multi-robot behaviors.  ... 
doi:10.1007/s10458-010-9146-1 fatcat:wc4psc266zfrhn6niq73bf4n6u

Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism

Laid Kahloul, Allaoua Chaoui, Karim Djouani
2015 International Journal of Computers Communications & Control  
The second aim is to prove that even these behaviours are so complex; they can be translated into other low level models (as Coloured Petri Nets [21]) and so be analysed.  ...  In its basic version, Petri Nets are defined as fixed graphs, where the behaviour of the system is modelled as the marking of the graph which changes over time.  ...  This translation can be used to analyse Petri nets using Prolog model-checker. Authors of [20] encoded Synchronous mobile nets (SMN) [15] into rewriting logic [22] .  ... 
doi:10.15837/ijccc.2015.2.118 fatcat:vbqlp57rhreergtxkvhxicskia

A High-Level Petri Net Framework for Genetic Regulatory Networks

Richard Banks, L. Jason Steggles
2007 Journal of Integrative Bioinformatics  
We present a flexible formal framework for modelling and analysing multi-valued genetic regulatory networks using high-level Petri nets and logic minimization techniques.  ...  Multi-valued networks are a promising qualitative approach for modelling such genetic regulatory networks, however, at present they have limited formal analysis techniques and tools.  ...  Khomenko and the anonymous referees for useful comments on this work. We thank the EPSRC for supporting R. Banks, the BBSRC for support via CISBAN, and the Newcastle Systems Biology Resource Centre.  ... 
doi:10.1515/jib-2007-60 fatcat:iqjeicdc5jam3o5fedkyzi7tne

On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets

Susann Gottmann, Nico Nachtigall, Kathrin Hoffmann
2012 Electronic Communications of the EASST  
Moreover components can join and leave the system at any time.In order to guarantee high quality systems, the use of models is inevitable especiallyat an early stage of the development process where models  ...  Petri nets and graph transformationsystems are established, theoretically well-founded concepts for modellingand analysing complex systems.This paper presents a formal approach for modelling core aspects  ...  For creating a model of the communication in UCS as in the Living Place Hamburg, we decided to use Algebraic High Level Nets with Individual Tokens (AHLI nets) [MGE + 10], a special type of extended Petri  ... 
doi:10.14279/tuj.eceasst.51.778 dblp:journals/eceasst/GottmannNH12 fatcat:uiwhny5xirekfn7qz6xdwiehui

Analyzing conformance to clinical protocols involving advanced synchronizations

Hui Yan, Pieter Van Gorp, Uzay Kaymak, Xudong Lu, Richard Vdovjak, Hendriks H. M. Korsten, Huilong Duan
2013 2013 IEEE International Conference on Bioinformatics and Biomedicine  
By using BPMN to document protocols we enable the concise specification of protocols that involve multiple stakeholders that operate in parallel and under uncertainty.  ...  While this specification style was becoming increasingly popular in the literature and practice of hospital management and operations management in general, corresponding conformance analysis techniques  ...  Example of Advanced Synchronization General Synchronizing Merge cannot be represented by classic Petri nets [12] but it is useful in the clinical domain.  ... 
doi:10.1109/bibm.2013.6732601 dblp:conf/bibm/YanGKLVKD13 fatcat:u7iqsqtfurhutmwvk3omaihqsa

Simulation, Model Checking, and Execution of Activity Models [article]

Abdurrahman Alshareef, Hessam S. Sarjoughian
2021 arXiv   pre-print
We use DEVS to arrive at the capability of validating simulations for activity models. We use Constrained-DEVS for the verification of activity models.  ...  This paper presents our findings for using activity modeling for simulation (validation), model checking (verification), and execution purposes.  ...  [14] or high-level Petri nets.  ... 
arXiv:2105.11851v1 fatcat:6g2zyc4olne3ncysxxkvcnpaha

Asynchronous Design—Part 2: Systems and Methodologies

Steven M. Nowick, Montek Singh
2015 IEEE design & test  
Part 2 focuses on methodologies for designing asynchronous systems, including basics of hazards, synthesis and optimization methods for both logic-level and high-level synthesis, and the development of  ...  specification languages and CAD tool flows.  ...  Acknowledgment The authors appreciate the funding support of the National Science Foundation under Grants CCF-1219013, CCF-0964606, and OCI-1127361.  ... 
doi:10.1109/mdat.2015.2413757 fatcat:bpxnljdkofh6ppyovk6sp4pknm

Supporting user-oriented analysis for multi-view domain-specific visual languages

Esther Guerra, Juan de Lara, Alessio Malizia, Paloma Díaz
2009 Information and Software Technology  
For this purpose, a common approach is to transform the system models into formal semantic domains for verification.  ...  In this paper we present a case study for the analysis of a notation in the area of Digital Libraries, where the analysis is performed by transformations into Petri nets and a process algebra.  ...  Work supported by the Spanish Ministry of Education and Science, projects MOSAIC (TSI2005-08225-C07-06) and MODUWEB (TIN2006-09678). We thank the referees for their useful comments.  ... 
doi:10.1016/j.infsof.2008.09.005 fatcat:m2bv7yhw3nfollqqtvluj6bihe

Model-based development of dynamically adaptive software

Ji Zhang, Betty H. C. Cheng
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
This paper introduces an approach to create formal models for the behavior of adaptive programs.  ...  Our approach separates the adaptation behavior and nonadaptive behavior specifications of adaptive programs, making the models easier to specify and more amenable to automated analysis and visual inspection  ...  This work has been supported in part by NSF grants EIA-0000433, EIA-0130724, ITR-0313142, and CCR-9901017, and the Department of the Navy, Office of Naval Research under Grant No. N00014-01-1-0744.  ... 
doi:10.1145/1134285.1134337 dblp:conf/icse/ZhangC06 fatcat:thysmd2cyzdolkrivabew3xc6y

A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models [chapter]

Laura Carnevali, Lorenzo Ridi, Enrico Vicario
2011 Lecture Notes in Computer Science  
Sirio is a framework for simulation and analysis of various timed extensions of Petri Nets, supporting correctness verification and quantitative evaluation of timed concurrent systems.  ...  Formal methods supporting development of safety-critical systems require tools that can be integrated within composed environments.  ...  The ever increasing variety of modeling formalisms and solution techniques gives relevance to integration frameworks and reusable components that can support multi-formalism modeling and multi-solution  ... 
doi:10.1007/978-3-642-24270-0_30 fatcat:uffiwa43zzb3ljn4gfgffm64ne
« Previous Showing results 1 — 15 out of 2,357 results