Petri Nets over Partial Algebra

Unifying Petri Nets - Lecture Notes in Computer Science ◽

10.1007/3-540-45541-8_6 ◽

2001 ◽

pp. 126-172 ◽

Author(s):

Jörg Desel ◽

Gabriel Juhás ◽

Robert Lorenz

Keyword(s):

Partial Algebra

Download Full-text

Process Semantics of Petri Nets over Partial Algebra

Lecture Notes in Computer Science - Application and Theory of Petri Nets 2000 ◽

10.1007/3-540-44988-4_10 ◽

2000 ◽

pp. 146-165 ◽

Author(s):

Jörg Desel ◽

Gabriel Juhás ◽

Robert Lorenz

Keyword(s):

Partial Algebra

Download Full-text

On Semantics of Petri Nets Over Partial Algebra

SOFSEM’99: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-47849-3_29 ◽

1999 ◽

pp. 414-422 ◽

Author(s):

Gabriel Juhás

Keyword(s):

Partial Algebra

Download Full-text

Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80950-2 ◽

2001 ◽

Vol 44 (4) ◽

pp. 163-187 ◽

Author(s):

Jörg Desel ◽

Gabriel Juhás ◽

Robert Lorenz

Keyword(s):

Partial Algebra

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