Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
21
views
20
references
Top references
cited by
7
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,693
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Reversible Computation in Petri Nets
other
Author(s):
Anna Philippou
,
Kyriaki Psara
Publication date
(Online):
August 22 2018
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
20
Record
: found
Abstract
: not found
Book
: not found
Coloured Petri Nets
Kurt Jensen
,
Lars Kristensen
(2009)
0
comments
Cited
50
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Reversible Communicating Systems
Vincent Danos
,
Jean Krivine
(2004)
0
comments
Cited
47
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Communicating quantum processes
Rajagopal Nagarajan
,
Simon Gay
(2005)
0
comments
Cited
23
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2018
Publication date (Online):
August 22 2018
Pages
: 84-101
DOI:
10.1007/978-3-319-99498-7_6
SO-VID:
29caab6e-013a-410a-b6cf-9a6c532fd993
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Physical Foundations of Landauer’s Principle
pp. 34
From Reversible Semantics to Reversible Debugging
pp. 47
Finite-State Classical Mechanics
pp. 61
On Aperiodic Reversible Turing Machines (Invited Talk)
pp. 67
On Reversibility and Broadcast
pp. 84
Reversible Computation in Petri Nets
pp. 102
Event Structure Semantics of (controlled) Reversible CCS
pp. 123
Simulation of Base Excision Repair in the Calculus of Covalent Bonding
pp. 133
A Unified Approach to Quantum Computation and Classical Reversible Computation
pp. 144
ZX-Rules for 2-Qubit Clifford+T Quantum Circuits
pp. 162
Quantum Circuits for Floating-Point Arithmetic
pp. 175
SAT-based {CNOT, T} Quantum Circuit Synthesis
pp. 189
Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using Fluxons
pp. 205
Finding the Redundant Gates in Reversible Circuits
pp. 220
Multi-objective Synthesis of Quantum Circuits Using Genetic Programming
pp. 228
Quantum Circuit Optimization by Changing the Gate Order for 2D Nearest Neighbor Architectures
pp. 244
QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report)
pp. 253
Garbage-Free Reversible Multiplication and Division
pp. 269
Data Structures and Dynamic Memory Management in Reversible Languages
pp. 286
Checkpoint/Rollback vs Causally-Consistent Reversibility
pp. 304
$$\mathsf {CoreFun}$$: A Typed Functional Reversible Core Language
pp. 322
Reversible Object-Oriented Programming with Region-Based Memory Management
pp. 331
Encryption and Reversible Computations
pp. 339
A Library of Reversible Circuit Transformations (Work in Progress)
pp. 346
Reversibility in Space, Time, and Computation: The Case of Underwater Acoustic Communications
Similar content
3,693
Modelagem e simulação distribuída de sistema produtivo baseado em rede de Petri
Authors:
F Junqueira
,
P Miyagi
Modelagem de conceitos e processos matemáticos por redes de petri coloridas: o caso da integrabilidade de funções reais
Authors:
Natália Maria Cordeiro Barroso
,
José Soares
,
Giovanni Barroso
…
Snoopy--a unifying Petri net framework to investigate biomolecular networks.
Authors:
Wolfgang Marwan
,
Christian Röhr
,
Monika Heiner
See all similar
Cited by
5
Reversible Computation in Petri Nets
Authors:
Anna Philippou
,
Kyriaki Psara
Reversible Computation in Wireless Communications
Authors:
Harun Siljak
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
Authors:
Anna Philippou
,
Kyriaki Psara
,
Harun Siljak
See all cited by