Results 221 to 230 of about 104,683 (267)

Encoding Nets-Within-Nets in Maude

2023
Self-adaptive systems gain growing attention to raise service quality and reduce development costs. But on the other hand, self-adaptation is a source of complexity which needs suitable methodologies/models/tools supporting the whole life cycle. A particularly challenging point is the dynamic reconfiguration of a system. This feature, typical of modern
Capra, Lorenzo, Köhler-Bußmeier, Michael   +1 more
openaire   +2 more sources

The Semantics of a Net is a Net

1987
A core issue of General Net Theory is to relate different net classes by meaning preserving mappings. To do so in a simple and elegant way, some mathematical techniques will be developed in this paper. This includes special net morphisms and equivalence relations on nets.
Einar Smith, Wolfgang Reisig
openaire   +1 more source

Instantiating nets and their applications to workflow nets

Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), 2005
K-soundness, generalized soundness, and structural soundness are important correctness criteria that workflow nets should satisfy. Using instantiating nets, we present in a uniform way some of the results obtained regarding the decidability status of the generalized and structural soundness properties.
Å¢iplea, Ferucio LaurenÅ£iu, Å¢iplea, Aurora   +1 more
openaire   +2 more sources

Hornets: Nets within Nets Combined with Net Algebra

2009
In this contribution we propose an algebraic extension of object nets. Object nets, also known as nets within nets , allow nets itself as tokens. The algebraic structure introduced here refers to the topology of these net-tokens, i.e. we have operators which compose nets.
openaire   +1 more source

Petri Net Computers and Workflow Nets

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2015
In this paper, a robust and as simple as possible concept of a Petri net (PN) computer is proposed. It has a similar structure and behavior to weak sound priority workflow nets. It is shown that all recursive functions are PN computable and, vice-versa, PN computable functions are recursive.
Ferucio Laurentiu Tiplea, Raluca A. Diaconu   +1 more
openaire   +1 more source

Eval-net: Elements of Evaluation Nets as Extension to Petri Nets

2016
Evaluation nets and Petri nets are an easy, readable and functional methods for visualizing states and communication between computer systems using diagrams. They can be considered as similar methods, because they base on bilateral graph and there is token flow. However, they differ in elements, token flow rules, structure, and runtime process.
Michal Niedzwiecki, Krzysztof Rzecki, Krzysztof Cetnarowicz   +2 more
openaire   +1 more source

Tracking the net

ACM SIGGRAPH 99 Electronic art and animation catalog, 1999
Tracking the Net is a collective, interactive platform, a multi-user interface platform that combines motion capture and virtual reality. The installation has been projected to host interactive teams, which can experience a shared environment in local and as well in remote locations through networking.
Maharaj Singh, Franz Fishnaller
openaire   +1 more source

Net Neutrality vs. Net Neutering

Computer, 2016
Regarding the recent FCC ruling upholding Net neutrality, Yogi Berra said it best: "It ain't over 'til it's over."
openaire   +1 more source

L-Nets, Strategies and Proof-Nets

2005
We consider the setting of L-nets, recently introduced by Faggian and Maurel as a game model of concurrent interaction and based on Girard's Ludics. We show how L-nets satisfying an additional condition, which we call logical L-nets, can be sequentialized into traditional tree-like strategies, and vice-versa.
Pierre-Louis Curien, Claudia Faggian
openaire   +1 more source

Net Electrophilicity

The Journal of Physical Chemistry A, 2009
The concept of net electrophilicity (electroaccepting power relative to electrodonating power) is introduced. It provides expected trends in most cases. A net electrophilicity scale is presented. Various reactivity descriptors for 32 molecules are calculated at the B3LYP/6-311+G(d) level of theory.
Pratim Kumar, Chattaraj, Arindam, Chakraborty, Santanab, Giri   +2 more
openaire   +2 more sources