Petri nets

Results: 184



#Item
1Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States Michael Blondin Christoph Haase

Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States Michael Blondin Christoph Haase

Add to Reading List

Source URL: www7.in.tum.de

Language: English - Date: 2017-06-12 05:55:41
    2Complete Finite Prefixes of Symbolic Unfoldings of Time Petri Nets Thomas Chatain1 and Claude Jard2 1 IRISA/INRIA,

    Complete Finite Prefixes of Symbolic Unfoldings of Time Petri Nets Thomas Chatain1 and Claude Jard2 1 IRISA/INRIA,

    Add to Reading List

    Source URL: pagesperso.lina.univ-nantes.fr

    Language: English - Date: 2013-07-03 04:01:35
      3Model engineering on Petri nets for ISO/IEC: API Framework for Petri Net types metamodels Lom Hillah, Fabrice Kordon (LIP6, Univ. P. & M. Curie), {lom-messan.hillah,fabrice.kordon}@lip6.fr Laure Petrucci (LIPN, U

      Model engineering on Petri nets for ISO/IEC: API Framework for Petri Net types metamodels Lom Hillah, Fabrice Kordon (LIP6, Univ. P. & M. Curie), {lom-messan.hillah,fabrice.kordon}@lip6.fr Laure Petrucci (LIPN, U

      Add to Reading List

      Source URL: www.mefosyloma.fr

      Language: English - Date: 2018-06-25 06:32:19
        4Robustness of Time Petri Nets under architectural constraints ? S. Akshay1,2 , Lo¨ıc H´elou¨et1 , Claude Jard1,2 , Didier Lime3 and Olivier H. Roux3 1 INRIA/IRISA Rennes, France ENS Cachan Bretagne, Rennes, France

        Robustness of Time Petri Nets under architectural constraints ? S. Akshay1,2 , Lo¨ıc H´elou¨et1 , Claude Jard1,2 , Didier Lime3 and Olivier H. Roux3 1 INRIA/IRISA Rennes, France ENS Cachan Bretagne, Rennes, France

        Add to Reading List

        Source URL: people.rennes.inria.fr

        Language: English - Date: 2012-07-04 11:20:32
          5Symbolic Unfolding of Parametric Stopwatch Petri Nets L.-M. Traonouez1 , B. Grabiec2 , C. Jard2 , D. Lime3 and O. H. Roux3? 1 Universit`

          Symbolic Unfolding of Parametric Stopwatch Petri Nets L.-M. Traonouez1 , B. Grabiec2 , C. Jard2 , D. Lime3 and O. H. Roux3? 1 Universit`

          Add to Reading List

          Source URL: pagesperso.lina.univ-nantes.fr

          Language: English - Date: 2013-07-03 04:01:35
            6Automated Abstraction of Labeled Petri Nets Kevin Jones University of Utah Abstract- Due to the increasing use and complexity of embedded and cyber-physical systems, proper validation of the

            Automated Abstraction of Labeled Petri Nets Kevin Jones University of Utah Abstract- Due to the increasing use and complexity of embedded and cyber-physical systems, proper validation of the

            Add to Reading List

            Source URL: www.async.ece.utah.edu

            Language: English - Date: 2015-11-04 17:38:56
              7Robustness of Time Petri Nets under Guard Enlargement ⋆ S. Akshay1,2 , Lo¨ıc H´elou¨et1 , Claude Jard1,2 , Pierre-Alain Reynier3 1 INRIA/IRISA Rennes, France

              Robustness of Time Petri Nets under Guard Enlargement ⋆ S. Akshay1,2 , Lo¨ıc H´elou¨et1 , Claude Jard1,2 , Pierre-Alain Reynier3 1 INRIA/IRISA Rennes, France

              Add to Reading List

              Source URL: people.rennes.inria.fr

              Language: English - Date: 2015-02-28 19:31:08
                8Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States . Michael Blondin

                Logics for Continuous Reachability in Petri Nets and Vector Addition Systems with States . Michael Blondin

                Add to Reading List

                Source URL: www7.in.tum.de

                Language: English - Date: 2017-06-20 13:30:06
                  9Electronic Communications of the EASST VolumeProceedings of the Workshop on Petri Nets and Graph Transformation (PNGT 2006)

                  Electronic Communications of the EASST VolumeProceedings of the Workshop on Petri Nets and Graph Transformation (PNGT 2006)

                  Add to Reading List

                  Source URL: www.di.unipi.it

                  - Date: 2007-04-10 05:44:24
                    10Translating Orc Features into Petri nets and the Join Calculus? Roberto Bruni1 , Hern´an Melgratti2 , and Emilio Tuosto3 1 Computer Science Department, University of Pisa, Italy.

                    Translating Orc Features into Petri nets and the Join Calculus? Roberto Bruni1 , Hern´an Melgratti2 , and Emilio Tuosto3 1 Computer Science Department, University of Pisa, Italy.

                    Add to Reading List

                    Source URL: www.di.unipi.it

                    - Date: 2006-07-05 06:22:44