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

Journals (0)

1-10 of 17 results for Analysis and Synthesis of Petri nets

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

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: 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 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: ω-Process Languages for Place/Transition Nets

Retricted access

Research article

First published 2001-9

ω-Process Languages for Place/Transition Nets

Ludwik Czaja, Manfred Kudlek

Fundamenta Informaticae

Select article: Formal Properties of Petri’s Cycloid Systems

Retricted access

Research article

First published 2019

Formal Properties of Petri’s Cycloid Systems

Rüdiger Valk

Fundamenta Informaticae

Select article: Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP -exhaustions

Retricted access

Research article

First published 2021

Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP -exhaustions

Joachim Wehler

Fundamenta Informaticae

Select article: Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets

Retricted access

Research article

First published 2006-8

Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets

Berndt Farwer, Mauricio Varea

Fundamenta Informaticae

Select article: Cost Problems for Parametric Time Petri Nets *

Retricted access

Research article

First published 2021

Cost Problems for Parametric Time Petri Nets *

Didier Lime, Olivier H. Roux, Charlotte Seidner

Fundamenta Informaticae

Select article: Prediction of solutions on the basis of the mathematical model of cognitive digital automata

Retricted access

Research article

First published 2020-2

Prediction of solutions on the basis of the mathematical model of cognitive digital automata

V.V. Kozhevnikov, M.Yu. Leontev, S.V. Pavlov [...]

Journal of Computational Methods in Sciences and Engineering

1
2
10 / page

Article type

Publication date

Subjects

Access