Filters








8,170 Hits in 2.4 sec

Replicated Ambient Petri Nets [chapter]

David de Frutos Escrig, Olga Marroguín Alonso
2003 Lecture Notes in Computer Science  
Both mobile computing and mobile computation are supported by that calculus, and then by means of our Ambient Petri nets we get a way to introduce in the world of Petri nets these important features of  ...  Recently we have introduced Ambient Petri nets, as a multilevel extension of the Elementary Object Systems, that can be used to model the concept of nested ambients from the Ambient Calculus.  ...  Deşnition 9 Located replicated ambient Petri net.  ... 
doi:10.1007/3-540-44862-4_84 fatcat:5hfxbdhhvvefvn6w6l7g4ga2bq

Modeling the Dynamic Context of Ambient Systems [chapter]

Ali Sahnoun, Ramdane Maamri, Dib Ahmed Taki Eddine
2017 Lecture Notes in Networks and Systems  
The context is modeled using petri nets to formally verify and validate the system operations.  ...  In this paper, we propose a new approach that allows 1) to model the ambient systems as a multi agent systems, and 2) to model both local context of each component and the global context of the ambient  ...  Petri net The Petri net (PN) is a graphical modeling tool for discrete dynamical systems.  ... 
doi:10.1007/978-3-319-56994-9_71 fatcat:bbrzxcf2abcfhlrld2vhxq4yb4

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

2004 Mathematical Reviews  
Summary: “Fehling’s hierarchical Petri nets are a net modelling framework based on refinement and abstraction of nets. Object Petri nets are a Petri net-based method of encapsulation.  ...  Defining hierarchical object Petri nets forces us to consider what it means to preserve synchronisation when abstract- ing or refining an object Petri net.  ... 

Biologically Inspired Process Calculi, Petri Nets and Membrane Computing [article]

Gabriel Ciobanu
2011 arXiv   pre-print
The first talk presents similarities and differences between Petri nets and membrane systems, and how to enhance the Petri nets in order to faithfully model the dynamics of the biological phenomena represented  ...  The main aim of the workshop is to bring together researchers working on membrane computing, in biologically inspired process calculi, and in Petri nets in order to present their recent results and to  ...  This year we also attracted papers dealing with bio-inspired Petri nets in order to promote collaboration between the Petri nets and membrane computing communities.  ... 
arXiv:1108.3418v1 fatcat:ulvjajndu5h2bedpcolczd7qja

Page 10274 of Mathematical Reviews Vol. , Issue 2004m [page]

2004 Mathematical Reviews  
Petri net can be obtained through the synchronous composition of a set of structure-simple Petri nets, namely S-nets.  ...  With the synchronous intersection operation of Petri net languages, the language relationships between structure-complex Petri nets and the behaviors of Petri nets, especially structure-complex systems  ... 

Page 5211 of Mathematical Reviews Vol. , Issue 2002G [page]

2002 Mathematical Reviews  
Summary: “This paper shows how to define Petri nets through recursive equations.  ...  A generic algebra of nets and process expressions is defined and equipped with two types of semantics: a Petri net semantics based on step sequences and causal partial orders, and a structural operational  ... 

Ubiquitous Systems and Petri Nets [chapter]

David de Frutos Escrig, Olga Marroquín Alonso, Fernando Rosa Velardo
2005 Lecture Notes in Computer Science  
In this paper, a formal model for ubiquitous systems based on Petri nets is introduced and motivated with examples and applications.  ...  This simple model allows the definition of two-level ubiquitous systems, composed of a collection of processor nets providing services, and a collection of process nets requesting those services.  ...  In [4] the basic model of Ambient Petri nets has been extended with the aim of supporting the replication operator from the Ambient Calculus, !  ... 
doi:10.1007/11424826_123 fatcat:afvmeosusne7lgnut2zdcp6ib4

Deciding Reachability in Mobile Ambients [chapter]

Nadia Busi, Gianluigi Zavattaro
2005 Lecture Notes in Computer Science  
Mobile Ambients has been proposed by Cardelli and Gordon as a foundational calculus for mobile computing.  ...  Reducing Reachability on Processes to Reachability on Petri Nets Now we show that reachability on processes can be reduced to reachability on Petri nets; by decidability of reachability on Petri nets,  ...  The idea is to borrow a technique used to map (the public fragment of) a process algebra on Petri nets.  ... 
doi:10.1007/978-3-540-31987-0_18 fatcat:np3wn2ackrbs5gdpjsiqkc7doi

Reachability Analysis in BioAmbients

