Application of colored timed Petri nets for cement production simulation
The work objective is to develop a special model of the complex distributed object - the cement production - on the basis of the colored timed Petri nets including its analysis and estimation of effectiveness and correctness. Various kinds of the Petri nets together with the methods of their determi...
Saved in:
Main Authors: | Irina A. Sedykh, Eugeny S. Anikeev |
---|---|
Format: | Article |
Language: | Russian |
Published: |
Don State Technical University
2016-12-01
|
Series: | Advanced Engineering Research |
Subjects: | |
Online Access: | https://www.vestnik-donstu.ru/jour/article/view/128 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS
by: Igor G. Fedorov
Published: (2016-08-01) -
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
by: L. W. Dworza´nski, et al.
Published: (2015-03-01) -
VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS
by: Nadezhda S. Mogilevskaya, et al.
Published: (2011-11-01) -
Review of hierarchy in Petri Nets
by: Michał Markiewicz, et al.
Published: (2025-07-01) -
Formal modeling of a causal consistent distributed system and verification of its history via model checking using colored Petri net
by: Khalid Amjed Mohammed Alsaegg, et al.
Published: (2025-07-01)