Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...Informal introduction to petri nets -- Elementary net systems -- Place/transition Petri Nets...”
Cover Image
Read Now

2
by Reisig, Wolfgang
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... of Elementary System Nets -- Chap. 11 Place Invariants of Elementary System Nets -- Chap. 12 Combining Traps...”
Cover Image
Read Now

3
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

4
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... of place/transition Petri nets -- B-W analysis: A backward reachability analysis for diagnostic problem...”
Cover Image
Read Now

5
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

6
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... for Some Problems with Variable Geometrical Structure -- In-Place Linear-Time Algorithms for Euclidean...”
Cover Image
Read Now

7
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

8
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... of places -- Software implementation of petri nets and compilation of rule-based systems -- Bibliography...”
Cover Image
Read Now

9
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Materials and Configuring of Place -- Spatial Computing and Spatial Practices -- II: Designing for the Home...”
Cover Image
Read Now

10
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

11
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

12
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

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

14
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

15
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

16
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

17
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

18
Published 2022
Springer International Publishing
“... Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January...”
Cover Image
Read Now

19
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... systems of Elementary Net Systems with inhibitor arcs -- Coupling asynchrony and interrupts: Place Chart...”
Cover Image
Read Now

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