Search Results - Hujsa, Thomas

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Sufficient conditions for the marked graph realisability of labelled transition systems

    Sufficient conditions for the marked graph realisability of labelled transition systems by Best, Eike, Hujsa, Thomas, Wimmel, Harro

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri Nets

    Polynomial Sufficient Conditions of Well-Behavedness and Home Markings in Subclasses of Weighted Petri Nets by Hujsa, Thomas, Delosme, Jean-Marc, Munier-Kordon, Alix

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Liveness evaluation of a cyclo-static DataFlow graph

    Liveness evaluation of a cyclo-static DataFlow graph by Benazouz, Mohamed, Munier-Kordon, Alix, Hujsa, Thomas, Bodin, Bruno

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems

    Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems by Delosme, Jean-Marc, Hujsa, Thomas, Munier-Kordon, Alix

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Property Directed Reachability for Generalized Petri Nets

    Property Directed Reachability for Generalized Petri Nets by Amat, Nicolas, Silvano Dal Zilio, Hujsa, Thomas

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond

    Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond by Devillers, Raymond, Erofeev, Evgeny, Hujsa, Thomas

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach

    Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach by Devillers, Raymond, Erofeev, Evgeny, Hujsa, Thomas

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Checking marking reachability with the state equation in Petri net subclasses

    Checking marking reachability with the state equation in Petri net subclasses by Hujsa, Thomas, Berthomieu, Bernard, Silvano Dal Zilio, Didier Le Botlan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    On the Petri Nets with a Single Shared Place and Beyond

    On the Petri Nets with a Single Shared Place and Beyond by Hujsa, Thomas, Berthomieu, Bernard, Silvano Dal Zilio, Didier Le Botlan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: