Advances in Petri Nets 1991 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

3540543988

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An integrated software development methodology based on hierarchical colored Petri nets

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019977 ◽

2005 ◽

pp. 227-252 ◽

Cited By ~ 8

Author(s):

Valerio O. Pinci ◽

Robert M. Shapiro

Keyword(s):

Software Development ◽

Petri Nets ◽

Colored Petri Nets ◽

Development Methodology ◽

Software Development Methodology ◽

Integrated Software

Download Full-text

Top-down synthesis of live and bounded free choice nets

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019972 ◽

2005 ◽

pp. 118-139 ◽

Cited By ~ 12

Author(s):

Javier Esparza ◽

Manuel Silva

Keyword(s):

Free Choice ◽

Top Down

Download Full-text

The complexity of testing the equivalence of transition sequences

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019968 ◽

2005 ◽

pp. 48-57

Author(s):

Heino Carstensen

Download Full-text

Computer supported design of kanban controlled production

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019975 ◽

2005 ◽

pp. 188-204 ◽

Cited By ~ 1

Author(s):

F. Itter ◽

C. Relewicz

Keyword(s):

Computer Supported Design

Download Full-text

On net systems generated by process foldings

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019978 ◽

2005 ◽

pp. 253-276 ◽

Cited By ~ 3

Author(s):

Einar Smith

Download Full-text

Distributable nets

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019974 ◽

2005 ◽

pp. 161-187 ◽

Cited By ~ 13

Author(s):

R. P. Hopkins

Download Full-text

On abstractions of nets

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019970 ◽

2005 ◽

pp. 78-92 ◽

Cited By ~ 9

Author(s):

Jörg Desel

Download Full-text

Semantics, composition and net properties of algebraic high-level nets

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019971 ◽

2005 ◽

pp. 93-117 ◽

Cited By ~ 12

Author(s):

Cristian Dimitrovici ◽

Udo Hummert ◽

Laure Petrucci

Keyword(s):

High Level

Download Full-text

Use of reentrant nets in modular analysis of colored nets

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019969 ◽

2005 ◽

pp. 58-77 ◽

Cited By ~ 1

Author(s):

Ghassan Chehaibar

Keyword(s):

Modular Analysis

Download Full-text

Optimal simulations, nets and reachability graphs

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019976 ◽

2005 ◽

pp. 205-226 ◽

Cited By ~ 13

Author(s):

Ryszard Janicki ◽

Maciej Koutny

Download Full-text

Advances in Petri Nets 1991 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

An integrated software development methodology based on hierarchical colored Petri nets

Top-down synthesis of live and bounded free choice nets

The complexity of testing the equivalence of transition sequences

Computer supported design of kanban controlled production

On net systems generated by process foldings

Distributable nets

On abstractions of nets

Semantics, composition and net properties of algebraic high-level nets

Use of reentrant nets in modular analysis of colored nets

Optimal simulations, nets and reachability graphs

Advances in Petri Nets 1991 - Lecture Notes in Computer Science
Latest Publications