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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540422525, 9783540457404

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

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

10.1007/3-540-45740-2_15 ◽

2001 ◽

pp. 242-262 ◽

Cited By ~ 9

Author(s):

Timo Latvala

Keyword(s):

Model Checking ◽

Petri Nets ◽

Fairness Constraints ◽

High Level

Download Full-text

The Flux of Interaction

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

10.1007/3-540-45740-2_2 ◽

2001 ◽

pp. 19-22 ◽

Cited By ~ 2

Author(s):

Robin Milner

Download Full-text

Optimising Enabling Tests and Unfoldings of Algebraic System Nets

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

10.1007/3-540-45740-2_17 ◽

2001 ◽

pp. 283-302 ◽

Cited By ~ 6

Author(s):

Marko Mäkelä

Keyword(s):

Algebraic System

Download Full-text

Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets

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

10.1007/3-540-45740-2_19 ◽

2001 ◽

pp. 323-342 ◽

Cited By ~ 13

Author(s):

Wojciech Penczek ◽

Agata Półrola

Keyword(s):

Petri Nets ◽

Partial Order ◽

Time Petri Nets

Download Full-text

Condensed State Spaces for Timed Petri Nets

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

10.1007/3-540-45740-2_8 ◽

2001 ◽

pp. 101-120 ◽

Cited By ~ 13

Author(s):

Søren Christensen ◽

Lars Michael Kristensen ◽

Thomas Mailund

Keyword(s):

Petri Nets ◽

Condensed State ◽

Timed Petri Nets ◽

State Spaces

Download Full-text

Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems

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

10.1007/3-540-45740-2_7 ◽

2001 ◽

pp. 81-100

Author(s):

Slavek Bulach ◽

Anton Brauchle ◽

Hans-Jörg Pfleiderer ◽

Zdenek Kucerovsky

Keyword(s):

Control Systems ◽

Petri Net ◽

Discrete Event ◽

Design And Implementation ◽

Discrete Event Control ◽

Implementation Methodology

Download Full-text

Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time

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

10.1007/3-540-45740-2_21 ◽

2001 ◽

pp. 363-381 ◽

Cited By ~ 1

Author(s):

L. Jason Steggles

Keyword(s):

Petri Nets ◽

Rewriting Logic

Download Full-text

Extending the Petri Box Calculus with Time

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

10.1007/3-540-45740-2_18 ◽

2001 ◽

pp. 303-322 ◽

Cited By ~ 9

Author(s):

Olga Marroquín Alonso ◽

David Frutos de Escrig

Download Full-text

Partial S-Invariants for the Verification of Infinite Systems Families

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

10.1007/3-540-45740-2_22 ◽

2001 ◽

pp. 382-401 ◽

Cited By ~ 1

Author(s):

Walter Vogler

Keyword(s):

Infinite Systems

Download Full-text

Modelling the Structure and Behaviour of Petri Net Agents

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

10.1007/3-540-45740-2_14 ◽

2001 ◽

pp. 224-241 ◽

Cited By ~ 42

Author(s):

Michael Köhler ◽

Daniel Moldt ◽

Heiko Rölke

Keyword(s):

Petri Net

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

The Flux of Interaction

Optimising Enabling Tests and Unfoldings of Algebraic System Nets

Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets

Condensed State Spaces for Timed Petri Nets

Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems

Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time

Extending the Petri Box Calculus with Time

Partial S-Invariants for the Verification of Infinite Systems Families

Modelling the Structure and Behaviour of Petri Net Agents

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