Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Advanced Course: Petri Nets 1996: Dagstuhl, Germany

> Home > Conferences and Workshops > Advanced Course
> Home > Conferences and Workshops > Dagstuhl

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume II

Informal Introduction to Petri Nets

- view
  authority control:
- export record
  dblp key:
  - conf/ac/ReisigR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/ReisigR96
Wolfgang Reisig, Grzegorz Rozenberg:
Informal Introduction to Petri Nets. 1-11

Basic Classes

- view
  authority control:
- export record
  dblp key:
  - conf/ac/RozenbergE96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/RozenbergE96
Grzegorz Rozenberg, Joost Engelfriet:
Elementary Net Systems. 12-121
- view
  authority control:
- export record
  dblp key:
  - conf/ac/DeselR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/DeselR96
Jörg Desel, Wolfgang Reisig:
Place or Transition Petri Nets. 122-173
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Smith96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Smith96
Einar Smith:
Principles of High-Level Net Theory. 174-210
- view
  authority control:
- export record
  dblp key:
  - conf/ac/MarsanBD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/MarsanBD96
Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli:
Petri Nets in Performance Analysis: An Introduction. 211-256

Analysis and Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/ac/Desel96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Desel96
Jörg Desel:
Basic Linear Algebraic Techniques for Place or Transition Nets. 257-308
- view
  authority control:
- export record
  dblp key:
  - conf/ac/SilvaTC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/SilvaTC96
Manuel Silva Suárez, Enrique Teruel, José Manuel Colom:
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. 309-373
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Esparza96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Esparza96
Javier Esparza:
Decidability and Complexity of Petri Net Problems - An Introduction. 374-428
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Valmari96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Valmari96
Antti Valmari:
The State Explosion Problem. 429-528
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BadouelD96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BadouelD96
Éric Badouel, Philippe Darondeau:
Theory of Regions. 529-586

Relationship to Other Models

- view
  authority control:
- export record
  dblp key:
  - conf/ac/NielsenS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/NielsenS96
Mogens Nielsen, Vladimiro Sassone:
Petri Nets and Other Models of Concurrency. 587-642
- view
  authority control:
- export record
  dblp key:
  - conf/ac/ThiagarajanH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/ThiagarajanH96
P. S. Thiagarajan, Jesper G. Henriksen:
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. 643-681

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.