Nets with tokens which carry data

Nets with tokens which carry data

Diğer sürümleri göster (2)

We study data nets, a generalisation of Petri nets in which tokens carry data from linearlyordered infinite domains and in which whole-place operations such as resets and transfers are possible. Data nets subsume several known classes of infinite-state systems, including multiset rewriting systems a...

Detaylı Bibliyografya
Asıl Yazarlar:	Lazić, R, Newcomb, T, Ouaknine, J, Roscoe, A, Worrell, J
Materyal Türü:	Journal article
Dil:	English
Baskı/Yayın Bilgisi:	2008

Benzer Materyaller

Nets with Tokens which Carry Data
Yazar:: Lazic, R, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Nets with Tokens Which Carry Data
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Three tokens in Herman's algorithm
Yazar:: Kiefer, S, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

On Model Checking Data−independent Systems with Arrays without Reset
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (2001)

On Model Checking Data−independent Systems with Arrays without Reset
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

On Model checking data−independent systems with arrays with whole−array operations
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Zeno, Hercules, and the Hydra: Safety metric temporal logic is Ackermann-complete
Yazar:: Lazić, R, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Verifying Determinism of Concurrent Systems Which Use Unbounded Arrays
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Polymorphic Systems with Arrays‚ 2−Counter Machines and Multiset Rewriting
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Polymorphic systems with arrays: decidability and undecidability
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

A Static Analysis Framework for Livelock Freedom in CSP
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Static Livelock Analysis in CSP
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Static Livelock Analysis in CSP
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Static livelock analysis in CSP
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

A Static Analysis Framework for Livelock Freedom in CSP
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

A Static Analysis Framework for Livelock Freedom in CSP
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

The automatic detection of token structures and invariants using SAT checking
Yazar:: Antonino, P, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

A Static Analysis Framework for Livelock Freedom in CSP
Yazar:: Joel Ouaknine, ve diğerleri
Baskı/Yayın Bilgisi: (2013-09-01)

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
Yazar:: Parosh Abdulla, ve diğerleri
Baskı/Yayın Bilgisi: (2007-02-01)

Decentralized token economy theory (DeTEcT): token pricing, stability and governance for token economies
Yazar:: R. Sadykhov, ve diğerleri
Baskı/Yayın Bilgisi: (2023-11-01)

Tokenization of Assets: Security Tokens in Liechtenstein and Switzerland
Yazar:: Angelika K. Layr
Baskı/Yayın Bilgisi: (2021-09-01)

Data independence with predicate symbols
Yazar:: Roscoe, A, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Token-wise sentiment decomposition for ConvNet: Visualizing a sentiment classifier
Yazar:: Piyush Chawla, ve diğerleri
Baskı/Yayın Bilgisi: (2020-06-01)

Some Recent Results in Metric Temporal Logic
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

On metric temporal logic and faulty turing machines
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Towards a Theory of Time-Bounded Verification.
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Safety metric temporal logic is fully decidable
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Decision Problems for Linear Recurrence Sequences.
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS
Yazar:: Ouaknine, J, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Inside the token-ring /
Yazar:: 406032 Haugdhal, J. Scott
Baskı/Yayın Bilgisi: (1986)

The token-token identity-theory and recent theories of reference
Yazar:: Gjelsvik, O, ve diğerleri
Baskı/Yayın Bilgisi: (1986)

The Token Female
Yazar:: Cindra S. Kamphoff, ve diğerleri
Baskı/Yayın Bilgisi: (2010-12-01)

“No” and “net” as response tokens in English and Russian business discourse: In search of a functional equivalence
Yazar:: Elena N. Malyuga, ve diğerleri
Baskı/Yayın Bilgisi: (2021-06-01)

Recent developments in FDR
Yazar:: Armstrong, P, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Recent developments in FDR
Yazar:: Armstrong, P, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Recent developments in FDR
Yazar:: Armstrong, P, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Recent Developments in FDR
Yazar:: Armstrong, P, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Undecidability of universality for timed automata with minimal resources
Yazar:: Adams, S, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

On LTL model-checking for low-dimensional discrete linear dynamical systems
Yazar:: Karimov, T, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

First-order orbit queries
Yazar:: Almagor, S, ve diğerleri
Baskı/Yayın Bilgisi: (2020)