Lectures on Petri Nets II: Applications: Advances in Petri Nets

Pirmais vāks
Wolfgang Reisig, Grzegorz Rozenberg
Springer Science & Business Media, 1998. gada 4. nov. - 487 lappuses
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area.
Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are
- interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area
- interested in learning about recent results presented within a unified framework
- planning to apply Petri nets in practical situations
- interested in the relationship of Petri nets to other models of concurrent systems.

No grāmatas satura

 

Atlasītās lappuses

Saturs

Tremoves the possibility of further shaking of hands
9
a 1
11
x01
16
10
17
0
18
33 Extensions
30
α
39
α
41
Modelling and Analysis of Distributed Software
438
Phil2
447
TA1
460
SIM
468
Author Index
479
Springer
481
Lecture Notes in Computer Science
483
T Plagemann V Goebel
484

α
42
a
51
a
52
a
56
911
64
Petersons algorithm with two processes
78
Petri Nets and Production Systems
85
Stations
98
stay in
100
T1
107
Ready A parts in B1
115
N
118
Computer Supported Cooperative Work and Petri Nets
125
Order
142
Petri Nets and Digital Hardware Design
154
Fig 26 Refinement with explicit arbiter signals
198
Fig 30 A fragment of a net which is
202
An Introduction to the Practical Use of
237
Protocol Specification Using PGraphs a
293
Declarations
310
again until the network accepts the packet transition transfer
311
Distributed Algorithms for Networks of Agents
331
1 S
349
before
356
start
360
Efficient Performance Analysis Techniques for
386
RecPck
411
proc p
487
Series Editors
iv
Preface
v
Table of Contents
xiii
RealTime Constraints
61
Monotonicity in Calculational Proofs
79
The Alma Project or How FirstOrder Logic
89
Type and Effect Systems
114
Multiple State and Single State Tableaux for
163
visit of Z0 Termination is guaranteed
172
1
175
On the Existence of Network Invariants for
180
Verification of Compilers
201
Fig 7 Montage for the while loop
214
From SIGNAL to C
231
Compilation and Synthesis for RealTime
256
ignite spontaneously once the gas valve is opened However
280
gas off
282
Optimization Under the Perspective of
288
c
303
a
304
Verification of Automotive Control Units
319
Correct RealTime Software for
342
PLC 1
346
Formal Methods for the International Space
363
Autortiesības

Citi izdevumi - Skatīt visu

Lectures on Petri Nets II: Applications: Advances in Petri Nets
Wolfgang Reisig,Grzegorz Rozenberg
Priekšskatījums nav pieejams - 1998
Lectures on Petri Nets II: Applications: Advances in Petri Nets
Wolfgang Reisig,Grzegorz Rozenberg
Priekšskatījums nav pieejams - 1998
Lectures on Petri Nets II: Applications: Advances in Petri Nets
Wolfgang Reisig,Grzegorz Rozenberg
Priekšskatījums nav pieejams - 1998
Skatīt visu »

Bieži izmantoti vārdi un frāzes

abstract abstract state machines ACL2 action algorithm analysis application assignment asynchronous asynchronous circuits behaviour bisimulation boolean buffer circuit colour Coloured Petri Nets compiler complete components Computer Science concurrent constraints correctness corresponding CP-nets deadlock defined definition denotes domain Duration Calculus dynamic equivalence example execution expression Figure finite formal formal verification formula function graph GSPN hence imperative programming implementation initial input labelled logic mapping marking method model checking multiset node occur operational semantics operator output packet performance Petri nets problem Proc process algebra programming language proof properties protocol reachable real-time receiver represented requirements rule semantics Sender sequence signal simulation specification Springer-Verlag static structure symbolic synchronisation synthesis techniques temporal logic theorem theory tion TJVM token transition tuple variables verification workflow

Atsauces uz šo grāmatu

Bibliogrāfiskā informācija

NosaukumsLectures on Petri Nets II: Applications: Advances in Petri Nets
Lecture Notes in Computer Science
RedaktoriWolfgang Reisig, Grzegorz Rozenberg
IzdevējsSpringer Science & Business Media, 1998
ISBN3540653074, 9783540653073
Apjoms487 lappuses
  
Eksportēt avotuBiBTeX EndNote RefMan