Cover Image
Read Now

1
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... and properties of concurrent systems -- Permutation of transitions: An event structure semantics for CCS and SCCS...”
Cover Image
Read Now

2
Published 2019
Springer International Publishing
Table of Contents: “... Perspective -- Petri Nets in Systems Biology: Transition Invariants, Maximal Common Transition Sets...”
Cover Image
Read Now

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Recursive Functions by Transition P Systems -- P Systems with External Input and Learning Strategies -- A...”
Cover Image
Read Now

4
Published 1987
Springer Berlin Heidelberg
Table of Contents: “.../Transition Systems - Fundamentals -- High-Level Nets - Fundamentals -- Special Topics -- Other Petri Net...”
Cover Image
Read Now

5
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...Section A: Predicate / Transition Nets and Coloured Petri Nets -- 1. Predicate / Transition Nets...”
Cover Image
Read Now

6
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... in Communicating Object Petri Nets -- Object Orientation in Hierarchical Predicate Transition Nets -- CoOperative...”
Cover Image
Read Now

7
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... of Processes Induced by Biochemical Reactions -- Transition and Halting Modes in (Tissue) P Systems...”
Cover Image
Read Now

8
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Structures and Bio-language to Simulate Transition P Systems on Digital Computers -- Gamma...”
Cover Image
Read Now

9
Published 2021
Springer International Publishing
Table of Contents: “...Transition Graphs of Reversible Reaction Systems -- Communicating Reaction Systems with Direct...”
Cover Image
Read Now

10
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Management -- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming -- Timed...”
Cover Image
Read Now

11
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... for Predicate/Transition nets -- Iterative decomposition and aggregation of Stochastic marked graph Petri nets...”
Cover Image
Read Now

12
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Based Transition Refinement for the Verification of Distributed Algorithms...”
Cover Image
Read Now

13
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Engineered communications for microbial robotics -- Successive state transitions with I/O interface...”
Cover Image
Read Now

14
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...-Decoding Transitional Systems for Classes of P Systems -- On the Computational Power of the Mate/Bud/Drip...”
Cover Image
Read Now

15
Published 1987
Springer Berlin Heidelberg
Table of Contents: “.../Event Representations of Place/Transition Nets -- Finite Conjunctive Nondeterminism -- Petri Net...”
Cover Image
Read Now

16
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... by ModelTransition Systems -- Hierarchical Vertex Ordering -- Tutorials and Workshops --...”
Cover Image
Read Now

17
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan’s Prefix...”