scholarly journals Reachability Criterion with Sufficient Test Space for Ordinary Petri Net

10.5772/50518 ◽  
2012 ◽  
Author(s):  
Gi Bum ◽  
Han Zandong ◽  
Jin S.
Keyword(s):  
Petri Net ◽  
Test Space ◽  
Sufficient Test

Generation of the Petri net by means of the resources of the dis-crete-continuous nets in the algorithm formation for the self-tuning of the coordinating control system

2017 ◽  
Vol 26 (102) ◽  
pp. 78-87 ◽  
Author(s):  
A. A. Gurskiy ◽  
◽  
A. E. Goncharenko ◽  
A. V. Denisenko
Keyword(s):  
Control System ◽  
Petri Net ◽  
The Self ◽  
Self Tuning ◽  
Coordinating Control

Computational Complexity of Liveness Problem of Normal Petri Net

2009 ◽  
Vol E92-A (11) ◽  
pp. 2717-2722 ◽  
Author(s):  
Atsushi OHTA ◽  
Kohkichi TSUJI
Keyword(s):  
Computational Complexity ◽  
Petri Net

A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance

2017 ◽  
Vol 5 (12) ◽  
pp. 290-295
Author(s):  
R. Barik ◽  
◽  
◽  
◽  
◽  
...  
Keyword(s):  
Collision Avoidance ◽  
Petri Net ◽  
Signalling System ◽  
Railway Signalling

Service-oriented design in aspect-oriented and Petri net-based approach

2007 ◽  
Author(s):  
Tae-hyung Kim
Keyword(s):  
Petri Net ◽  
Service Oriented

Modeling and application of an embedded real-time system based on real-time colored Petri net

2018 ◽  
Vol 51 (4-6) ◽  
pp. 333-345
Author(s):  
Lianli HUANG ◽  
Kui ZHOU
Keyword(s):  
Real Time ◽  
Petri Net ◽  
Colored Petri Net ◽  
Time System ◽  
Real Time System

A Time Petri Net Model Based on Uniform Distribution

2010 ◽  
Vol 33 (5) ◽  
pp. 900-907 ◽  
Author(s):  
Li PAN ◽  
Zhi-Jun DING ◽  
Gang CHEN
Keyword(s):  
Uniform Distribution ◽  
Petri Net ◽  
Model Based ◽  
Time Petri Net

A Construction Method for the Process Expression of a Petri Net Based on Synchronization Composition

2009 ◽  
Vol 31 (3) ◽  
pp. 381-390
Author(s):  
Qing-Tian ZENG
Keyword(s):  
Petri Net ◽  
Construction Method

Emergency collaborative Petri net modeling and collaborative detection based on multi-Agent system

2010 ◽  
Vol 30 (10) ◽  
pp. 2567-2571 ◽  
Author(s):  
Lei DU ◽  
Wen-jun WANG ◽  
Cun-xiang DONG ◽  
Li-xiong LI ◽  
Shan GAO
Keyword(s):  
Petri Net ◽  
Multi Agent System ◽  
Agent System ◽  
Multi Agent ◽  
Collaborative Detection
Sign in / Sign up

Export Citation Format

Share Document