1
Published 2019
Springer International Publishing
Table of Contents: ... with Petri Nets: A Personal Tribute to Carl Adam Petri -- Petri Nets for BioModel Engineering: A Personal...

2
Published 1999
Springer Berlin Heidelberg
Subjects: ...Software engineering...

3
Published 2018
Springer International Publishing
Table of Contents: ... and Their Relation to P Automata -- Modeling and Validating an Engineering Application in Kernel P Systems -- Solving...

4
Published 2014
Springer International Publishing
Subjects: ...Software engineering...

5
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... for programming embedded systems -- Proof-based system engineering and embedded systems -- A design notation...

6
Published 1998
Springer Berlin Heidelberg
Subjects: ...Software engineering...

7
Published 2013
Springer Berlin Heidelberg
Subjects: ...Software engineering...

8
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based...

9
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Engineering, Illustrated for Signal Transduction Pathways -- Multilevel Modeling of Morphogenesis -- A...

10
Published 1987
Springer Berlin Heidelberg
... software engineering, data base and in­ formation systems, computer architecture and operating systems...