Lecture Notes in Computer Science - Application and Theory of Petri Nets
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642311307, 9783642311314

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CPN Assistant II: A Tool for Management of Networked Simulations

Lecture Notes in Computer Science - Application and Theory of Petri Nets ◽

10.1007/978-3-642-31131-4_23 ◽

2012 ◽

pp. 408-417 ◽

Author(s):

Štefan Korečko ◽

Ján Marcinčin ◽

Viliam Slodičák

Download Full-text

Designing Weakly Terminating ROS Systems

Lecture Notes in Computer Science - Application and Theory of Petri Nets ◽

10.1007/978-3-642-31131-4_18 ◽

2012 ◽

pp. 328-347 ◽

Author(s):

Debjyoti Bera ◽

Kees M. van Hee ◽

Jan Martijn van der Werf

Download Full-text

Capacity Planning for Vertical Search Engines: An Approach Based on Coloured Petri Nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets ◽

10.1007/978-3-642-31131-4_16 ◽

2012 ◽

pp. 288-307 ◽

Author(s):

Veronica Gil-Costa ◽

Jair Lobos ◽

Alonso Inostrosa-Psijas ◽

Mauricio Marin

Keyword(s):

Search Engines ◽

Capacity Planning ◽

Coloured Petri Nets ◽

Vertical Search

Download Full-text

Old and New Algorithms for Minimal Coverability Sets

Lecture Notes in Computer Science - Application and Theory of Petri Nets ◽

10.1007/978-3-642-31131-4_12 ◽

2012 ◽

pp. 208-227 ◽

Author(s):

Antti Valmari ◽

Henri Hansen

Keyword(s):

Download Full-text

P- and T-Systems in the Nets-within-Nets-Formalism

Lecture Notes in Computer Science - Application and Theory of Petri Nets ◽

10.1007/978-3-642-31131-4_20 ◽

2012 ◽

pp. 368-387

Author(s):

Frank Heitmann ◽

Michael Köhler-Bußmeier

Download Full-text

The Theory of WSTS: The Case of Complete WSTS

Lecture Notes in Computer Science - Application and Theory of Petri Nets ◽

10.1007/978-3-642-31131-4_2 ◽

2012 ◽

pp. 3-31 ◽

Author(s):

Alain Finkel ◽

Jean Goubault-Larrecq

Download Full-text

On Profiles and Footprints – Relational Semantics for Petri Nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets ◽

10.1007/978-3-642-31131-4_9 ◽

2012 ◽

pp. 148-167 ◽

Author(s):

Matthias Weidlich ◽

Jan Martijn van der Werf

Keyword(s):

Relational Semantics

Download Full-text

Complexity of the Soundness Problem of Bounded Workflow Nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets ◽

10.1007/978-3-642-31131-4_6 ◽

2012 ◽

pp. 92-107 ◽

Author(s):

Guan Jun Liu ◽

Jun Sun ◽

Yang Liu ◽

Jin Song Dong

Keyword(s):

Download Full-text

Safety Slicing Petri Nets

Lecture Notes in Computer Science - Application and Theory of Petri Nets ◽

10.1007/978-3-642-31131-4_15 ◽

2012 ◽

pp. 268-287 ◽

Author(s):

Astrid Rakow

Keyword(s):

Download Full-text

Net Models for Concurrent Object Behaviour

Lecture Notes in Computer Science - Application and Theory of Petri Nets ◽

10.1007/978-3-642-31131-4_1 ◽

2012 ◽

pp. 1-2

Author(s):

Tony Hoare

Download Full-text