MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Interpreted Nets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

113 documents found, showing 1 through 10. Next 10 →

ATOM

The individual and collective token interpretations of Petri nets
by Rob Van Glabbeek — Proceedings CONCUR 2005, 16 th International Conference on Concurrency Theory
…The Individual and Collective Token Interpretations of Petri Nets Rob van Glabbeek National ICT…
Cited by 2 (2 self) – Add To MetaCart

Simulation of Hybrid Systems Based on Interpreted Petri Nets
by Georg Frey — 1998
…. ABSTRACT In this contribution, a modelling approach for hybrid systems using interpreted Petri nets…
Cited by 1 (1 self) – Add To MetaCart

Algebraic Models for Contextual Nets
by Roberto Bruni, Vladimiro Sassone — 2000
… and the individual token philosophy uniformly along the two interpretations of net behaviors. Introduction Among…
Cited by 8 (4 self) – Add To MetaCart

Analytical Interpretation of Feed-Forward Nets Outputs After Training
by Lluis Garrido And, Lluis Garrido, Sergio G Omez
…Analytical interpretation of feed-forward nets outputs after training Lluis Garrido and Sergio G…
Add To MetaCart

A Comparison of Petri Net Semantics under the Collective Token Philosophy
by José Meseguer, Roberto Bruni, Roberto Bruni, Jose Meseguer, Ugo Montanari, Ugo Montanari, Vladimiro Sassone, Vladimiro Sassone — 1998 — Springer-Verlag LNCS
… interpretation of net behaviours in terms of theories and theory morphisms in partial membership equational logic…
Cited by 14 (9 self) – Add To MetaCart

Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector
by Javier Campos, Giovanni Chiola, Manuel Silva — 1991 — IEEE Transactions on Software Engineering
… on the stochastic interpretation (even if there exist conflicts!). Two overlapping subclasses of nets with unique…
Cited by 23 (11 self) – Add To MetaCart

On the Expressiveness of higher dimensional automata
by R. J. Van Glabbeek — 2005 — EXPRESS 2004, ENTCS
… to the four different computational interpretations of nets found in the literature. I also extend various…
Cited by 3 (0 self) – Add To MetaCart

On Schematological Equivalence of Dataflow Networks
by Alexander Rabinovich, Baverly Sackler, Faculty Exact Sciences — 1993 — In Computer Science and Logic
…. An interpretation assigns meanings to the nodes. The semantics defines what object is assigned to an interpreted net…
Cited by 2 (0 self) – Add To MetaCart

unknown title
by unknown authors
… an interpretation from nets from the X calculus into both the *-calculus and *u; X enjoys the full…
Add To MetaCart

A completeness result for λµ
by Phillipe Audebaud, Steffen Bakel
… of nets in X as terms in λ is defined as follows: Definition 5.6 CBV INTERPRETATION. λ ∆ 〈x.α〉 V = α x λ…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB