scholarly journals On Functions Weakly Computable by Petri Nets and Vector Addition Systems

2014 ◽  
pp. 190-202 ◽  
Author(s):  
J. Leroux ◽  
Ph. Schnoebelen
Keyword(s):  
Petri Nets ◽  
Vector Addition

SOME COMPLEXITY RESULTS FOR RINGS OF PETRI NETS

1994 ◽  
Vol 05 (03n04) ◽  
pp. 281-292
Author(s):  
HSU-CHUN YEN ◽  
BOW-YAW WANG ◽  
MING-SHANG YANG
Keyword(s):  
Petri Nets ◽  
State Machines ◽  
Slight Improvement ◽  
Reachability Problem ◽  
Encoding Scheme ◽  
N Cycle ◽  
Vector Addition ◽  
Finite State ◽  
Boundedness Problem ◽  
Compare And Contrast

We define a subclass of Petri nets called m–state n–cycle Petri nets, each of which can be thought of as a ring of n bounded (by m states) Petri nets using n potentially unbounded places as joins. Let Ring(n, l, m) be the class of m–state n–cycle Petri nets in which the largest integer mentioned can be represented in l bits (when the standard binary encoding scheme is used). As it turns out, both the reachability problem and the boundedness problem can be decided in O(n(l+log m)) nondeterministic space. Our results provide a slight improvement over previous results for the so-called cyclic communicating finite state machines. We also compare and contrast our results with that of VASS(n, l, s), which represents the class of n-dimensional s-state vector addition systems with states where the largest integer mentioned can be described in l bits.

Modeling Human-Robot Interaction with Petri-Nets

2009 ◽  
Author(s):  
Rosemarie Yagoda ◽  
Michael D. Coovert
Keyword(s):  
Petri Nets ◽  
Human Robot Interaction ◽  
Robot Interaction

ESPNET: expert-system-based simulator of Petri nets

1988 ◽  
Vol 135 (4) ◽  
pp. 239 ◽  
Author(s):  
J. Duggan ◽  
J. Browne
Keyword(s):  
Expert System ◽  
Petri Nets

A Reduction Method of Timed Petri Nets for a Hierarchical Scheduling

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

Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets

2009 ◽  
Vol 129 (5) ◽  
pp. 455-461 ◽  
Author(s):  
Xinhong Hei ◽  
Sei Takahashi ◽  
Hideo Nakamura
Keyword(s):  
Petri Nets

Modeling of the time-cycle control system for technological processes equipment in pharmaceutical solid dosage manufacturing based on petri nets

2016 ◽  
Vol 31 ◽  
pp. 170-179
Author(s):  
Д.Э.Я. Окаи ◽  
D.E.Ya. Okai ◽  
А.Ю. Клюшин ◽  
A.Yu. Klyushin ◽  
В.Н. Богатиков ◽  
...  
Keyword(s):  
Control System ◽  
Petri Nets ◽  
Technological Processes ◽  
Solid Dosage ◽  
Time Cycle
Sign in / Sign up

Export Citation Format

Share Document