Hanna Klaudel

CoRR, 2019

VerifCar: a framework for modeling and model checking communicating autonomous vehicles.

[BibT_eX]

[DOI]

Johan Arcile

Auton. Agents Multi Agent Syst., 2019

Analysis of Discrete Models for Ecosystem Ecology.

[BibT_eX]

[DOI]

Proceedings of the Biomedical Engineering Systems and Technologies, 2019

Pattern Matching in Discrete Models for Ecosystem Ecology.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019

2018

Activity Networks with Delays an Application to Toxicity Analysis.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Pattern Matching in Link Streams: Timed-Automata with Finite Memory.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2018

Modélisation du changement de voie de véhicules autonomes à différents niveaux d'abstraction.

[BibT_eX]

Proceedings of the Distribution et Décentralisation, 2018

Pattern Matching in Link Streams: A Token-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Modélisation et simulation de la coopération dans les STI : un comparatif.

[BibT_eX]

Jérémy Sobieraj

Proceedings of the Cohésion : fondement ou propriété émergente - JFSMA 17, 2017

Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles' Behaviors: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

Modeling and checking robustness of communicating autonomous vehicles.

[BibT_eX]

[DOI]

Bozena Wozna-Szczesniak

Proceedings of the Distributed Computing and Artificial Intelligence, 2017

2016

A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets.

[BibT_eX]

[DOI]

Claudine Chaouiya

Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016

Activity Networks with Delays An application to toxicity analysis.

[BibT_eX]

[DOI]

CoRR, 2016

Networks and games for precision medicine.

[BibT_eX]

[DOI]

Célia Biane

Franck Delaplace

Biosyst., 2016

Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

From Petri Nets with Shared Variables to ITL.

[BibT_eX]

[DOI]

Ben C. Moszkowski

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Indefinite waitings in MIRELA systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

Modelling and Analysing Mixed Reality Applications.

[BibT_eX]

[DOI]

Proceedings of the Man-Machine Interactions 4, 2015

2014

Interval Temporal Logic Semantics of Box Algebra.

[BibT_eX]

[DOI]

Zhenhua Duan

Proceedings of the Language and Automata Theory and Applications, 2014

Deadlock and Temporal Properties Analysis in Mixed Reality Applications.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Systemic approach for toxicity analysis.

[BibT_eX]

[DOI]

Cinzia Di Giusto

Franck Delaplace

Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), 2014

2013

ITL semantics of composite Petri nets.

[BibT_eX]

[DOI]

Zhenhua Duan

J. Log. Algebraic Methods Program., 2013

A Petri Net Interpretation of Open Reconfigurable Systems.

[BibT_eX]

[DOI]

Frédéric Peschanski

Fundam. Informaticae, 2013

Implementing Timed Automata Specifications: The "Sandwich" Approach.

[BibT_eX]

[DOI]

Jean-Yves Didier

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Integrated regulatory networks (IRNs): Spatially organized biochemical modules.

[BibT_eX]

[DOI]

Jean-Louis Giavitto

Theor. Comput. Sci., 2012

Analysis of Modular Organisation of Interaction Networks Based on Asymptotic Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2012

2011

State Space Exploration of Spatially Organized Populations of Agents.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

2010

State Space Reduction for Dynamic Process Creation.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2010

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections

[BibT_eX]

[DOI]

Jean-Louis Giavitto

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

A Decidable Characterization of a Graphical Pi-calculus with Iterators

[BibT_eX]

[DOI]

Frédéric Peschanski

Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

Discrete causal model view of biological networks.

[BibT_eX]

[DOI]

Franck Delaplace

Amandine Cartier-Michaud

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

The MIRELA framework: modeling and analyzing mixed reality applications using timed automata.

[BibT_eX]

[DOI]

Jean-Yves Didier

Bachir Djafri

J. Virtual Real. Broadcast., 2009

Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 8th, 2009

An approach to state space reduction for systems with dynamic process creation.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Computer and Information Sciences, 2009

2008

A compositional Petri net translation of general pi -calculus terms.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

M-nets: a survey.

[BibT_eX]

[DOI]

Acta Informatica, 2008

MIRELA: A Language for Modeling and Analyzing Mixed Reality Applications Using Timed Automata.

[BibT_eX]

[DOI]

Jean-Yves Didier

Bachir Djafri

Proceedings of the IEEE Virtual Reality Conference 2008 (VR 2008), 2008

Towards Efficient Verification of Systems with Dynamic Process Creation.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

From MIN model to ordinary differential equations.

[BibT_eX]

[DOI]

J. Integr. Bioinform., 2007

Incremental and unifying modelling formalism for biological interaction networks.

[BibT_eX]

[DOI]

BMC Bioinform., 2007

Modelling Mobility in High-level Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Systèmes multi-agents adaptatifs avec contraintes temps-réel.

[BibT_eX]

[DOI]

Dong Yue Wang

Tech. Sci. Informatiques, 2006

Petri Net Semantics of the Finite pi-calculus Terms.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

A Petri Net Translation of pi-Calculus Terms.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2006

Tutorial on Formal Methods for Distributed and Cooperative Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2006

Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language).

[BibT_eX]

[DOI]

Roland Bouroulet

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2005

A Petri Net Semantics of a Simple Process Algebra for Mobility.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets.

[BibT_eX]

[DOI]

Jean-Paul Comet

Stéphane Liauzu

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

Automates temporisés et systèmes multi-agents temps-réel.

[BibT_eX]

Dong Yue Wang

Proceedings of the Systèmes Multi-Agents Défis scientifiques et nouveaux usages - JFSMA 04, 2004

Object-Oriented Modelling with High-Level Modular Petri Nets.

[BibT_eX]

[DOI]

Cécile Bui Thanh

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Petri Net Semantics of the Finite pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Towards Timed Automata and Multi-agent Systems.

[BibT_eX]

[DOI]

Dong Yue Wang

Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Context-based Process Algebras for Mobility.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets.

[BibT_eX]

[DOI]

Roland Bouroulet

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

General parameterised refinement and recursion for the M-net calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Asynchronous Box Calculus.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

2002

A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Petri nets with causal time for system verification.

[BibT_eX]

[DOI]

Cécile Bui Thanh

Proceedings of the International Workshop on Models for Time-Critical Systems, 2002

An Algebra of Non-safe Petri Boxes.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Compositional high-level Petri net semantics of a parallel programming language with procedures.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2001

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

An Algebraic Box Calculus.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2000

A Concurrent and Compositional Petri Net Semantics of Preemption.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Refinement-based Semantics of Parallel Procedures.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Asynchronous Links in the PBC and M-Nets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1999

1998

M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages.

[BibT_eX]

[DOI]

Acta Informatica, 1998

M-net Calculus Based Semantics for Triggers.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997

General Refinement for High Level Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

High Level Expressions with their SOS Semantics (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1995

Refinement and Recursion in a High Level Petri Box Calculus.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

An M-net Semantics of B(PN)2.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

Communication as Unification in the Petri Box Calculus.

[BibT_eX]

[DOI]