@InProceedings{FAST-cav03,
  author =       "S. Bardin and A. Finkel and J. Leroux and L.
                 Petrucci",
  title =        "{FAST}: {F}ast {A}cceleration of {S}ymbolic
                 {T}ransition systems",
  booktitle =    lncs2725,
  volume =       "2725",
  pages =        "118--121",
  series =       lncs,
  year =         "2003",
  publisher =    SV,
  lipn-category = "intc",
  lipn-time = "ant",
  URL =          "http://www.lsv.ens-cachan.fr/Publis/PAPERS/FAST-cav03.ps",
  wwwpublic =    "public ccsb",
}

@InProceedings{invLP-ICATPN-03,
  author =       "J. Billington and S. Christensen and K. van Hee and E.
                 Kindler and O. Kummer and L. Petrucci and R. Post and
                 C. Stehno and M. Weber",
  title =        "The {P}etri {N}et {M}arkup {L}anguage: Concepts,
                 Technology and Tools",
  booktitle =    lncs2679,
  volume =       "2679",
  pages =        "483--505",
  series =       lncs,
  year =         "2003",
  publisher =    SV,
  lipn-category = "invi",
  lipn-time = "ant",
  URL =          "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PNML-ATPN03.ps",
  wwwpublic =    "public ccsb",
}


@InProceedings{LP-LK-JB-ZQ-ACSD03,
  author =       "L. Petrucci and L. M. Kristensen and J. Billington and
                 Z. H. Qureshi",
  title =        "Developing a Formal Specification for the Mission
                 System of a Maritime Surveillance Aircraft",
  booktitle =    "Proc.\ 3rd Int.\ Conf.\ on Application of Concurrency
                 to System Design (ACSD'03), Guimarães, Portugal, June
                 2003",
  pages =        "92--101",
  year =         "2003",
  publisher =    IEEECSP,
  lipn-category = "intc",
  lipn-time = "ant",
  URL =          "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PKBQ-ACSD.ps",
  wwwpublic =    "public ccsb",
}

@MISC{FK-LP-NWI-04,
  author =       "F. Kordon and L. Petrucci",
  title =        "Proposal for an addendum to {ISO/IEC} 15909-1",
  month =	 nov,
  year =	 2004,
  note = {NWI submitted by AFNOR to ISO/IEC JTC1-SC7-WG19, ref. MAL-012},
  lipn-category = "rapl"
}

@InProceedings{HK-RK-LP-CBR-04,
  author =       "H. Karoui and R. Kanawati and L. Petrucci",
  title =        "An intelligent peer-to-peer multi-agent system for
    collaborative management of bibliographic databases",
  booktitle =    "Proc.\ Workshop on Case Based Reasoning,
                 Cambridge, England",
  missingpages =        "39--56",
  year =         "2004",
  month =	 dec,
  missingnote =         "Proceedings published as Report DAIMI-PB 570, Aarhus, DK",
  lipn-category = "autc"
}

@InProceedings{SB-LP-PNML04,
  author = 	 "S. Bardin and L. Petrucci",
  title = 	 "From {\sc PNML} to counter systems for accelerating {P}etri
	  Nets with {\sc fast}",
  booktitle =    "Proc. of the Workshop on Interchange Formats for Petri Nets
	  (at ICATPN 2004)",
  pages =        "26--40",
  lipn-category = "autc",
  URL = "http://www-lipn.univ-paris13.fr/~petrucci/PAPERS/SBLP-PNML04.pdf",
  month =	 jun,
  year = 	 2004
}

@InProceedings{LK-LP-ICATPN04,
  author = 	 "L. Kristensen and L. Petrucci",
  title = 	 "An Approach to Distributed State Space Exploration for
	  Coloured {P}etri Nets",
  series =    lncs,
  volume =       3099,
  pages =        "474--483",
  booktitle =       atpn2004,
  publisher =    SV,
  lipn-category = "intc",
  month = jun,
  URL = "http://www-lipn.univ-paris13.fr/~petrucci/PAPERS/LKLP-ICATPN04.pdf",
  year = 	 2004
}

@InProceedings{CL-LP-ACSD04,
  author = 	 "C. Lakos and L. Petrucci",
  title = 	 "Modular Analysis of Systems Composed of Semiautonomous
	  	 Subsystems",
  booktitle =    "Proc.\ 4th Int.\ Conf.\ on Application of Concurrency
                 to System Design (ACSD'04), Hamilton, Canada, June
                 2004",
  pages =        "185--194",
  month = jun,
  year =         "2004",
  URL = "http://www-lipn.univ-paris13.fr/~petrucci/PAPERS/CLLP-ACSD04.pdf",
  publisher =    IEEECSP,
  lipn-category = "intc"
}

@InProceedings{SB-LP-AFADL04,
  author = 	 "S. Bardin and L. Petrucci",
  title = 	 "{COAST} : des réseaux de {Petri} à la planification
	  assistée",
  booktitle =    "Proc.\ 6ème Conférence sur les Approches Formelles dans
	  l'Assistance au Développement de Logiciels (AFADL'2004), Besançon,
  	  France",
  pages =        "285--298",
  URL = "http://www-lipn.univ-paris13.fr/~petrucci/PAPERS/SBLP-AFADL04.pdf",
  month = jun,
  year =	 2004,
  lipn-category = "autc"
}

@Article{LP-PNNL-05,
  author =       "L. Petrucci",
  title =        "Cover Picture Story: Experiments with Modular State Spaces",
  journal =      "Petri Net Newsletter",
  volume =       "68",
  pages =        "Cover page and 5--10",
  year =         "2005",
  month =	apr,
  lipn-category = "autj",
}

@InProceedings{invLP-ISPS-05,
  author =       "L. Petrucci",
  title =        "Modularity and {P}etri nets",
  booktitle =    "Proc.\ 7th International Symposium on Programming and Systems
    (ISPS'2005), Algiers, Algeria",
  pages =        "7--8",
  year =         "2005",
  month =	may,
  lipn-category = "invi"
}

@article{LH-FK-LP-NT-PNML-05,
  author =       "L. Hillah and F. Kordon and L. Petrucci and N. Tr{\`e}ves",
  title =        "{Building an API for ISO/IEC 15909, based on model engineering
    techniques}",
  journal =      "Petri Net Newsletter",
  volume =       "69",
  nopages =        "92--101",
  year =         "2005",
  month =	oct,
  lipn-category = "autj"
}

@InProceedings{JB-GG-LP-MOMPES-05,
  author =       "J. Billington and G. E. Gallasch and L. Petrucci",
  title =        "Transforming Couloured {P}etri Nets to Counter Systems for
    Parametric Verification: A Stop-and-Wait Protocol Case Study",
  booktitle =    "Proc.\ 2nd workshop on MOdel-based Methodologies for
    Pervasive and Embedded Software (MOMPES'05, satellite of ACSD'05), Rennes,
  France",
  pages =        "37--55",
  year =         "2005",
  month =	jun,
  publisher =    "TUCS general publication",
  volume =	39,
  note = 	"ISBN 952-12-1556-9",
  lipn-category = "autc"
}

@Misc{SB-AF-JL-LP-ACSD05,
  author = 	 "S. Bardin and A. Finkel and J. Leroux and L. Petrucci",
  title =        "{FAST}: {F}ast {A}cceleration of {S}ymbolic
                 {T}ransition systems",
  month = 	 jun,
  year = 	 2005,
  note = 	 "Tool presentation at ACSD'05",
  lipn-category = "real"
}

@InProceedings{CL-LP-CPN-05,
  author =       "C. Lakos and L. Petrucci",
  title =        "Distributed and Modular State Space Exploration for Timed
  {P}etri Nets",
  booktitle =    "Proc.\ Workshop on Practical Use of Coloured Petri Nets,
                 Aarhus, Denmark",
  pages =        "191--210",
  year =         "2005",
  month =	 oct,
  note =         "Proceedings published as Report DAIMI-PB 576, Aarhus, DK",
  lipn-category = "autc"
}

@Article{JB-GG-LP-NJC-05,
  author =       "J. Billington and G. E. Gallasch and L. Petrucci",
  title =        "{FAST} Verification of the Class of Stop-and-Wait Protocols
    Modelled by Coloured {Petri} Nets",
  pages =        "275--307",
  year =         "2005",
  month =	fall,
  journal =    "Nordic Journal of Computing",
  volume =	12,
  number =	3,
  lipn-category = "jour"
}

@Article{CL-LP-STTT-06,
  author =       "C. Lakos and L. Petrucci",
  title =        "Modular State Space Exploration for Timed {P}etri Nets",
  volume = 9,
  number = "3--4",
  pages = "393--411",
  month = jun,
  journal =	 jsttt,
  lipn-category = "jour",
  year =         2007
}

@Proceedings{ACSD06,
  title = 	 "Proceedings of the 6th International Conference on
    Application of Concurrency to System Design (ACSD'06), Turku, Finland",
  booktitle = 	 "Proceedings of the 6th International Conference on
    Application of Concurrency to System Design (ACSD'06), Turku, Finland",
  year = 	 2006,
  editor = 	 {K. Goossens and L. Petrucci},
  month = 	 jun,
  publisher = IEEECSP,
  isbn = 	 "0-7695-2556-3",
  lipn-category = "edit"
}

@Book{MeFoSyLoMa-06,
  editor = 	 "S. Haddad and F. Kordon and L. Petrucci",
  title = 	 "{M\'ethodes formelles pour les syst\`emes r\'epartis et
    coop\'eratifs}",
  publisher = 	 HERMES,
  year = 	 2006,
  month =	 oct,
  lipn-category = "livr",
  isbn = 	 {2-7462-1447-4}
}

@InBook{LP-MeFo-06,
  author =       "L. Petrucci",
  title =        "Panorama des mod\`eles et langages de sp\'ecification",
  booktitle =    "{M\'ethodes formelles pour les syst\`emes r\'epartis et
    coop\'eratifs}",
  crossref = {MeFoSyLoMa-06},
  chapter = 1,
  lipn-category = "chap"
}

@inproceedings{karoui06d,
	Address = {Hakodate, Japan},
	Author = {Hager Karoui and Rushed Kanawati and Laure Petrucci},
	Booktitle = {Proc.\ 5th Workshop on Agents and Peer-to-Peer Computing (AP2PC'06)},
	Date-Added = {2006-09-22 20:21:54 +0200},
	Date-Modified = {2006-10-13 22:35:59 +0200},
	Futurepublisher = sv,
	Futureseries = lncs,
	Lipn-Category = {autc},
	Month = may,
	Pages = {76-90},
	Title = {Cooperative {CBR} System for Peer Agent Committee Formation},
	Year = 2006}

% @InProceedings{HK-RK-LP-AP2PC-06,
%   author =       "H. Karoui and R. Kanawati and L. Petrucci",
%   title =        "Cooperative {CBR} System for Peer Agent Committee Formation",
%   booktitle =    "Proc.\ 5th Workshop on Agents and Peer-to-Peer Computing
%     (AP2PC'06), Hakodate, Japan",
%   missingpages =        "39--56",
%   year =         "2006",
%   month =	 may,
%   publisher =    SV,
%   series =    lncs,
%   note =	 "À paraître",
%   lipn-status = "apar",
%   lipn-category = "intc"
% }

@Article{HK-RK-LP-SGAI-06,
  author =       "H. Karoui and R. Kanawati and L. Petrucci",
  title =        "An intelligent peer-to-peer multi-agent system for
    collaborative management of bibliographic databases",
  journal =    "SGAI's expert update magazine",
  pages =        "22--31",
  year =         "2006",
  month =	 spring,
  volume = 	 8,
  number = 	 3,
  lipn-category = "autj"
}

@inproceedings{karoui06b,
	Address = {Fethiye, Turkey},
	Author = {Hager Karoui and Rushed Kanawati and Laure Petrucci},
	Booktitle = {8th European Conference on Case-Based Reasonning (ECCBR'06)},
	Date-Added = {2007-09-22 22:49:24 +0200},
	Date-Modified = {2007-09-22 22:49:24 +0200},
	Lipn-Category = {intc},
	Owner = {rk},
	Pages = {76-90},
	Publisher = {springer},
	Series = {LNCS},
	Timestamp = {2007.09.22},
	Title = {{COBRAS}: {C}ooperative {CBR} {S}ystem for {B}ibliographical {R}eference {R}ecommendation},
	Volume = {4106},
	Year = {2006}}

% @InProceedings{HK-RK-LP-ECCBR-06,
%   author =       "H. Karoui and R. Kanawati and L. Petrucci",
%   title =        "{COBRAS}: Cooperative {CBR} System for Bibliographical
%     Reference Recommendation",
%   booktitle =    "Proc.\ 8th European Conference on Case-Based Reasonning
%   (ECCBR'06), {\"O}l{\"u}deniz/Fethiye, Turkey",
%   pages =        "76--90",
%   year =         "2006",
%   month =	 sep,
%   publisher =    SV,
%   series =    lnai,
%   volume =	 4106,
%   lipn-category = "intc"
% }

@InProceedings{SM-LP-MOCA-06,
  author =       "S. Mazouz and L. Petrucci",
  title =        "Modular Discrete Pseudo-State Graphs for Time {Petri} Nets",
  booktitle =         "Workshop on Modelling of Objects, Components and Agents
    (MOCA'06, associated with PETRI NETS'06), Turku, Finland",
  lipn-category = "autc",
  year =         2006,
  month =	 jun,
  pages =	 "223--244",
  series =	 "Universit{\"{a}}t Hamburg Bericht",
  number =	272
}

@InProceedings{LH-FK-LP-NT-FORTE-06,
  author =       "L. Hillah and F. Kordon and L. Petrucci and N. Tr{\`e}ves",
  title =        "{PN} standardisation: a survey",
  booktitle =         "Proc.\ 26th International Conference on Formal Methods
    for Networked and Distributed Systems (FORTE'06), Paris, France",
  lipn-category = "intc",
  year =         2006,
  month =	 sep,
  publisher =    SV,
  series =    lncs,
  volume =	 4229,
  pages =	 "307--322"
}

@Article{FK-LP-DSO-06,
  author =       "F. Kordon and L. Petrucci",
  title =        "Toward Formal Methods Oecumenism?",
  journal =    "IEEE Distributed Systems Online",
  year =         "2006",
  month =	 jul,
  volume =	 7,
  number =	 7,
  lipn-category = "autj"
}


@InProceedings{LP-VECOS-07,
  author =       "K. Klai and L. Petrucci",
  title =        "Modular Construction of the Symbolic Observation Graph",
  booktitle =    "Proc.\ 1st International Workshop on Verification and
    Evaluation of Computer and Communication Systems (VECOS'07), Algiers,
  Algeria",
  pages =        "6",
  year =         "2007",
  month =	 may,
  publisher = "British Computer Society",
  series = "eWiC",
  lipn-category = "invi"
}

@InProceedings{CB-LP-VECOS-07,
  author =       "C. Boukala and L. Petrucci",
  title =        "Towards Distributed Verification of {Petri} Nets properties",
  booktitle =    "Proc.\ 1st International Workshop on Verification and
    Evaluation of Computer and Communication Systems (VECOS'07), Algiers,
  Algeria",
  pages =        "15--26",
  year =         "2007",
  month =	 may,
  publisher = "British Computer Society",
  series = "eWiC",
  lipn-category = "autc"
}

@InProceedings{FK-LP-CAR-07,
  author =       "F. Kordon and L. Petrucci",
  title =        "A formal approach to designing autonomous systems: from
  {Intelligent Transport Systems} to Robots",
  booktitle =    "Proc.\ 2nd National Workshop on Control Architectures of
    Robots: from models to execution on distributed control architectures,
  Paris, France",
  missingpages =        "15--26",
  year =         "2007",
  month =	 may,
  missingpublisher = "British Computer Society",
  missingseries = "eWiC",
  lipn-category = "auti"
}

@InProceedings{CL-LP-PNSE-07,
  author =       "C. Lakos and L. Petrucci",
  title =        "Modular State Spaces and Place Fusion",
  booktitle =         "Workshop on Petri Nets and Software Engineering
    (PNSE'07, associated with PETRI NETS'07), Siedlce, Poland",
  pages =        "175--190",
  year =         "2007",
  month =	 jun,
  publisher =	 "University of Podlasie",
  lipn-category = "autc"
}

@InProceedings{KK-LP-MR-FORTE-07,
  author =       "K. Klai and L. Petrucci and M. Reniers",
  title =        "An Incremental and Modular Technique for Checking
  {LTL$\setminus$X} Properties of {Petri} Nets",
  booktitle =         "Proc.\ 27th International Conference on Formal Methods
    for Networked and Distributed Systems (FORTE'07), Tallinn, Estonia",
  lipn-category = "intc",
  year =         2007,
  month =	 jun,
  publisher =    SV,
  series =    lncs,
  volume =	 4574,
  missingpages = "280--295"
}


@TechReport{Darondeau-Petrucci,
author      = {Darondeau, Philippe  and  Petrucci, Laure},
title       = {Modular Automata 2 Distributed {P}etri Nets 4 Synthesis},
year      =  {2007},
month     =  may,
institution = {INRIA},
number      = {6192},
url= {https://hal.inria.fr/inria-00148133},
  lipn-category = "rapl"
}

@Article{FI-ACSD06,
  author = 	 {R. Janicki and L. Petrucci (eds.)},
  title = 	 "{Fifth Special Issue on Application of Concurrency to System
	  Design}",
  year = 	 2008,
  journal =	 fundi,
  note =	 "À paraître",
  lipn-status = "apar",
  lipn-category = "edit"
}

@InProceedings{LP-PNS-07,
  author =       "L. Petrucci",
  title =        "{ISO/IEC 15909-2}, concepts of high-level nets and {CPN}",
  booktitle =    "Presentation at the Workshop on Petri Nets Standards
    (PNS'07, associated with PETRI NETS'07), Siedlce, Poland",
  year =         "2007",
  month =	 jun,
  lipn-category = "auti"
}

@InProceedings{CC-LP-GR-CPN-07,
  author =       "C. Choppy and L. Petrucci and G. Reggio",
  title =        "Designing coloured {Petri} net models: a method",
  booktitle =    "Proc.\ Workshop on Practical Use of Coloured Petri Nets,
                 Aarhus, Denmark",
  year =         "2007",
  month =	 oct,
  lipn-category = "autc"
}

@techreport{LSV:07:16,
  	 author =	 {S. Bardin and A. Finkel and J. Leroux and L. Petrucci},
  	 institution =	 {Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France},
  	 month =	 apr,
  	 note =	 {21 pages},
  	 number =	 {LSV-07-16},
  	 type =	 {Research Report},
  	 title =	 {FAST: Acceleration from theory to practice},
  	 url =	 {http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/ rr-lsv-2007-16.pdf},
  	 year =	 {2007},
 lipn-category = "rapl"
}

@MISC{LP-ISO-07,
  author =       "L. Petrucci",
  title =        "{ISO/IEC 15909 --- Part 3: Extensions}",
  month =	 nov,
  year =	 2007,
  note = {Working document of ISO/IEC JTC1-SC7-WG19, ref. PA2-018},
  lipn-category = "rapl"
}

@InBook{EB-PD-LP-thiago-08,
author      = {E. Badouel and P. Darondeau  and  L. Petrucci},
title       = {Synthesis of Distributed Petri Nets from Coordinated Automata},
booktitle = "Perspectives in Concurrency Theory",
editor = "M. Mukund",
year      =  {2008},
month     =  dec,
  lipn-category = "chap",
  lipn-status = "apar"
}

@InProceedings{CC-LP-GR-RST-08,
  author =       "C. Choppy and L. Petrucci and G. Reggio",
  title =        "A modelling approach with coloured {Petri} nets",
  booktitle =    "Proc.\ 13th Int. Conf. on Reliable Software Technologies --- Ada-Europe, Venice, Italy",
  missingpages =        "39--56",
  year =         "2008",
  month =	 jun,
  series = lncs,
  publisher = SV,
  lipn-category = "invi",
  lipn-status = "apar"
}

@Book{MeFoSyLoMa-08,
  author = 	 "F. Kordon and L. Pautet and L. Petrucci",
  title = 	 "{Systèmes répartis en action : de l'embarqué au large échelle}",
  publisher = 	 HERMES,
  year = 	 2008,
  missingmonth =	 nov,
  lipn-category = "livr",
  lipn-status = "apar"
}

@Article{LH-FK-LP-JESA-08,
  author =       "L. Hillah and F. Kordon and L. Petrucci",
  title =        "Application des méthodes formelles à la robotique modulaire --- Méthodes formelles pour l'analyse des robots autonomes et modulaires",
  missingvolume = 9,
  missingnumber = "3--4",
  missingpages = "393--411",
  missingmonth = jun,
  journal =	 jesa,
  publisher = 	 HERMES,
  year =         2008,
  lipn-category = "jour",
  lipn-status = "apar"
}