登入選單
Google圖書搜尋
Behaviour and Realization Construction for Petri N...
作者
Hartmut Ehrig / Julia Padberg / Grzegorz Rozenberg
出版1994
ISBN
OCLC:832676681
Behaviour and Realization Construction for Petri N...
作者
Hartmut Ehrig / Julia Padberg / Grzegorz Rozenberg
出版1994
ISBN
OCLC:165176349
Petri Net Transformations
作者
Hartmut Ehrig / Claudia Ermel / Enrico Biermann / Julia Padberg / Kathrin Hoffmann / Tony Modica / Ulrike Prange
出版2008
ISBN
3902613122 / 9783902613127
Abstract Petri Nets
作者
Julia Padberg
出版1996
ISBN
3826516982 / 9783826516986
主題
Petrinets
Algebraic High Level Nets
作者
Hartmut Ehrig / Julia Padberg / Leila Ribeiro
出版1993
ISBN
OCLC:28561207
主題
Petri nets
Towards Partial Composition of Components: Formal ...
作者
Julia Padberg
出版2020
ISBN
OCLC:1199670672
Safety Preserving Transformations of Coloured Petr...
作者
Julia Padberg / Maike Gajewsky
出版2000
ISBN
OCLC:46717854
主題
Petri nets
Concurrency in Reconfigurable Place/Systems
作者
Hartmut Ehrig / Claudia Ermel / Kathrin Hoffmann / Julia Padberg / Ulrike Prange
出版2020
ISBN
OCLC:1199777208
Formal Development of Concurrent Systems Using Alg...
作者
Leila Ribeiro / Hartmut Ehrig / Julia Padberg
出版1993
ISBN
OCLC:31948804
主題
Petri nets
Embedding of Derivations in High-level Replacement...
作者
Julia Padberg / Gabriele Taentzer
出版1993
ISBN
OCLC:31948794
主題
Embeddings (Mathematics)
Place Preserving and Transition Gluing Morphisms i...
作者
Maike Gajewsky / Kathrin Hoffmann / Julia Padberg
出版1999
ISBN
OCLC:637399247
主題
Graph theory
Rule Based Refinement for Place Transition Systems
作者
Maike Gajewsky / Julia Padberg / Milan Urbášek
出版2001
ISBN
OCLC:48184434
主題
Rule-based programming
Formal Foundation for the Transformation-based App...
作者
Julia Padberg
出版2006
ISBN
OCLC:638137846
Action nets and abstract statecharts in the theory...
作者
Hartmut Ehrig / Maike Gajewsky / Julia Padberg
出版1997
ISBN
OCLC:40121667
主題
Petri nets
Place Transition Net Modules
作者
Julia Padberg
出版2001
ISBN
OCLC:632399815
主題
Component software
Algebraic high level nets and transformations with...
作者
Leila Ribeiro / Julia Padberg
出版1994
ISBN
OCLC:75546352
Relevance, Integration and Classification of Speci...
作者
Hartmut Ehrig / Fernando Orejas / Julia Padberg
出版1999
ISBN
OCLC:637431780
主題
Abstract data types (Computer science)
Refinement Versus Verification
作者
Julia Padberg / Magda Gajewsky / Claudia Ermel
出版1997
ISBN
OCLC:40121664
主題
Parallel processing (Electronic computers)
Formalization of Variables in Algebraic High Level...
作者
Claudia Ermel / Julia Padberg
出版1997
ISBN
OCLC:38075239
主題
Algebra
Formal Specification and Rule-based Refinement of ...
出版2006
ISBN
OCLC:916642222
Survey of High-level Replacement Systems
作者
Julia Padberg
出版1993
ISBN
OCLC:32153773
主題
Artificial intelligence
Algebraic high level net transformation systems
作者
Julia Padberg / Hartmut Ehrig / Leila Ribeiro
出版1993
ISBN
OCLC:75419185
Reconfigurable Open Algebraic High-Level Systems
作者
Conny Ullrich / Julia Padberg
出版2009
ISBN
OCLC:904838973
Formal requirements analysis using algebraic high ...
出版1993
ISBN
OCLC:75403961
Specification Architectures
作者
Julia Padberg
出版2002
ISBN
OCLC:51704765
主題
Computer architecture
Algebraic High-level Nets and Transformations with...
作者
Leila Ribeiro / Julia Padberg
出版1994
ISBN
OCLC:32153751
主題
Petri nets
Julia
作者
Julia Mitchell
出版2008
ISBN
OCLC:1280728004
主題
Cerebral palsied