Cover Image
Read Now

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... of Arc, Place and Transition Time Petri Nets -- Improving Static Variable Orders Via Invariants...”
Cover Image
Read Now

2
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... Simulations with Place/Transactor-Nets -- Net Models of Dynamically Evolving Data Structures -- On Condition...”
Cover Image
Read Now

3
Published 2024
Springer Berlin Heidelberg
Table of Contents: “...A Toolchain to Compute Concurrent Places of Petri Nets -- Development and Verification of a...”
Cover Image
Read Now

4
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- In-place arithmetic for polynomials over Zn -- LILK — Static analysis of REDUCE code -- The extensions...”
Cover Image
Read Now

5
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... study of different techniques for semi-flows computation in place/transition nets -- Elementary net...”
Cover Image
Read Now

6
Published 2024
Springer Nature Switzerland
Table of Contents: “...-questions with plural definites -- Two Places where We Need Plug-negation in Update Semantics: Symmetrical...”
Cover Image
Read Now

7
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... of galileo to design telecommunication systems -- Compositional semantics of pure place/transition systems...”
Cover Image
Read Now

8
Published 1996
Springer Berlin Heidelberg
Table of Contents: “..., allowing for occlusion -- Stably placing piecewise smooth objects -- A beam-tracing algorithm...”
Cover Image
Read Now

9
Published 2020
Springer International Publishing
“... of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally...”
Cover Image
Read Now

10
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... by In-place Mapping of Arrays -- Verifying BDD Algorithms through Monadic Interpretation -- Improving...”
Cover Image
Read Now

11
Published 2020
Springer International Publishing
Table of Contents: “... Graphs -- Optimal In-place Algorithms for Basic Graph Problems -- Further Results on Online Node...”
Cover Image
Read Now

12
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- Place bisimulations in Petri nets -- A polynomial-time graph algorithm to decide liveness of some basic...”
Cover Image
Read Now

13
Published 2011
Springer Berlin Heidelberg
“... selected following a second round of reviewing, which took place after the event. They are complemented...”
Cover Image
Read Now

14
Published 2024
Springer Nature Switzerland
“... Informatics, LATIN 2042, which took place in Puerto Varas, Chile, in March 2024. The 44 papers presented...”
Cover Image
Read Now

15
Published 2024
Springer Nature Switzerland
“... between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers...”
Cover Image
Read Now

16
Published 2020
Springer International Publishing
“... the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed...”
Cover Image
Read Now

17
Published 2007
Springer Berlin Heidelberg
“... 2007) took place in the Conference Center in old castleinDornburgnearJena,Germany,June21–23,2007...”
Cover Image
Read Now

18
Published 2007
Springer Berlin Heidelberg
“..., WMC8, which took place in Thessaloniki, Greece, during June 25–28, 2008. The ?rst three workshops...”
Cover Image
Read Now

19
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... and Finite Place/Transition Petri Nets -- ModelingRadio Networks -- Time-Bounded Verification -- Secure...”
Cover Image
Read Now

20
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... -- An explanation of splaying -- Proving non-reachability by modulo-place-invariants -- Soundness and completeness...”