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 9, 2014

> 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/2014-9
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/2014-9
Maciej Koutny, Serge Haddad, Alex Yakovlev:
Transactions on Petri Nets and Other Models of Concurrency IX. Lecture Notes in Computer Science 8910, Springer 2014, ISBN 978-3-662-45729-0
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BashkinL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BashkinL14
Vladimir A. Bashkin, Irina A. Lomazova:
Decidability of k -Soundness for Workflow Nets with an Unbounded Resource. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BernardinelloKMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BernardinelloKMP14
Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello:
Modeling Distributed Private Key Generation by Composing Petri Nets. 19-40
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BetzCDWW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BetzCDWW14
Tobias Betz, Lawrence Cabac, Michael Duvigneau, Thomas Wagner, Matthias Wester-Ebbinghaus:
Software Engineering with Petri Nets: A Web Service and Agent Perspective. 41-61
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/CabacMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/CabacMW14
Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus:
Modeling Organizational Structures and Agent Knowledge for Mulan Applications. 62-82
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/ChatainH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/ChatainH14
Thomas Chatain, Stefan Haar:
A Canonical Contraction for Safe Petri Nets. 83-98
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/JinLC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/JinLC14
Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo:
Symbolic Termination and Confluence Checking for ECA Rules. 99-123
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/KleijnKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/KleijnKP14
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny:
Tissue Systems and Petri Net Synthesis. 124-146
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/LiuL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/LiuL14
Junxian Liu, Lin Liu:
A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction. 147-177

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.