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

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642024238, 9783642024245

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication

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

10.1007/978-3-642-02424-5_6 ◽

2009 ◽

pp. 63-82 ◽

Author(s):

Fernando Rosa-Velardo ◽

David de Frutos-Escrig

Keyword(s):

Download Full-text

Orthomodular Lattices in Occurrence Nets

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

10.1007/978-3-642-02424-5_11 ◽

2009 ◽

pp. 163-182

Author(s):

Luca Bernardinello ◽

Lucia Pomello ◽

Stefania Rombolà

Keyword(s):

Orthomodular Lattices

Download Full-text

ASAP: An Extensible Platform for State Space Analysis

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

10.1007/978-3-642-02424-5_18 ◽

2009 ◽

pp. 303-312 ◽

Author(s):

Michael Westergaard ◽

Sami Evangelista ◽

Lars Michael Kristensen

Keyword(s):

State Space ◽

Space Analysis ◽

State Space Analysis

Download Full-text

Reaction Systems: A Formal Framework for Processes

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

10.1007/978-3-642-02424-5_3 ◽

2009 ◽

pp. 22-22

Author(s):

Grzegorz Rozenberg

Keyword(s):

Reaction Systems ◽

Formal Framework

Download Full-text

PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description

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

10.1007/978-3-642-02424-5_22 ◽

2009 ◽

pp. 343-352 ◽

Author(s):

Ali Khalili ◽

Amir Jalaly Bidgoly ◽

Mohammad Abdollahi Azgomi

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Modeling Tool ◽

Download Full-text

Hornets: Nets within Nets Combined with Net Algebra

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

10.1007/978-3-642-02424-5_15 ◽

2009 ◽

pp. 243-262 ◽

Author(s):

Michael Köhler-Bußmeier

Download Full-text

Bisimilarity Minimization in O(m logn) Time

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

10.1007/978-3-642-02424-5_9 ◽

2009 ◽

pp. 123-142 ◽

Author(s):

Antti Valmari

Download Full-text

Component-Based Construction of Heterogeneous Real-Time Systems in Bip

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

10.1007/978-3-642-02424-5_1 ◽

2009 ◽

pp. 1-1 ◽

Author(s):

Joseph Sifakis

Keyword(s):

Real Time ◽

Real Time Systems ◽

Download Full-text

Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed

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

10.1007/978-3-642-02424-5_13 ◽

2009 ◽

pp. 204-222 ◽

Author(s):

Isabel Demongodin

Keyword(s):

Transportation Networks ◽

Modeling And Analysis

Download Full-text

Simple Composition of Nets

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

10.1007/978-3-642-02424-5_4 ◽

2009 ◽

pp. 23-42 ◽

Author(s):

Wolfgang Reisig

Download Full-text