Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Sanjib Kumar Saren

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

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2017English

Related publications

A Holistic State Equation for Timed Petri Nets

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Timed Petri Nets and BQOs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems

2011English

Translating Active Objects Into Colored Petri Nets for Communication Analysis

Science of Computer Programming
Software
2019English

Using Stochastic Colored Petri Nets for Designing Multi-Purpose Plants

Engineering
2012English

Verification of Cloud Based Information Integration Architecture Using Colored Petri Nets

International Journal of Computer Network and Information Security
2018English

On State-Space Compression and State Reachability Retrieval of Petri Nets

Advances in Mechanical Engineering
Mechanical Engineering
2019English

Validation of Enterprise Architecture Through Colored Petri Nets

Management Science Letters
AccountingManagementBusiness
2015English

Discovering Colored Petri Nets From Event Logs

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

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy