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 (58)

Journals (0)

1-10 of 58 results for Petri net synthesis

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Target-oriented Petri Net Synthesis

Retricted access

Research article

First published 2020

Target-oriented Petri Net Synthesis

Eike Best, Raymond Devillers, Evgeny Erofeev [...]

Fundamenta Informaticae

Select article: Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis

Retricted access

Research article

First published 2021

Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis

Raymond Devillers

Fundamenta Informaticae

Select article: Incremental Process Discovery using Petri Net Synthesis

Retricted access

Research article

First published 2017-8-9

Incremental Process Discovery using Petri Net Synthesis

Eric Badouel, Uli Schlachter

Fundamenta Informaticae

Select article: Synthesis and Analysis of Product-form Petri Nets

Retricted access

Research article

First published 2013-1

Synthesis and Analysis of Product-form Petri Nets

Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen

Fundamenta Informaticae

Select article: The Complexity of Synthesis of b -Bounded Petri Nets

Retricted access

Research article

First published 2021

The Complexity of Synthesis of b -Bounded Petri Nets

Ronny Tredup

Fundamenta Informaticae

Select article: Place/Transition Petri net Evolutions: Recording Ways,Analysis and Synthesis

Retricted access

Research article

First published 2002-6

Place/Transition Petri net Evolutions: Recording Ways,Analysis and Synthesis

Ludwik Czaja

Fundamenta Informaticae

Select article: Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods

Retricted access

Research article

First published 2019

Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods

Raymond Devillers, Thomas Hujsa

Fundamenta Informaticae

Select article: Synthesis for Various Petri Net Classes with Union/Find

Retricted access

Research article

First published 2019

Synthesis for Various Petri Net Classes with Union/Find

Karsten Wolf

Fundamenta Informaticae

Select article: A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets

Retricted access

Research article

First published 2024-09-20

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets

Jaime Arias, Kyungmin Bae, Carlos Olarte [...]

Fundamenta Informaticae

Select article: Synthesis of Petri Net Models: A Rough Set Approach

Retricted access

Research article

First published 2003-5

Synthesis of Petri Net Models: A Rough Set Approach

Krzysztof Pancerz, Zbigniew Suraj

Fundamenta Informaticae

1
2
3
•••
6
10 / page

Article type

Publication date

Subjects

Access