Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens
From MaRDI portal
Publication:1616270
DOI10.1007/s10559-018-0066-4zbMath1445.68141OpenAlexW2884905799MaRDI QIDQ1616270
M. M. Glybovets, O. M. Maksymets, D. K. Hlomozda
Publication date: 1 November 2018
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10559-018-0066-4
Uses Software
Cites Work
- Coloured Petri nets and the invariant-method
- Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism
- Design of grid structures on the basis of transition systems with the substantiation of the correctness of their operation
- Coloured Petri Nets
- Unnamed Item
- Unnamed Item