Gianluigi Zavattaro
2009 Electronical Notes in Theoretical Computer Science  
We rephrase results, previously proved by Busi and Zavattaro on Mobile Ambients, characterizing a fragment of BioAmbients -without restriction and merge-in which a generalized form of reachability turns  ...  into Petri nets.  ...  in BioAmbients to target marking reachability in Petri nets.  ... 
doi:10.1016/j.entcs.2008.12.111 fatcat:bff2n5qiuzbntmo2z2kujj34pe

Preface

Jos Baeten, Flavio Corradini
2006 Theoretical Computer Science  
They compare the expressive power of Petri nets, Petri nets extended with nonblocking arcs and Petri nets extended with transfer arcs, in terms of -languages and show that the hierarchy of expressive powers  ...  Alain Finkel, Gilles Geeraerts, Jean-François Raskin and Laurent Van Begin study the expressive power of several monotonic extensions of Petri nets.  ...  Xudong Guan investigates a restricted version of the ambient calculus that only allows single-threaded ambients migrating in a network of immobile ambients, exchanging payloads, and delivering them.  ... 
doi:10.1016/j.tcs.2006.02.013 fatcat:wdgdcayxmzgd7pcucwsxso2n4y

Unsupervised Segmentation of Human Habits in Smart Home Logs through Process Discovery

Lucia Esposito, Silvestro V. Veneruso, Francesco Leotta, Flavia Monti, Jerin George Mathew, Massimo Mecella
2021 International Conference on Business Process Management  
Smart homes represent examples of cyber-physical environments realizing the paradigm known as ambient intelligence.  ...  An information system supporting ambient intelligence takes as input raw sensor measurements and analyzes them to eventually make decisions following final user preferences and needs.  ...  For each couple of adjacent bins, we obtain a Petri net pn from the execution of the inductive miner. For each of these Petri nets, we compute a score.  ... 
dblp:conf/bpm/EspositoVLMMM21 fatcat:rtjqghbfy5gvhcjplw5trhi7by

Petri Nets Hierarchical Modelling Framework of Active Products' Community [chapter]

Ahmed Zouinkhi, Eddy Bajic, Eric Rondeau, Mohamed Naceur
2010 Advances in Petri Net Theory and Applications  
Modeling by Petri nets will be illustrated on section 4. Finally the last part will expose the Petri Nets modelling of a cooperation of active products.  ...  The aim of this work is to propose a Petri nets hierarchical modelling framework with internal cooperation model of active products by using the High Level Petri Nets (HLPN) formalism.  ...  CMD5: Manager asks for specific ambient information of active products. Modeling by Petri Nets The Petri nets are used for a long time as modeling tools of discrete events systems.  ... 
doi:10.5772/10300 fatcat:56lku3cigjcx3fg7qad3a6lwey

Reachability problems in BioAmbients

Giorgio Delzanno, Gianluigi Zavattaro
2012 Theoretical Computer Science  
By enhancing techniques -based on the theory of Petri nets -already used in the context of Mobile Ambients, we prove that both Target and Spatial Reachability are decidable for a Turing-complete fragment  ...  of Petri nets with transfer arcs we prove that at least Spatial Reachability is decidable.  ...  Petri-net semantics The idea is to borrow a technique used to map process algebras on Petri nets.  ... 
doi:10.1016/j.tcs.2011.12.056 fatcat:kbfuhfa7w5ftbbcmpqv5mzqkra

When Ambients Cannot Be Opened [chapter]

Iovka Boneva, Jean-Marc Talbot
2003 Lecture Notes in Computer Science  
At a second step, for a slightly weaker reduction relation, we prove that reachability can be decided by reducing this problem to markings reachability for Petri nets.  ...  We investigate expressiveness of a fragment of the ambient calculus, a formalism for describing distributed and mobile computations.  ...  From ambient-free processes to Petri nets: We show here how to build, for any normalized labeled ambient-free processes different from 0, a Petri net modeling execution of capabilities and replications  ... 
doi:10.1007/3-540-36576-1_11 fatcat:kcdew2k2gjegla5tm3vu6f7wba

When ambients cannot be opened

Iovka Boneva, Jean-Marc Talbot
2005 Theoretical Computer Science  
At a second step, for a slightly weaker reduction relation, we prove that reachability can be decided by reducing this problem to markings reachability for Petri nets.  ...  We investigate expressiveness of a fragment of the ambient calculus, a formalism for describing distributed and mobile computations.  ...  From ambient-free processes to Petri nets: We show here how to build, for any normalized labeled ambient-free processes different from 0, a Petri net modeling execution of capabilities and replications  ... 
doi:10.1016/j.tcs.2004.10.020 fatcat:rgw2jgtzgbf3fp6o5qihwkmwzy
« Previous Showing results 1 — 15 out of 8,170 results