Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Transactions on Petri Nets and Other Models of Concurrency, Volume 7, 2013

> Home > Journals > Transactions on Petri Nets and Other Models of Concurrency

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:
  - journals/topnoc/2013-7
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2013-7
Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf:
Transactions on Petri Nets and Other Models of Concurrency VII. Lecture Notes in Computer Science 7480, Springer 2013, ISBN 978-3-642-38142-3

In Memoriam

- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/ReisigRT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/ReisigRT13
Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan:
In Memoriam: Carl Adam Petri. 1-5

Modeling

- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/AalstSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/AalstSW13
Wil M. P. van der Aalst, Christian Stahl, Michael Westergaard:
Strategies for Modeling Complex Processes Using Colored Petri Nets. 6-55
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KristensenS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KristensenS13
Lars Michael Kristensen, Kent Inge Fagerland Simonsen:
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs. 56-115
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HeeSW13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HeeSW13a
Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Business Process Modeling Using Petri Nets. 116-161

Semantics and Analysis

- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BestW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BestW13
Eike Best, Harro Wimmel:
Structure Theory of Petri Nets. 162-224
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KleijnK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KleijnK13
Jetty Kleijn, Maciej Koutny:
Causality in Extensions of Petri Nets. 225-254
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Valmari13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Valmari13
Antti Valmari:
External Behaviour of Systems of State Machines with Variables. 255-299

Synthesis and Scenarios

- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/Reisig13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/Reisig13
Wolfgang Reisig:
The Synthesis Problem. 300-313
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/0001DJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/0001DJ13
Robert Lorenz, Jörg Desel, Gabriel Juhás:
Models from Scenarios. 314-371
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/AalstD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/AalstD13
Wil M. P. van der Aalst, Boudewijn F. van Dongen:
Discovering Petri Nets from Event Logs. 372-422

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.