Verification of Cloud Based Information Integration Architecture Using Colored Petri Nets

International Journal of Computer Network and Information Security

doi 10.5815/ijcnis.2018.02.01

Full Text

Abstract

Available in

Date

Authors

Publisher

MECS Publisher

Related search

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

Discovering Colored Petri Nets From Event Logs

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

Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs With Symmetries

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
1999English

Architecture of Dynamic Service Composition Using Logic Petri Nets

Journal of Software Engineering and Applications
2011English

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

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

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2017English

Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2011English

Modeling and Simulation of Task Allocation With Colored Petri Nets

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy