A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
Compositional Modeling of Reactive Systems Using Open Nets
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
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
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2005
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Business Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2009
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
Energies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2012
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
2014
International Journal of Multimedia and Ubiquitous Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2007
2007 International Symposium on Industrial Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2019
Marine Carbon Biogeochemistry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Applied Physics Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1997
Nature
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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