close
1.

図書
図書
1. Unifying Petri nets : advances in Petri nets
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  viii, 484 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2128
所蔵情報: loading…
2.

図書
図書
2. Concurrency and hardware design : advances in petri nets
Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  ix, 343 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2549
所蔵情報: loading…
目次情報: 続きを見る
Formal Models
Composing Snippets / Igor Benko ; Jo Ebergen
A Programming Approach to the Design of Asynchronous Logic Blocks / Mark B. Josephs ; Dennis P. Furey
Asynchronous Circuits
GALA (Globally Asynchronous - Locally Arbitrary) Design / Victor Varshavsky ; Vyacheslav Marakhovsky
Synthesis of Reactive Systems: Application to Asynchronous Circuit Design / Josep Carmona ; Jordi Cortadella ; Enric Pastor
Decomposition in Asynchronous Circuit Design / Walter Vogler ; Ralf Wollowski
Embedded System Design
Functional and Performance Modeling of Concurrency in VCC / William LaRue ; Sherry Solden ; Bishnupriya Bhattacharya
Modeling and Designing Heterogeneous Systems / Felice Balarin ; Luciano Lavagno ; Claudio Passerone ; Alberto Sangiovanni-Vincentelli ; Marco Sgroi ; Yosinori Watanabe
Timed Verification and Performance Analysis
Timed Verification of Asynchronous Circuits / Jesper Møller ; Henrik Hulgaard ; Henrik Reif Andersen
Performance Analysis of Asynchronous Circuits Using MarkovChains / Peter A. Beerel ; Aiguo Xie
Author Index
Formal Models
Composing Snippets / Igor Benko ; Jo Ebergen
A Programming Approach to the Design of Asynchronous Logic Blocks / Mark B. Josephs ; Dennis P. Furey
3.

図書
図書
3. Concurrent object-oriented programming and Petri nets : advances in Petri nets
Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg (eds.)
出版情報: Berlin : Springer, c2001  viii, 537 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2001
所蔵情報: loading…
目次情報: 続きを見る
Object Oriented Modeling with Object Petri Nets / C. LakosSection I：
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
CLOWN as a Testbed for Concurrent Object-Oriented Concepts / E. Battiston ; A. Chizzoni ; F. De Cindio
Concurrency in Communicating Object Petri Nets / R. Valk
Object Orientation in Hierarchical Predicate Transition Nets / X. He ; Y. Ding
CoOperative Objects: Principles, Use and Implementation / C. Sibertin-Blanc
OB(PN)2: An Object Based Petri Net Programming Notation / J. Lilius
On Formalizing UML with High-Level Petri Nets / L. Baresi ; M. Pezzè
Modeling a Groupware Editing Tool with Cooperative Objects / R. Bastide ; P. PalanqueSection II：
Modeling Constrained Geometric Objects with OBJSA Nets / M. A. Alberti ; P. Evi ; D. Marini
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment / D. S. Guerrero ; J. C. A. de Figueiredo ; A. Perkusich
KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects / J. A. Bañares ; P. R. Muro-Medrano ; J. L. Villarroel ; F. J. Zarazaga
Modeling of a Library with THORNs / F. Köster ; S. Schöf ; M. Sonnenschein ; R. Wieting
Inheritance of Dynamic Behavior: Development of a Groupware Editor / T. Basten ; W. M. P. van der Aalst
Object Colored Petri Nets - A Formal Technique for Object Oriented Modeling / C. Maier ; D. Moldt
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study / M. Gaspari ; G. ZavattaroSection III：
Formal Reasoning about Actor Programs Using Temporal Logic / S. Schacht
Flexible Types for a Concurrent Model / F. Puntigam
High Level Transition Systems for Communicating Agents / F. Vernadat ; P. Azéma
Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets / L. Nigro ; F. Pupo
Control Properties in Object-Oriented Specifications / A. Diagne
Case Studies / Section IV：
A Cooperative Petri Net Editor
The Hurried Philosophers
Author Index
Object Oriented Modeling with Object Petri Nets / C. LakosSection I：
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
4.

図書
図書
4. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Wilfried Brauer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xxxvi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2300
所蔵情報: loading…
目次情報: 続きを見る
Bibliography of Grzegorz Rozenberg
Words, Languages, Automata / I：
Balanced Grammars and Their Languages / Jean Berstel ; Luc Boasson
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids / Volker Diekert ; Paul Gastin
The Delta Operation: From Strings to Trees to Strings / Joost Engelfriet
Infinite Solutions of Marked Post Correspondence Problem / Vesa Halava ; Tero Harju
The Branching Point Approach to ConwayÆs Problem / Juhani Karhumaki ; Ion Petre
A Survey of Some Quantitative Approaches to the Notion of Information / Aldo de Luca
Nondeterministic Trajectories / Alexandru Mateescu ; Arto Salomaa
Binary Patterns in Infinite Binary Words / Antonio Restivo ; Sergio Salemi
Graph Transformations / II：
A Sight-seeing Tour of the Computational Landscape of Graph Transformation / Hans-Jörg Kreowski
Local Action Systems and DPO Graph Transformation / DirkJanssens
Bisimulation Equivalences for Graph Grammars / Paolo Baldan ; Andrea Corradini ; Ugo Montanari
Petri Nets / III：
High-Level Net Processes / Hartmut Ehrig ; Kathrin Hoffmann ; Julia Padberg ; Reiko Heckel
Petri Net Control for Grammar Systems / Maurice ter Beek ; Jetty Kleijn
Regular Event Structures and Finite Petri Nets: A Conjecture / P.S. Thiagarajan
Concurrent Computing / IV：
Towards Team-Automata-Driven Object-Oriented Collaborative Work / Gregor Engels ; LuukGroenewegen
Grammars as Processes / Javier Esparza
Temporal Concurrent Constraint Programming: Applications and Behavior / Mogens Nielsen ; FrankD. Valencia
Molecular Computing / V：
Rewriting P Systems with Conditional Communication / Paolo Bottoni ; Anna Labella ; Carlos Martín-Vide ; Gheorghe Paun
An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation / Tom Head
Upper Bounds for Restricted Splicing / HendrikJan Hoogeboom ; Nikè van Vugt
Codes, Involutions, and DNA Encodings / Lila Kari ; Rob Kitto ; Gabriel Thierrin
DNA Manipulations in Ciliates / David M. Prescott
A Magic Pot Self-assembly Computation Revisited / Takashi Yokomori ; Yasubumi Sakakibara ; Satoshi Kobayashi
Author Index
Bibliography of Grzegorz Rozenberg
Words, Languages, Automata / I：
Balanced Grammars and Their Languages / Jean Berstel ; Luc Boasson
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