Filters








62,752 Hits in 3.2 sec

Compositional Modeling of Reactive Systems Using Open Nets [chapter]

P. Baldan, A. Corradini, H. Ehrig, R. Heckel
2001 Lecture Notes in Computer Science  
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designated as open, represent  ...  We introduce a composition operation over open nets, characterized as a pushout in the corresponding category, suitable to model both interaction through open places and synchronization of transitions.  ...  However, when modeling reactive systems, i.e., concurrent systems with interacting subsystems, Petri nets force us to take a global perspective.  ... 
doi:10.1007/3-540-44685-0_34 fatcat:3zowc6cbtbeqtf6uc3y4l6irki

SIC-WIN Project

Giuranno Donatella
2018 Zenodo  
SIC-WIN Reactivity of SI-alloy/C-material systems: Wetting versus INfiltration Kick-off: Introducing the project to the FRI-Team Goal, Motivation, Work Plan, Critical Issues, Impact, Benefits for PI, Benefits  ...  data in computational models used to optimize casting and solidification processes SiC-based composites obtained by RBSC optimized processes: lower processing temperatures, shorter times and near-net  ...  of SI-alloy/C-material systems: INfiltration Literature survey -to get theoretical knowledge -to exploit previous experiences and know-how -to open and use background on new experimental scenarios Targeted  ... 
doi:10.5281/zenodo.3668624 fatcat:kbse53ku2rhshlounujncjgqza

Preface

Frank de Boer, Marcello Bonsangue
2005 Theoretical Computer Science  
Their main contribution is a definition of a reactive composition operator that models this mechanism, and the proof of its associativity. R.  ...  This special issue opens with two articles describing different algebraic approaches to formal models of the behavior of object oriented systems. J. Bergstra and I.  ...  Stärk illustrates a high-level Abstract State Machine model of C threads and the .NET memory model. The sequential model interleaves the computation steps of the currently running threads.  ... 
doi:10.1016/j.tcs.2005.06.011 fatcat:x7jiv4474ngq7hvw4tljcxgvji

Towards a Theory of Services [chapter]

Wolfgang Reisig
2008 Lecture Notes in Business Information Processing  
Time is ripe to underpin this effort by theoretically well-founded concepts to model services, and to analyze such models.  ...  In this paper we suggest first proposals and principles for a comprehensive theory of services.  ...  The composition R ⊕ S of two open nets R andS with ports r 1 , . . . r n and s 1 , . . . s m respectively, is again an open net with ports.  ... 
doi:10.1007/978-3-540-78942-0_27 fatcat:wk2hh7n7qbglfofgh2u6bvp64m

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

Filippo Bonchi, Ugo Montanari
2009 Theoretical Computer Science  
two examples: logic programming and open Petri nets.  ...  Finally, we provide coalgebraic models relying on presheaves.  ...  For example, in the reactive system for open nets N , only the arrows of OPN N of type 0 → 1 represent the state of the open net.  ... 
doi:10.1016/j.tcs.2009.06.010 fatcat:uiow6byc45h6hkajkoxegzfdwi

Reactivity Model as a Tool to Compare the Combustion Process in Aviation Turbine Engines Powered by Synthetic Fuels

Tomasz Białecki, Wojciech Dzięgielewski, Mirosław Kowalski, Andrzej Kulczycki
2021 Energies  
The paper aims to verify the thesis that the reactivity model, developed in earlier research, can be used to compare the fuels combustion processes in turbine engines, which is important for predicting  ...  Based on general assumptions, the reactivity model was adopted to compare the combustion processes of the different fuels in turbine engines.  ...  Conflicts of Interest: The author declares no conflict of interest. Energies 2021, 14, 6302  ... 
doi:10.3390/en14196302 fatcat:kg3yziks7vbadjl4zis6y55i34

Page 134 of Energy Engineering Vol. 48, Issue 2 [page]

1951 Energy Engineering  
All of the models are of the adsorbent type using silica gel or activated alumina, although other desiccants may be used if desired. Larger models include the SOR-8 and DOR-38.  ...  The packing is of molded composition and is avail- able in compositions that match the service.  ... 

An Automated Petri-Net Based Approach for Change Management in Distributed Telemedicine Environment [article]

Sabri Mtibaa, Moncef Tagina
2012 arXiv   pre-print
A combined Petri nets model to handle changes and Reconfigurable Petri nets model to react to these changes are used to fulfill telemedicine functional and non functional requirements.  ...  The worldwide healthcare industry is facing a number of daunting challenges which are forcing healthcare systems worldwide to adapt and transform, and will ultimately completely redefine the way they do  ...  We model changes using Petri nets because of their applicability to a Web services composition modeling. The behavior of a composite Web services is described by the evolution of its Petri net model.  ... 
arXiv:1210.6076v1 fatcat:3dwxvwfzkndrfe6r2fbh3kac6a

Bigraphs for Petri Nets [chapter]

Robin Milner
2004 Lecture Notes in Computer Science  
A simple example is given of the use of bigraphical reactive systems (BRSs).  ...  It provides a behavioural semantics for condition-event Petri nets whose interfaces are named condition nodes, using a simple form of BRS equipped with a labelled transition system and its associated bisimilarity  ...  The first is pedagogical: condition-event nets can be modelled as a link-graph reactive system (LRS), which is a simple form of BRS, so they illustrate the use of bigraphs while avoiding some of their  ... 
doi:10.1007/978-3-540-27755-2_19 fatcat:mjyxera75bgj3hv3dntynwefme

The Analytical Method of Web Services Composition Based on Action Patterns

Xiangwei Liu, Wenjun Hao, Xianwen Fang
2014 International Journal of Multimedia and Ubiquitous Engineering  
In this paper, we model a component by an open Petri net, and investigate action patterns as a means to descript and analysis of behavior constraint under the condition that subnets composition are satisfied  ...  In existing research, functions to meet and behavior predictability are two major aspects of Web services composition, but there are some limitations to treatment of behavioral constraints.  ...  Acknowledgments We would like to thank the support of the National Natural Science  ... 
doi:10.14257/ijmue.2014.9.6.03 fatcat:svcf5zrzmbahtgiuzoyoeq5ebu

Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems

Simon Tjell
2007 2007 International Symposium on Industrial Embedded Systems  
This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language Coloured Petri Net.  ...  A prototypical tool has been implemented for performing the structural analysis of Coloured Petri Net models and the principles of this tool is described.  ...  CONCLUSION AND FUTURE WORK In this paper, an approach to systematized distinction between environment and system in composite models of reactive systems by use of Coloured Petri Nets has been presented  ... 
doi:10.1109/sies.2007.4297341 dblp:conf/sies/Tjell07 fatcat:pysumiaiivgchfzqtxql7g4vky

The Return from Organic to Inorganic Carbon [chapter]

Jack J. Middelburg
2019 Marine Carbon Biogeochemistry  
which may have distinct compositions, degradation histories and reactivities (Box 3.1).  ...  Concentrations of DOC (order 10-100 mmol m −3 ) are usually one order of magnitude higher than those of POC (order 1-10 mmol m −3 ) in the euphotic zone of the ocean, while sediment POC (order 10 6 mmol  ...  The open ocean composite from Martin et al. (1987) is used in many earth system and ocean biogeochemical models.  ... 
doi:10.1007/978-3-030-10822-9_3 fatcat:txjkxfskvzg7vaqygp2bqgk4n4

A Congruence for Petri Nets

Vladimiro Sassone, Paweł Sobociński
2005 Electronical Notes in Theoretical Computer Science  
We introduce a way of viewing Petri nets as open systems. This is done by considering a bicategory of cospans over a category of p/t nets and embeddings.  ...  We derive a labelled transition system (LTS) semantics for such nets using GIPOs and characterise the resulting congruence.  ...  Acknowledgement The authors thank the anonymous referee for several useful comments which have allowed us to the improve the article.  ... 
doi:10.1016/j.entcs.2005.02.008 fatcat:j5lawogclbbejeft7jmdqlxbwy

Numerical modeling of self-propagating reactions in Ru/Al nanoscale multilayer foils

K. Woll, I. E. Gunduz, C. Pauly, C. C. Doumanidis, S. F. Son, C. Rebholz, F. Mücklich
2015 Applied Physics Letters  
Instead of stepwise changes in composition, gradual profiles across the interface are more realistic for some binary systems. The intermixing zone should also store residual energy.  ...  The Ru/Al system integrates high energy density and high product ductility and serves as an alternative for utilization as nanoscale reactive multilayer.  ... 
doi:10.1063/1.4928665 fatcat:2qmz4xaz2vbe3pzduzm3dfhh2e

Discovery of a reactive azeotrope

W. Song, R. S. Huss, M. F. Doherty, M. F. Malone
1997 Nature  
However, as demonstrated in the figure, the trajectories of compositions correspond quite closely to those expected for systems with dynamics that follow autonomous models such as equation ( Table 1  ...  We believe that reactive azeotropes are common and for some systems can determine the optimal choice of process technology.  ...  anomalies 4 and the existence of a regular period of 12-14 years in the propagating signals.  ... 
doi:10.1038/41515 fatcat:zkmziov2rjerth4zfvybay4k6i
« Previous Showing results 1 — 15 out of 62,752 results