Synthesis of Petri Nets with Whole-Place Operations and Localities (Q3179395): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: H. C. M. Kleijn / rank
Normal rank
 
Property / author
 
Property / author: H. C. M. Kleijn / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2521801375 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Petri net synthesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4247291 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4948012 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesis of Nets with Step Firing Policies / rank
 
Normal rank
Property / cites work
 
Property / cites work: The synthesis problem of Petri nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4219024 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial (set) 2-structures. I: Basic notions and the representation problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A well-structured framework for analysing Petri net extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applying regions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesis Problem for Petri Nets with Localities / rank
 
Normal rank
Property / cites work
 
Property / cites work: PETRI NETS AND STEP TRANSITION SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elementary transition systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Flip-flop nets / rank
 
Normal rank

Latest revision as of 05:26, 13 July 2024

scientific article
Language Label Description Also known as
English
Synthesis of Petri Nets with Whole-Place Operations and Localities
scientific article

    Statements

    Synthesis of Petri Nets with Whole-Place Operations and Localities (English)
    0 references
    0 references
    0 references
    21 December 2016
    0 references
    concurrency
    0 references
    theory of regions
    0 references
    transition system
    0 references
    synthesis problem
    0 references
    Petri net
    0 references
    step semantics
    0 references
    locality
    0 references
    whole-place operations net
    0 references

    Identifiers