Discover open access scientific publications

Search, annotate, share and cite publications

Publications by K. Vengatakrishnan

A Novel Authentication Procedure for Secured Web Login Using Coloured Petri Net

International Journal of Simulation: Systems, Science and Technology
ModelingSoftwareSimulation
2019English

Related publications

A Novel Revolutionary Highly Secured Object Authentication Schema

IOSR Journal of Computer Engineering
2012English

Transformation of DEMO Model Into Coloured Petri Net - Ontology Based Simulation

2014English

Diagnosis of Technological Systems Based on Their Coloured Petri Net Model

IFAC Proceedings Volumes
2012English

Petri Net Analysis Using Invariant Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Biometric Based Remote Login Password Authentication Scheme Using Smart Card

International Journal of Advance Engineering and Research Development
2016English

Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net

International Journal of Computer Applications
2013English

The Symmetry Method for Coloured Petri Nets

DAIMI Report Series
2002English

Incremental Process Discovery Using Petri Net Synthesis

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2017English

Parametrisation of Coloured Petri Nets

DAIMI Report Series
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy