Filters








3,651 Hits in 3.7 sec

Distributed Unfolding of Petri Nets [chapter]

Paolo Baldan, Stefan Haar, Barbara König
2006 Lecture Notes in Computer Science  
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the system, which are then  ...  The theory of interleaving structures is developed to prove correctness of the distributed unfolding algorithm. Partially supported by EC  ...  We are grateful to Andrea Corradini and Eric Fabre for fruitful discussions on preliminary versions of this work.  ... 
doi:10.1007/11690634_9 fatcat:44ngqshot5bx3jzvwho6wbkm2i

Distributed computation of vector clocks in Petri nets unfolding for test selection

Loïg Jezequel, Agnes Madalinski, Stefan Schwoon
2018 IFAC-PapersOnLine  
It has been shown that annotating Petri net unfoldings with time stamps allows for building distributed testers for distributed systems.  ...  However, the construction of the annotated unfolding of a distributed system currently remains a centralized task.  ...  Petri nets unfolding and test The unfolding of a Petri net pn is another, acyclic Petri net un(pn) that describes the complete behaviour of pn: all reachable markings and all partial orders of transition  ... 
doi:10.1016/j.ifacol.2018.06.287 fatcat:mijtqnbgybb4ldj3ydewmu7gum

Message Assertions and Predicate-Based Control-Flow Unfolding Revisited

Thomas S. Heinze, Wolfram Amme, Simon Moser
2014 Central-European Workshop on Services and their Composition  
In this paper, we will sketch how both approaches can be smoothly combined for the automated provisioning of precise low-level Petri net models of business processes.  ...  In our previous work, we considered, on the one hand, the predicate-based unfolding of a business process's conditional control flow and, on the other hand, the introduction of assertions for the contents  ...  Snippet of distributed business process (a) and its unfolding (b) Fig. 2 . 2 Fig. 2. Precise Petri net model, i.e., open workflow net, for snippet in Figure 1 b) N. Herzberg, M.  ... 
dblp:conf/zeus/HeinzeAM14 fatcat:qo7qwcaurrdt5cwc7onbhsiiii

Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs [chapter]

César Rodríguez, Stefan Schwoon
2013 Lecture Notes in Computer Science  
Cunf is a tool for building and analyzing unfoldings of Petri nets with read arcs.  ...  C-net unfoldings can be up to exponentially smaller than Petri net unfoldings, and recent work proposed algorithms for their construction and verification.  ...  Overview Petri nets are a model for concurrent, distributed systems.  ... 
doi:10.1007/978-3-319-02444-8_42 fatcat:5qfkwtbekjgjbp5krzqqc2m5fe

Petri Games: Synthesis of Distributed Systems with Causal Memory

Bernd Finkbeiner, Ernst-Rüdiger Olderog
2014 Electronic Proceedings in Theoretical Computer Science  
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 synchronize at a joint transition, each player gets informed of the causal history of the other player  ...  Lemma 4 . 2 ( 42 Distribution) Every unfolded global strategy for a concurrency-preserving Petri game is distributable.  ... 
doi:10.4204/eptcs.161.19 fatcat:ljq6a5frije47lnplu22afwrfi

Petri games: Synthesis of distributed systems with causal memory

Bernd Finkbeiner, Ernst-Rüdiger Olderog
2017 Information and Computation  
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 synchronize at a joint transition, each player gets informed of the causal history of the other player  ...  Lemma 4 . 2 ( 42 Distribution) Every unfolded global strategy for a concurrency-preserving Petri game is distributable.  ... 
doi:10.1016/j.ic.2016.07.006 fatcat:6il4eeyuw5d6po45khh7jt73rq

Diagnosis with Petri Net Unfoldings [chapter]

Stefan Haar, Eric Fabre
2013 Lecture notes in control and information sciences  
From a discrete event system perspective, such modular or distributed systems can be modeled in a similar manner, by first designing component models and then assembling them through an adequate composition  ...  One first notices the classical state space explosion phenomenon: the number of states in the global system is the product of the number of states of their components (here 2 × 2 × 3 = 12).  ...  Further Reading The central reference for asynchronous diagnosis with Petri nets is [10] ; for the extension to graph grammar models of systems with evolving topology see [7] .  ... 
doi:10.1007/978-1-4471-4276-8_15 fatcat:fbsgy5p6wzerzdnvkcuhjo33vq

Page 7285 of Mathematical Reviews Vol. , Issue 2004i [page]

2004 Mathematical Reviews  
Moreover, we propose a new notion of completeness of a truncated unfolding. A key aspect of our approach is an algorithm-independent notion of cut-off events, used to truncate a Petri net unfolding.  ...  Des. 20 (2002), no. 3, 285-310], and the parallel unfold- ing algorithm proposed in [K. Heljanko, V. Khomenko and M. Koutny, “Parallelization of the Petri Net Unfolding Algorithm”, Tech. Rep.  ... 

Diagnosis of asynchronous discrete event systems

Serge Abiteboul, Zoë Abrams, Stefan Haar, Tova Milo
2005 Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '05  
We illustrate the technique with an important telecommunication problem, the diagnosis of distributed telecom systems.  ...  We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a setting where autonomous and distributed peers share large volumes of interelated data.  ...  DISTRIBUTED DATALOG AND QSQ We will model Petri net unfoldings and alarm sequences using a distributed version of Datalog, that we call dDatalog, and optimize it with a distributed version of QSQ, that  ... 
doi:10.1145/1065167.1065214 dblp:conf/pods/AbiteboulAHM05 fatcat:efnixoqqqjff3kkli5wgwkh2ue

Markov nets: probabilistic models for distributed and concurrent systems

A. Benveniste, E. Fabre, S. Haar
2003 IEEE Transactions on Automatic Control  
Instead, we use only local states in combination with a partial order model of time. Our basic mathematical tool is that of Petri net unfoldings.  ...  In this paper, motivated by the monitoring of distributed systems and in particular of telecommunications networks, we develop a generalization of Markov chains and hidden Markov models (Hmm) for distributed  ...  Acknowledgement The authors wish to thank Samy Abbes for pointing out mistakes in a draft version of this article.  ... 
doi:10.1109/tac.2003.819076 fatcat:bmtcgmj2tbdhxbfwtthq4vbwiq

An algebra for branching processes

David Delfieu, Medesu Sogbohossou
2013 2013 International Conference on Control, Decision and Information Technologies (CoDIT)  
The unfolding process of Petri Nets produces a set of causal nets where nodes are conditions or events and arcs express relations of causality, conflict or concurrency called branching processes.  ...  We propose in this paper an algebra and reduction rules allowing to extract informations, relation on events and a canonic representation of branching processes.  ...  UNFOLDING A PETRI NET A.  ... 
doi:10.1109/codit.2013.6689616 fatcat:g4drzktmungu7iv4koqslyt2cq

Symbolic Diagnosis of Partially Observable Concurrent Systems [chapter]

Thomas Chatain, Claude Jard
2004 Lecture Notes in Computer Science  
In this paper we extend our first method based on Petri nets unfolding to high-level parameterized Petri nets, allowing the designer to model data aspects, even on infinite domains, and to parameter the  ...  Monitoring large distributed concurrent systems is a challenging task.  ...  nets to define the symbolic unfolding U Υ of a high-level Petri net system Υ.  ... 
doi:10.1007/978-3-540-30232-2_21 fatcat:qdo7jwqegfdkjacbs7nwihiqvu

Factorization Properties of Symbolic Unfoldings of Colored Petri Nets [chapter]

Thomas Chatain, Eric Fabre
2010 Lecture Notes in Computer Science  
We show that the symbolic unfolding of a product of colored Petri nets can be expressed as the product of the symbolic unfoldings of these nets.  ...  The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actions.  ...  The factorization property of unfoldings forms the basis of distributed processing methods for distributed systems (for example distributed diagnosis).  ... 
doi:10.1007/978-3-642-13675-7_11 fatcat:wz4dxe5u6zc6xhbsrijntmlvwu

Petri Nets With Persistence

Federico Crazzolara, Glynn Winskel
2005 Electronical Notes in Theoretical Computer Science  
This paper describes how to extend Petri nets, a traditional model of concurrent and distributed computations, to take account of conditions that are persistent.  ...  Conditions are given under which the unfolded net exhibits the same finite behaviours as the original net with persistence.  ...  A general Petri-net is the result of the unfolding, as is the case for the unfolding of contextual nets shown in [7] .  ... 
doi:10.1016/j.entcs.2004.10.012 fatcat:tl4p7px2vbdvbcqnxexc77l3lu

Distributed Diagnosability Analysis with Petri Nets [article]

Laura Brandán-Briones, Agnes Madalinski, Hernán Ponce-de-León
2015 arXiv   pre-print
We propose a framework to distributed diagnos- ability analysis of concurrent systems modeled with Petri nets as a collection of components synchronizing on common observable transitions, where faults  ...  Furthermore, we use existing efficient methods and tools, in particular parallel LTL-X model checking based on unfoldings, for diagnosability verification.  ...  In this paper we propose a distributed diagnosability verification with LTL-X model checking based on Petri net unfoldings.  ... 
arXiv:1502.07744v1 fatcat:ew7eajngtfhazgnc6zw5xstlh4
« Previous Showing results 1 — 15 out of 3,651 results