Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540730934, 9783540730941

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Complete Process Semantics for Inhibitor Nets

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_13 ◽

2007 ◽

pp. 184-203 ◽

Cited By ~ 3

Author(s):

Gabriel Juhás ◽

Robert Lorenz ◽

Sebastian Mauser

Keyword(s):

Complete Process

Download Full-text

Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_30 ◽

2007 ◽

pp. 505-514 ◽

Cited By ~ 17

Author(s):

Ivan Poliakov ◽

Danil Sokolov ◽

Andrey Mokhov

Keyword(s):

Flow Structure ◽

Data Flow ◽

Analysis Tool ◽

Static Data

Download Full-text

Improving Static Variable Orders Via Invariants

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_8 ◽

2007 ◽

pp. 83-103 ◽

Cited By ~ 5

Author(s):

Gianfranco Ciardo ◽

Gerald Lüttgen ◽

Andy Jinqing Yu

Download Full-text

Modelling the Datagram Congestion Control Protocol’s Connection Management and Synchronization Procedures

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_25 ◽

2007 ◽

pp. 423-444 ◽

Cited By ~ 4

Author(s):

Somsak Vanit-Anunchai ◽

Jonathan Billington

Keyword(s):

Congestion Control ◽

Connection Management

Download Full-text

Web Service Orchestration with Super-Dual Object Nets

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_17 ◽

2007 ◽

pp. 263-280 ◽

Cited By ~ 2

Author(s):

Michael Köhler ◽

Heiko Rölke

Keyword(s):

Web Service ◽

Service Orchestration ◽

Dual Object ◽

Web Service Orchestration

Download Full-text

Object Nets for Mobility

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_16 ◽

2007 ◽

pp. 244-262 ◽

Cited By ~ 5

Author(s):

Michael Köhler ◽

Berndt Farwer

Download Full-text

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_7 ◽

2007 ◽

pp. 63-82 ◽

Cited By ~ 13

Author(s):

M. Boyer ◽

O. H. Roux

Keyword(s):

Petri Nets ◽

Transition Time ◽

Time Petri Nets

Download Full-text

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_9 ◽

2007 ◽

pp. 104-123 ◽

Cited By ~ 6

Author(s):

Hartmut Ehrig ◽

Kathrin Hoffmann ◽

Julia Padberg ◽

Ulrike Prange ◽

Claudia Ermel

Keyword(s):

Transition Systems

Download Full-text

Petri Nets Without Tokens

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_3 ◽

2007 ◽

pp. 20-23 ◽

Cited By ~ 2

Author(s):

Antoni Mazurkiewicz

Keyword(s):

Petri Nets

Download Full-text

Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_21 ◽

2007 ◽

pp. 342-361 ◽

Cited By ~ 3

Author(s):

Robert Lorenz ◽

Sebastian Mauser ◽

Robin Bergenthum

Download Full-text

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Complete Process Semantics for Inhibitor Nets

Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool

Improving Static Variable Orders Via Invariants

Modelling the Datagram Congestion Control Protocol’s Connection Management and Synchronization Procedures

Web Service Orchestration with Super-Dual Object Nets

Object Nets for Mobility

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets

Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems

Petri Nets Without Tokens

Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science
Latest Publications