Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations

Authors:
Ludwik Czaja;Manfred Kudlek
Affiliations:
Institute of Informatics, Warsaw Uniwersity, Banacha 2, Warsaw, Poland. lczaja@mimuw.edu.pl;(Correspd.) Department Informatik, MIN-Fakultät, Universität Hamburg, Germany, Vogt-Kölln-Straße 30. D-22527 Hamburg, Germany. kudlek@informatik.uni-hamburg.de
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Year:
2010

Citing 6
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Extension and intension of actions

Concurrency and nets: advances in Petri nets
Synthesis of Nets with Inhibitor Arcs

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Comments on capabilities, limitations and “correctness” of Petri nets

ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
Boolean Algebra of Nets, their Synthesis and Analysis

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Analysis and Synthesis of Net Structures and Transition Graphs

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We extend the investigation of synthesis and analysis of net structures and transition graphs to such with inhibitor relations, and show that the results obtained for the simpler case can be extended, too.