System Modelling with Petri Nets

System modelling with high-level Petri nets

Theoretical Computer Science ◽

10.1016/0304-3975(81)90113-4 ◽

1981 ◽

Vol 13 (1) ◽

pp. 109-135 ◽

Cited By ~ 458

Author(s):

H.J. Genrich ◽

K. Lautenbach

Keyword(s):

Petri Nets ◽

System Modelling ◽

High Level

Download Full-text

Object-Oriented Petri Nets with Changeable Structure (OPNs-CS) for Production System Modelling

The International Journal of Advanced Manufacturing Technology ◽

10.1007/s001700050089 ◽

1999 ◽

Vol 15 (6) ◽

pp. 445-459 ◽

Cited By ~ 20

Author(s):

Z. Jiang ◽

M. J. Zuo ◽

P. Y. Tu ◽

R. Y. K. Fung

Keyword(s):

Petri Nets ◽

Production System ◽

Object Oriented ◽

System Modelling

Download Full-text

Petri Nets: A Graphical Tool for System Modelling and Analysis

Software Specification Methods ◽

10.1007/978-1-4471-0701-9_14 ◽

2001 ◽

pp. 241-257 ◽

Cited By ~ 1

Author(s):

Annie Choquet-Geniet ◽

Pascal Richard

Keyword(s):

Petri Nets ◽

System Modelling ◽

Graphical Tool

Download Full-text

G-Networks with Signals and Batch Removal

Probability in the Engineering and Informational Sciences ◽

10.1017/s0269964800002953 ◽

1993 ◽

Vol 7 (3) ◽

pp. 335-342 ◽

Cited By ~ 118

Author(s):

Erol Gelenbe

Keyword(s):

Petri Nets ◽

Computer System ◽

Stationary Solution ◽

Queueing Networks ◽

The Other ◽

Parallel Computer ◽

System Modelling ◽

Network Stability ◽

Batch Mode ◽

Flow Equations

We consider queueing networks containing customers and signals that were recently introduced in Gelenbe [4]. Both customers and signals can be exogenous or can be obtained by a Markovian transition of a customer after service. A signal entering a queue forces a customer to move on to another queue according to a Markovian routing rule or to leave the network in batch mode. This synchronized or triggered motion is useful in representing the effect of tokens in Petri-nets, for systems in which customers and work can be instantaneously moved from one queue to the other on the arrival of a signal as well as for other network behaviors that are encountered in parallel computer system modelling. We show that this network has product form stationary solution and establish the non-linear customer flow equations that govern it. Network stability is discussed in this new context.

Download Full-text