GN IDE: implementation, improvements and algorithms

zbMATH Open1363.68098MaRDI QIDQ2822183FDOQ2822183

Authors: Nora Angelova, Magdalina Todorova, Krassimir Atanassov 

Publication date: 27 September 2016

Published in: Doklady Bolgarskoĭ Akademii Nauk (Search for Journal in Brave)

Recommendations

• Applications of Generalized Nets
• scientific article; zbMATH DE number 4043256
• Generalized Nets
• On a new hierarchical operator over the generalized nets. II
• Generalized nets as tools for modelling of open, hybrid and closed systems: an example with an expert system

zbMATH Keywords

generalized netsGN IDE

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Using generalized nets for programme verification
• GNTicker -- a software tool for efficient interpretation of generalized net models

Uses Software

• GN IDE

This page was built for publication: GN IDE: implementation, improvements and algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2822183)