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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642218330, 9783642218347

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning

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

10.1007/978-3-642-21834-7_5 ◽

2011 ◽

pp. 69-88 ◽

Cited By ~ 10

Author(s):

Pierre-Alain Reynier ◽

Frédéric Servais

Keyword(s):

Petri Nets

Download Full-text

How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings

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

10.1007/978-3-642-21834-7_7 ◽

2011 ◽

pp. 109-128 ◽

Cited By ~ 1

Author(s):

G. Michele Pinna

Keyword(s):

Petri Nets

Download Full-text

Occurrence Nets Then and Now: The Path to Structured Occurrence Nets

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

10.1007/978-3-642-21834-7_1 ◽

2011 ◽

pp. 1-16 ◽

Cited By ~ 3

Author(s):

Brian Randell

Download Full-text

Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models

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

10.1007/978-3-642-21834-7_19 ◽

2011 ◽

pp. 328-337 ◽

Cited By ~ 7

Author(s):

Michael Westergaard

Keyword(s):

Petri Net ◽

Coloured Petri Net ◽

High Level

Download Full-text

A Tool for Automated Test Code Generation from High-Level Petri Nets

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

10.1007/978-3-642-21834-7_17 ◽

2011 ◽

pp. 308-317 ◽

Cited By ~ 19

Author(s):

Dianxiang Xu

Keyword(s):

Petri Nets ◽

Code Generation ◽

Automated Test ◽

High Level

Download Full-text

The ePNK: An Extensible Petri Net Tool for PNML

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

10.1007/978-3-642-21834-7_18 ◽

2011 ◽

pp. 318-327 ◽

Cited By ~ 16

Author(s):

Ekkart Kindler

Keyword(s):

Petri Net

Download Full-text

Branching Processes of General Petri Nets

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

10.1007/978-3-642-21834-7_8 ◽

2011 ◽

pp. 129-148 ◽

Cited By ~ 2

Author(s):

Jean-Michel Couvreur ◽

Denis Poitrenaud ◽

Pascal Weil

Keyword(s):

Petri Nets ◽

Branching Processes

Download Full-text

An Algorithm for Direct Construction of Complete Merged Processes

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

10.1007/978-3-642-21834-7_6 ◽

2011 ◽

pp. 89-108 ◽

Cited By ~ 7

Author(s):

Victor Khomenko ◽

Andrey Mokhov

Keyword(s):

Direct Construction

Download Full-text

How Might Petri Nets Enhance Your Systems Biology Toolkit

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

10.1007/978-3-642-21834-7_2 ◽

2011 ◽

pp. 17-37 ◽

Cited By ~ 13

Author(s):

Monika Heiner ◽

David Gilbert

Keyword(s):

Systems Biology ◽

Petri Nets

Download Full-text

Forward Analysis and Model Checking for Trace Bounded WSTS

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

10.1007/978-3-642-21834-7_4 ◽

2011 ◽

pp. 49-68 ◽

Cited By ~ 5

Author(s):

Pierre Chambart ◽

Alain Finkel ◽

Sylvain Schmitz

Keyword(s):

Model Checking ◽

Forward Analysis

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning

How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings

Occurrence Nets Then and Now: The Path to Structured Occurrence Nets

Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models

A Tool for Automated Test Code Generation from High-Level Petri Nets

The ePNK: An Extensible Petri Net Tool for PNML

Branching Processes of General Petri Nets

An Algorithm for Direct Construction of Complete Merged Processes

How Might Petri Nets Enhance Your Systems Biology Toolkit

Forward Analysis and Model Checking for Trace Bounded WSTS

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