Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Anastasia Gkolfi

Translating Active Objects Into Colored Petri Nets for Communication Analysis

Science of Computer Programming
Software
2019English

Related publications

Discovering Colored Petri Nets From Event Logs

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2007English

Validation of Enterprise Architecture Through Colored Petri Nets

Management Science Letters
AccountingManagementBusiness
2015English

Using Stochastic Colored Petri Nets for Designing Multi-Purpose Plants

Engineering
2012English

State Space Analysis of Flexible Manufacturing Cell Using Timed Colored Petri Nets

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2017English

Modeling and Simulation of Task Allocation With Colored Petri Nets

2017English

Verification of Cloud Based Information Integration Architecture Using Colored Petri Nets

International Journal of Computer Network and Information Security
2018English

Modelling of Biometric Identification System With Given Parameters Using Colored Petri Nets

ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
2017English

Complexity Analysis of Continuous Petri Nets

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2015English

Papetri : Environment for the Analysis of PETRI Nets

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy