scholarly journals On Causal Semantics of Petri Nets

2011 ◽  
pp. 43-59 ◽  
Author(s):  
Rob J. van Glabbeek ◽  
Ursula Goltz ◽  
Jens-Wolfhard Schicke
Keyword(s):  
Petri Nets ◽  
Causal Semantics

scholarly journals A causal semantics for time Petri nets

2000 ◽  
Vol 243 (1-2) ◽  
pp. 409-447 ◽  
Author(s):  
Tuomas Aura ◽  
Johan Lilius
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
Causal Semantics

Causal Semantics for BPP Nets with Silent Moves

2021 ◽  
Vol 180 (3) ◽  
pp. 179-249
Author(s):  
Roberto Gorrieri
Keyword(s):  
Petri Nets ◽  
Transition Systems ◽  
Branching Bisimulation ◽  
Causal Semantics

BPP nets, a subclass of finite Place/Transition Petri nets, are equipped with some causal behavioral semantics, which are variations of fully-concurrent bisimilarity [3], inspired by weak [28] or branching bisimulation [12] on labeled transition systems. Then, we introduce novel, efficiently decidable, distributed semantics, inspired by team bisimulation [17] and h-team bisimulation [19], and show how they relate to these variants of fully-concurrent bisimulation.

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

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

2009 ◽  
Vol E92-A (11) ◽  
pp. 2732-2744
Author(s):  
Satoru OCHIIWA ◽  
Satoshi TAOKA ◽  
Masahiro YAMAUCHI ◽  
Toshimasa WATANABE
Keyword(s):  
Petri Nets ◽  
Heuristic Algorithms
Sign in / Sign up

Export Citation Format

Share Document