A categorical linear framework for Petri nets

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.1990.113747 ◽

2002 ◽

Author(s):

C. Brown ◽

D. Gurr

Keyword(s):

Linear Framework

Download Full-text

A Categorical Linear Framework for Petri Nets

Information and Computation ◽

10.1006/inco.1995.1150 ◽

1995 ◽

Vol 122 (2) ◽

pp. 268-285

Author(s):

C. Brown ◽

D. Gurr

Keyword(s):

Linear Framework

Download Full-text

Petri nets

AccessScience ◽

10.1036/1097-8542.yb021270 ◽

2015 ◽

Keyword(s):

Download Full-text

Modeling behavior and performance of air traffic controllers using coloured petri nets

PsycEXTRA Dataset ◽

10.1037/e557102013-034 ◽

2012 ◽

Author(s):

Hardy Smieszek

Keyword(s):

Air Traffic ◽

Coloured Petri Nets ◽

Air Traffic Controllers ◽

And Performance ◽

Modeling Behavior

Download Full-text

Modeling Human-Robot Interaction with Petri-Nets

PsycEXTRA Dataset ◽

10.1037/e578522012-052 ◽

2009 ◽

Author(s):

Rosemarie Yagoda ◽

Michael D. Coovert

Keyword(s):

Human Robot Interaction ◽

Robot Interaction

Download Full-text

ESPNET: expert-system-based simulator of Petri nets

IEE Proceedings D Control Theory and Applications ◽

10.1049/ip-d.1988.0033 ◽

1988 ◽

Vol 135 (4) ◽

pp. 239 ◽

Author(s):

J. Duggan ◽

J. Browne

Keyword(s):

Expert System ◽

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):

Reduction Method ◽

Timed Petri Nets ◽

Hierarchical Scheduling

Download Full-text

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

IEEJ Transactions on Industry Applications ◽

10.1541/ieejias.129.455 ◽

2009 ◽

Vol 129 (5) ◽

pp. 455-461 ◽

Author(s):

Xinhong Hei ◽

Sei Takahashi ◽

Hideo Nakamura

Keyword(s):

Download Full-text

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

Международный журнал Программные продукты и системы ◽

10.15827/0236-235x.113.170-179 ◽

2016 ◽

Vol 31 ◽

pp. 170-179

Author(s):

Д.Э.Я. Окаи ◽

D.E.Ya. Okai ◽

А.Ю. Клюшин ◽

A.Yu. Klyushin ◽

В.Н. Богатиков ◽

...

Keyword(s):

Control System ◽

Technological Processes ◽

Solid Dosage ◽

Download Full-text

Optimization of Project Schedules in the Critical-Chain Project-Management Max-Plus-Linear Framework

International Review on Modelling and Simulations (IREMOS) ◽

10.15866/iremos.v11i4.13485 ◽

2018 ◽

Vol 11 (4) ◽

pp. 206 ◽

Author(s):

Hiroyuki Goto ◽

Alan T. Murray

Keyword(s):

Project Management ◽

Linear Framework ◽

Critical Chain Project Management ◽

Download Full-text

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

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e92.a.2732 ◽

2009 ◽

Vol E92-A (11) ◽

pp. 2732-2744

Author(s):

Satoru OCHIIWA ◽

Satoshi TAOKA ◽

Masahiro YAMAUCHI ◽

Toshimasa WATANABE

Keyword(s):

Heuristic Algorithms

Download Full-text