Descriptive Timed Membrane Petri Nets for Modelling of Parallel Computing

In order to capture the compartmentation and behaviour of membrane systems for modelling of parallel computing, we introduce the descriptive dynamic rewriting Descriptive Membrane Timed Petri Nets (DM-nets) that can at in run-time modify their own structure by rewriting some of their descriptive expression components. Furthermore, this descriptive approach facilitates the understanding of complex models and their component-based construction as well as the application of modern computer engineering concepts.

Download Full-text

A Reduction Method of Timed Petri Nets for a Hierarchical Scheduling

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss1987.115.7_914 ◽

1995 ◽

Vol 115 (7) ◽

pp. 914-919

Author(s):

Kazuyuki Mori ◽

Makoto Tsukiyama ◽

Toyoo Fukuda

Keyword(s):

Petri Nets ◽

Reduction Method ◽

Timed Petri Nets ◽

Hierarchical Scheduling

Download Full-text

Two Heuristic Algorithms for the Minimum Initial Marking Problem of Timed Petri Nets

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e96.a.540 ◽

2013 ◽

Vol E96.A (2) ◽

pp. 540-553

Author(s):

Satoru OCHIIWA ◽

Satoshi TAOKA ◽

Masahiro YAMAUCHI ◽

Toshimasa WATANABE

Keyword(s):

Petri Nets ◽

Heuristic Algorithms ◽

Timed Petri Nets

Download Full-text

Optimizing horizontal microprograms for vectorial loops with timed petri nets

Proceedings of the 2nd international conference on Supercomputing - ICS '88 ◽

10.1145/55364.55409 ◽

1988 ◽

Cited By ~ 3

Author(s):

C. Hanen

Keyword(s):

Petri Nets ◽

Timed Petri Nets

Download Full-text

Timed Petri Nets for Industry 4.0 Electric Motor Manufacturing

2020 IEEE Green Energy and Smart Systems Conference (IGESSC) ◽

10.1109/igessc50231.2020.9285006 ◽

2020 ◽

Author(s):

Roy A. McCann ◽

Mireille Tankoua Sandjong

Keyword(s):

Petri Nets ◽

Electric Motor ◽

Industry 4.0 ◽

Timed Petri Nets

Download Full-text

Decision support in flexible manufacturing systems using timed Petri nets

Journal of Manufacturing Systems ◽

10.1016/0278-6125(86)90003-8 ◽

1986 ◽

Vol 5 (2) ◽

pp. 89-101 ◽

Cited By ~ 36

Author(s):

Ramarathnam Ravichandran ◽

Amiya K. Chakravarty

Keyword(s):

Decision Support ◽

Petri Nets ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets

Download Full-text

A Compositional Semantics for Timed Petri Nets1

Fundamenta Informaticae ◽

10.3233/fi-1990-13203 ◽

1990 ◽

Vol 13 (2) ◽

pp. 141-170

Author(s):

Andrea Maggiolo-Schettini ◽

Józef Winkowski

Keyword(s):

Petri Nets ◽

Compositional Semantics ◽

Timed Petri Nets ◽

Event Structures ◽

Configuration Systems

Timed Petri nets and their behaviours are considered. A concept of a seminet is introduced. which generalizes the concept of a net, and suitable operations on seminets are defined, which allow constructing seminets from atoms corresponding to places and transitions. The behaviours of seminets are given in the form of so called configuration systems, a notion close to labelled event structures. Such behaviours can be combined with the aid of operations corresponding to those on seminets. In particular, the behaviour of a compound seminet can be obtained by combining the behaviours of components.

Download Full-text