You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (4)

Journals (0)

1-4 of 4 results for Karp Miller algorithm

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning

Retricted access

Research article

First published 2013-1

Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning

Pierre-Alain Reynier, Frédéric Servais

Fundamenta Informaticae

Select article: Decidability Problems of a Basic Class of Object Nets

Retricted access

Research article

First published 2007-10

Decidability Problems of a Basic Class of Object Nets

Roxana Dietze, Manfred Kudlek, Olaf Kummer

Fundamenta Informaticae

Select article: ω-Petri Nets: Algorithms and Complexity

Retricted access

Research article

First published 2015-4

ω-Petri Nets: Algorithms and Complexity

Gilles Geeraerts, Alexander Heußner, M. Praveen [...]

Fundamenta Informaticae

Select article: Efficiently Mining Recurrent Substructures from Protein Three-Dimensional Structure Graphs

Retricted access

Research article

First published 2019-06

Efficiently Mining Recurrent Substructures from Protein Three-Dimensional Structure Graphs

Rabie Saidi, Wajdi Dhifli, Mondher Maddouri [...]

Journal of Computational Biology

1
10 / page

Article type

Publication date

Subjects

Access