Modeling and analysis of security protocols using role based specifications and Petri nets, ICATPN'08, vol.5062, pp.72-91, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00340476
Box calculus with coloured buffers, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00114687
Petri nets with causal time for system verification, MTCS'02, vol.68, pp.1-16, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00114682
Box calculus with high-level buffers, DADS'04, pp.1-6, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00114672
A Petri net based framework for a qualitative modelling of regulatory networks encompassing inter-cellular signalling, JB'09, pp.1-5, 2009. ,
Qualitative modelling of regulatory networks using Petri nets: application to developmental processes, chapter in preparation ,
Operational semantics for PBC with asynchronous communication, HPC'02, pp.1-6, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00114684
An algebra of non-safe Petri boxes, AMAST'02, vol.2422, pp.185-214, 2002. ,
, Asynchonous box calculus. Fundamenta Informaticae, vol.54, issue.1, pp.1-50, 2003.
Towards efficient verification of systems with dynamic process creation, ICTAC'08, vol.5160, pp.186-200, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00666665
Towards efficient verification of systems with dynamic process creation, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00666665
An approach to state space reduction for systems with dynamic process creation, ISCIS'09, pp.1-6 ,
URL : https://hal.archives-ouvertes.fr/hal-00666664
Asynchronous links in the PBC and M-nets, ASIAN'99, vol.1742, pp.190-200, 1999. ,
URL : https://hal.archives-ouvertes.fr/hal-00114697
A concurrent and compositional Petri net semantics of preemption, IFM'00, vol.1945, pp.318-337, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00114693
A concurrent semantics of static exceptions in a parallel programming language, ICATPN'01, vol.2075, pp.204-223, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00114689
A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems, Fundamenta Informaticae, vol.50, issue.1, pp.33-55, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00114685
M-nets: a survey, Acta Informatica, vol.45, issue.7-8, pp.537-564, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00870484
, SNAKES is the net algebra
FIFO buffers in tie sauce, DAPSYS'00, pp.95-104, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00114694
Modèles composables et concurrents pour le temps-réel, 2002. ,
Causal time calculus, FORMATS'03, vol.2791, pp.1-12, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00114673
Petri nets as executable specifications of high-level timed parallel systems, PAPP/ICCS'04, vol.3038, pp.331-338, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00114670
Versatile boxes: a multi-purpose algebra of high-level Petri nets, DADS'07, pp.665-672, 2004. ,
Petri nets as executable specifications of high-level timed parallel systems, Scalable Computing: Practice and Experience, vol.6, issue.6, pp.71-82, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00114670
Quickly prototyping Petri nets tools with SNAKES. Petri net newsletter, pp.1-18, 2008. ,
Quickly prototyping Petri nets tools with SNAKES, PNTAP'08, pp.1-10, 2008. ,
Nets-in-nets with SNAKES, MOCA'09, pp.107-126, 2009. ,
Efficient reachability graph representation of Petri nets with unbounded counters, INFINITY'07, vol.239, pp.1-10, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00340494
FIFO buffers is hot tie sauce, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00114692
, , 2007.
A calculus for cryptographic protocols: the spi calculus, CCS'97, 1997. ,
Extending the Petri box calculus with time, ICATPN'01, vol.2075, 2001. ,
, AlPiNA: an algebraic Petri net analyzer
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, 1994. ,
, AVISPA: Automated validation of Internet security protocols and applications
FAST: Fast acceleration of symbolic transition systems, CAV'03, vol.2725, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00084185
Workshop on Definition, Implementation and Application of a Standard Interchange Format for Petri Nets, 2004. ,
, Handbook of Process Algebra, 2001.
Sequential and concurrent behaviour in Petri net theory, Theoretical Computer Science, vol.55, issue.1, 1987. ,
The box calculus: a new causal algebra with multilabel communication, Advances in Petri Nets, 1992. ,
Petri net algebra, 2001. ,
M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages, Acta Informatica, vol.35, issue.10, 1998. ,
B(PN) 2 -a basic Petri net programming notation, PARLE'93 ,
, , 1993.
An efficient cryptographic protocol verifier based on Prolog rules, IEEE CSFW'01, 2001. ,
Handling algebraic properties in automatic analysis of security protocols, ICTAC'06, vol.4281, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00070169
The Liège automata-based symbolic handler ,
Symmetric Spin, International Journal Software Tools for Technology Transfer, vol.4, issue.1, 2002. ,
Towards distributed verification of Petri nets properties, VECOS'07, eWiC, 2007. ,
A semantics of security protocol language (SPL) using a class of composable high-level Petri nets, ACSD'04, 2004. ,
Modelling and verification of authentication using enhanced net semantics of SPL (security protocol language), ACSD'06, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00340477
Managing complexity in model checking with decision diagrams for algebraic petri net, Pre-proceedings of PNSE'09, 2009. ,
Generating coloured Petri nets of concurrent object-oriented programs, ESMc'04. EUROSIS, 2004. ,
Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, and Philippe Schnoebelen. Systems and software verification: model-checking techniques and tools, 2001. ,
Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets, ICATPN'04, vol.3099, 2004. ,
Qualitative Petri net modelling of genetic networks, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00310988
On well-formed coloured nets and their symbolic reachability graph, High-Level Petri Nets -Theory and Application, 1991. ,
A sweep-line method for state space exploration, TACAS'01, vol.2031, 2001. ,
Modular analysis of Petri nets, The Computer Journal, vol.43, issue.3, 2000. ,
Symmetry reductions in model checking, CAV'98, vol.1427, 1998. ,
A (sub)graph isomorphism algorithm for matching large graphs, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.26, issue.10, 2004. ,
A BDD-like implementation of an automata package, CIAA'04, vol.3317, 2004. ,
Data decision diagrams for Petri net analysis, ICATPN'02, vol.34, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-01544997
Events in security protocols, CCS'01, 2001. ,
Modeling and simulation of genetic regulatory systems: a literature review, Journal of Computational Biology, vol.1, issue.9, 2002. ,
General parameterised refinement and recursion for the M-net calculus, Theoretical Compututer Science, vol.300, issue.1-3, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00005602
New directions in cryptography, IEEE Transactions on Information Theory, vol.22, issue.6, 1976. ,
On the security of public key protocols, IEEE Transactions on Information Theory, vol.29, issue.2, 1983. ,
Fundamentals of Algebraic Specification I, 1985. ,
MONA 1.x: new techniques for WS1S and WS2S, CAV'98, vol.1427, 1998. ,
Graphviz -open source graph drawing tools, Graph Drawing'01, vol.2265, 2001. ,
Decidability issues for Petri nets-A survey, Bulletin of the European Association for Theoretical Computer Science, vol.52, 1994. ,
An improvement of McMillan's unfolding algorithm, FMSD'96, 1996. ,
New coloured reductions for software validation, WODES'04, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-01124921
Syntactical colored Petri nets reductions, ATVA'05, vol.3707, 2005. ,
An efficient algorithm for the enabling test of colored Petri nets, CPN'04, number 570 in DAIMI report PB. University ofÅrhus, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-01124934
Memory efficient state space storage in explicit software model checking, SPIN'05, vol.3639, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-01125050
On the computation of stubborn sets of colored Petri nets, ICATPN'06, vol.4024, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00145906
Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle, Bioinformatics, vol.22, issue.14, 2006. ,
Exploring network structure, dynamics, and function using NetworkX, SciPy'08, 2008. ,
Hierarchical set decision diagrams and automatic saturation, ICATPN'08, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01303835
Parallelisation of the Petri net unfolding algorithm, TACAS'02, vol.2280, 2002. ,
Adding symmetry reduction to Uppaal, FORMATS'03, vol.2791, 2003. ,
An analysis of bitstate hashing, Formal Methods in System Design, vol.13, issue.3, 1998. ,
,
Better verification through symmetry, Formal Methods in System Design, vol.9, issue.1-2, 1996. ,
Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 2009. ,
On the Symmetry Reduction Method for Petri Nets and Similar Formalisms, 2003. ,
Verification of coloured Petri nets using state spaces with equivalence classes, LINCOM Studies in Computer Science, vol.1, 2003. ,
Punf: Petri net unfolder ,
Model Checking Based on Prefixes of Petri Net Unfoldings, 2003. ,
An incremental and modular technique for checking LTL\X properties of Petri nets, FORTE'07, 2007. ,
Parameterized M-expression semantics of parallel procedures, DAPSYS'00, 2000. ,
A compositional model of time Petri nets, ICATPN'00, vol.1825, 2000. ,
A generalised sweep-line method for safety properties, FME/FM'02, vol.2391, 2002. ,
Distributed-memory model checking with Spin, SPIN'99, 1999. ,
Incremental state space construction for coloured Petri nets, ICATPN'01, 2001. ,
Symbolic Model Checking, 1993. ,
Modular reachability analyser for algebraic system nets, ICATPN'02, vol.2360, 2002. ,
A network model for the control of the differentiation process in Th cells, Biosystems, vol.84, issue.2, 2006. ,
Recoverability of communication protocols: Implications of a theoretical study, IEEE Transaction on Communications, vol.24, issue.9, 1976. ,
There is plenty of room for unconventional programming languages or declaratives simulations of dynamicals systems (with a dynamical structure), 2007. ,
,
Symmetry in temporal logic model checking, ACM Computing Surveys (CSUR), vol.38, issue.3, 2006. ,
Communicating and Mobile Systems: the Pi-Calculus, 1999. ,
, The modular reachability analyzer
Applying compiler techniques to reachability analysis of high-level models, CS&P'00, number 140 in Informatik-Bericht, 2000. ,
Condensed storage of multi-set sequences, CPN'00, number 547 in DAIMI report PB. University ofÅrhus, 2000. ,
Optimising enabling tests and unfoldings of algebraic system nets, ICATPN'01, vol.2075, 2001. ,
A reachability analyser for algebraic system nets, 2001. ,
Using encryption for authentication in large networks of computers, Communication of the ACM, vol.21, issue.12, 1978. ,
,
Distributed colored Petri net model-checking with Cyclades, FMICS/PDMC'06, vol.4346, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-01125215
, The PEP tool
Formal models for multicast traffic in network on chip architectures with compositional high-level Petri nets, ICATPN'07, vol.4546, 2007. ,
Petri nets, ACM Computing Surveys, vol.9, issue.3, 1977. ,
Petri Net Theory and the Modeling of Systems, vol.89, 1981. ,
The Omega test: a fast and practical integer programming algorithm for dependence analysis, ACM/IEEE SC'91, 1991. ,
, Python Software Foundation
Decidability of second-order theories and automata on infinite trees, Transactions of the AMS, vol.141, 1969. ,
Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, 1974. ,
Reachability in Petri nets with inhibitor arcs, ENTCS, vol.223, 2008. ,
Haskell-coloured Petri nets, IFL'99, 2000. ,
, The Petri net kernel
A logical model provides insights into T cell receptor signaling, PLoS Computational Biology, vol.3, 2007. ,
Segmenting the fly embryo: a logical analysis of the segment polarity cross-regulatory module, The International Journal of Developmental Biology, vol.52, issue.8, 2008. ,
A logical analysis of the drosophila gap-gene system, Journal of Theoretical Biology, vol.211, issue.2, 2001. ,
Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module, Journal of Theoretical Biology, vol.224, issue.4, 2003. ,
Current approaches to gene regulatory network modelling, BMC Bioinformatics, vol.8, issue.6, 2007. ,
Questions and answers about, BSP. Scientific Programming, vol.6, issue.3, 1997. ,
Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach, Bioinformatics, vol.23, issue.3, 2007. ,
Boolean formalisation of genetic control circuits, Journal of Theoretical Biology, vol.42, 1973. ,
Dynamical behaviour of biological regulatory networks-I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state, Bulletin of mathematical Biology, vol.57, issue.57, 1995. ,
Object Petri nets: Using the nets-within-nets paradigm, Advanced course on Petri nets, vol.3098, pp.819-848, 2003. ,