Search alternatives:
springer finance » einer finance, merger finance, pardner finance
springer science » stronger science, spring resilience, river science
springer wrangle » springer springe
wrangle business » oracle business, change business, france business
using model » ising model, using mobile
Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... — An introduction -- The state explosion problem -- Theory of regions -- Petri nets and other models of concurrency...”
Cover Image
Read Now

2
Published 2011
Springer London
Table of Contents: “..., Qualitative Modeling of Regulatory Networks Using Petri Nets -- A Case Study of HFPN Simulation: Finding...”
Cover Image
Read Now

3
by Reisig, Wolfgang
Published 1998
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

4
by Reisig, Wolfgang
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Part I Modeling Techniques -- Chap. 1 An Example -- Chap. 2 The Basic Concepts -- Chap. 3 Common...”
Cover Image
Read Now

5
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... Models -- Addresses of the authors...”
Cover Image
Read Now

6
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Steps Towards Sound Business Process Models -- Generation of Animation Views for Petri Nets in GenGED...”
Cover Image
Read Now

7
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... models in the specification and verification of protocols -- Human-machine interaction and role/function...”
Cover Image
Read Now

8
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods -- A Framework...”
Cover Image
Read Now

9
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...: Integrating hardware and software models -- Designing and verifying a communications gateway using coloured...”
Cover Image
Read Now

10
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”
Cover Image
Read Now

11
Published 2019
Springer International Publishing
Table of Contents: “... of Discrete Event Dynamic Systems -- Modelling Time Using Petri Nets -- All True Concurrency Models Start...”
Cover Image
Read Now

12
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- An introduction to the practical use of coloured Petri Nets -- Protocol specification using P-graphs, a technique...”
Cover Image
Read Now

13
by Reisig, Wolfgang
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... -- 16. Related System Models...”