Results 81 to 90 of about 145,352 (236)
Attacks and Defenses in Mobile IP: Modeling with Stochastic Game Petri\n Net [PDF]
, 2018 Sajedul Talukder +4 more
openalex +1 more source
This book is an augmented and revised English translation of the book "Redes de Petri" by Janette Cardoso and Robert Valette, Editora da UFSC, ISBN 85-328-0095-5. Part of this material has been used in graduate and undergraduate courses at ISAE-SUPAERO and INSA.It begins with a discussion about systems and their modeling.
Cardoso, Janette, Valette, Robert
openaire +2 more sources
Two Algebraic Process Semantics for Contextual Nets
, 2001 We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places.
A. Corradini +11 more
core +3 more sources
Transformation of Business Process Model and Notation models onto Petri nets and their analysis
Advances in Mechanical Engineering, 2018 Business Process Model and Notation is known as a widely used standard for business processes modeling. However, its main drawback is that it lacks formal semantics, leading to some undesirable properties, such as livelocks and deadlocks, such that it ...
Umair Mutarraf +4 more
doaj +1 more source
Business process verification: a Petri Net approach. [PDF]
In this report, we discuss the use of Petri Net language theory for business process modeling. Essentially, the focus is on the opportunities of the modeling technique for analysis and verification.
De Backer, Manu, Snoeck, Monique
core
Membrane Systems and Petri Net Synthesis
, 2012 Automated synthesis from behavioural specifications is an attractive and powerful way of constructing concurrent systems. Here we focus on the problem of synthesising a membrane system from a behavioural specification given in the form of a transition ...
Kleijn, Jetty +3 more
core +2 more sources
Petri net methodology for solving healthcare management issues
ITM Web of Conferences, 2018 Various approaches of Petri nets can be achieved as system security and information flow in the healthcare recording system inside any medical or health-related business.
Khushk Abdul Rauf, Li Xiaozhong
doaj +1 more source
Modelling, reduction and analysis of Markov automata (extended version) [PDF]
, 2013 Markov automata (MA) constitute an expressive continuous-time compositional modelling formalism. They appear as semantic backbones for engineering frameworks including dynamic fault trees, Generalised Stochastic Petri Nets, and AADL.
Guck, Dennis +4 more
core +2 more sources
Petri Games: Synthesis of Distributed Systems with Causal Memory
, 2014 We present a new multiplayer game model for the interaction and the flow of information in a distributed system. The players are tokens on a Petri net. As long as the players move in independent parts of the net, they do not know of each other; when they
Finkbeiner, Bernd +1 more
core +2 more sources
MONALISA for stochastic simulations of Petri net models of biochemical systems [PDF]
, 2015 Pavel Balazki +4 more
openalex +1 more source