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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540568636, 9783540477594

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On net modeling of industrial size concurrent systems

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

10.1007/3-540-56863-8_67 ◽

1993 ◽

pp. 552-561 ◽

Cited By ~ 6

Author(s):

Ludmila Cherkasova ◽

Vadim Kotov ◽

Tomas Rokicki

Keyword(s):

Concurrent Systems

Download Full-text

A unified approach for reasoning about conflict-free Petri nets

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

10.1007/3-540-56863-8_64 ◽

1993 ◽

pp. 513-531 ◽

Cited By ~ 1

Author(s):

Hsu-Chun Yen ◽

Bow-Yaw Wang ◽

Ming-Sheng Yang

Keyword(s):

Petri Nets ◽

Unified Approach

Download Full-text

Integration of specification for modeling and specification for system design

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

10.1007/3-540-56863-8_62 ◽

1993 ◽

pp. 473-492 ◽

Cited By ~ 6

Author(s):

Chang-Yu Wang ◽

Kishor S. Trivedi

Keyword(s):

System Design

Download Full-text

Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems

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

10.1007/3-540-56863-8_48 ◽

1993 ◽

pp. 206-223 ◽

Cited By ~ 16

Author(s):

Yi Deng ◽

S. K. Chang ◽

Jorge C. A. Figueired ◽

Angelo Perkusich

Keyword(s):

Information Systems ◽

Software Engineering ◽

Petri Nets ◽

Complex Information

Download Full-text

Interleaving functional and performance structural analysis of net models

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

10.1007/3-540-56863-8_37 ◽

1993 ◽

pp. 17-23 ◽

Cited By ~ 5

Author(s):

Manuel Silva

Keyword(s):

Structural Analysis ◽

And Performance

Download Full-text

Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks

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

10.1007/3-540-56863-8_58 ◽

1993 ◽

pp. 397-414 ◽

Cited By ~ 2

Author(s):

C. R. M. Sundaram ◽

Y. Narahari

Keyword(s):

Load Balancing ◽

Petri Nets ◽

Dynamic Load ◽

Queueing Networks ◽

Stochastic Petri Nets ◽

Dynamic Load Balancing

Download Full-text

Liveness and home states in equal conflict systems

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

10.1007/3-540-56863-8_59 ◽

1993 ◽

pp. 415-432 ◽

Cited By ~ 17

Author(s):

Enrique Teruel ◽

Manuel Silva

Download Full-text

Construction of S-invariants and S-components for refined Petri boxes

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

10.1007/3-540-56863-8_50 ◽

1993 ◽

pp. 242-261 ◽

Cited By ~ 4

Author(s):

Raymond Devillers

Download Full-text

Taking advantages of temporal redundancy in High Level Petri Nets implementations

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

10.1007/3-540-56863-8_39 ◽

1993 ◽

pp. 32-48 ◽

Cited By ~ 4

Author(s):

J. A. Bañares ◽

P. R. Muro-Medrano ◽

J. L. Villarroel

Keyword(s):

Petri Nets ◽

High Level ◽

Temporal Redundancy

Download Full-text

Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model

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

10.1007/3-540-56863-8_55 ◽

1993 ◽

pp. 339-356 ◽

Cited By ~ 9

Author(s):

Luigi Portinale

Keyword(s):

Petri Net ◽

Diagnostic Reasoning ◽

Invariant Analysis

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On net modeling of industrial size concurrent systems

A unified approach for reasoning about conflict-free Petri nets

Integration of specification for modeling and specification for system design

Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems

Interleaving functional and performance structural analysis of net models

Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks

Liveness and home states in equal conflict systems

Construction of S-invariants and S-components for refined Petri boxes

Taking advantages of temporal redundancy in High Level Petri Nets implementations

Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model

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