Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Unifying Petri Nets 2001

> Home > Conferences and Workshops

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/apn/2001u
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2001u
Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg:
Unifying Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2128, Springer 2001, ISBN 3-540-43067-9

Introduction

- view
  authority control:
- export record
  dblp key:
  - conf/apn/DeselJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DeselJ01
Jörg Desel, Gabriel Juhás:
''What Is a Petri Net?''. 1-25

Part I: Application Oriented Approaches

- view
  authority control:
- export record
  dblp key:
  - conf/apn/GajewskyE01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/GajewskyE01
Magdalena Gajewsky, Hartmut Ehrig:
The »Petri Net Baukasten«: An Overview. 26-53
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WeberLB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WeberLB01
Herbert Weber, Sabine Lembke, Alexander Borusan:
Improving the Usability of Petri Nets with the »Petri Net Baukasten«. 54-78
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ErmelW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ErmelW01
Claudia Ermel, Michael Weber:
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«. 79-102
- view
  authority control:
- export record
  dblp key:
  - conf/apn/GruhnW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/GruhnW01
Volker Gruhn, Ursula Wellen:
Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models. 103-125

Part II: Unifying Frameworks

- view
  authority control:
- export record
  dblp key:
  - conf/apn/DeselJL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DeselJL01
Jörg Desel, Gabriel Juhás, Robert Lorenz:
Petri Nets over Partial Algebra. 126-172
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PadbergE01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PadbergE01
Julia Padberg, Hartmut Ehrig:
Parameterized Net Classes: A Uniform Approach to Petri Net Classes. 173-229
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PadbergER01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PadbergER01
Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg:
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. 230-249
- view
  authority control:
- export record
  dblp key:
  - conf/apn/StehrMO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/StehrMO01
Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
Rewriting Logic as a Unifying Framework for Petri Nets. 250-303

Part III: Theoretical Approaches

- view
  authority control:
- export record
  dblp key:
  - conf/apn/BadouelBD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BadouelBD01
Éric Badouel, Marek A. Bednarczyk, Philippe Darondeau:
Generalized Automata and Their Net Representations. 304-345
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BednarczykB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BednarczykB01
Marek A. Bednarczyk, Andrzej M. Borzyszkowski:
On Concurrent Realization of Reactive Systems and Their Morphisms. 346-379
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BruniM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BruniM01
Roberto Bruni, Ugo Montanari:
Transactions and Zero-Safe Nets. 380-426
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BruniS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BruniS01
Roberto Bruni, Vladimiro Sassone:
Two Algebraic Process Semantics for Contextual Nets. 427-456
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DrosteS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DrosteS01
Manfred Droste, R. M. Shortt:
Continuous Petri Nets and Transition Systems. 457-484

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.