LIP6 UPMC CNRS Move-team
2008-02-09
LIP6 > Software > MoVe Sofware > References

[Ada 83]

Ada Join Program Office, "Reference Manual for the Ada Programming Language, ANSI/MIL-Std-1815A", U.S. Department of Defense, The Pentagon, Washington, January 1983.

[Abrial 95]

J.R. Abrial, "The B-book", Cambridge University Press, 1995

[Agoulmine 94]

M.Agoulmine, "Une méthode àmulti-formalismes pour la spécification et la validation de systèmes distribués", PhD thesis, Laboratoire MASI, UniversitéP.&M. Curie, 4 place Jussieu, 75252 Paris Cedex 05, Janvier 1994

[Bakam 00] I. Bakam, F. Kordon, C. Le Page, F. Bousquet, "Formalization of a spatialised multiagent model using Coloured Petri nets for the study of an hunting management system", to appear in proceedings of "Formal Approaches to Agent-Based Systems" (LNCS), NASA Goddard Space Flight Center, Greenbelt, MD, USA, April 2000

[Bagrodia 89]

R.Bagrodia, "Process Synchronisation : design and performance evaluation of distributed algorithms", IEEE Transaction on Software Engineering, vol SE 15,9 pp 1053 - 1065, September 1989

[Bachatène 92]

H. Bachatène & P. Estraillier, "Specification of large distributed systems integrating oriented objects concepts", 12th World Computer Congress IFIP 92 "From research to Practice", Madrid, Spain, September 1992.

[Billington03] J. Billington, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber., "The Petri Net Markup Language: Concepts, technology
and tools". In Proc. 24th Int. Conf. Application and Theory of Petri Nets (ICATPN'2003), Eindhoven, The Netherlands, June 2003, volume 2679 of Lecture Notes in Computer Science, pages 483ñ505. Springer, 2003.
[Bryan 92]

R.E. Bryan, "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams", in ACM Computing Surveys, vol 24(3), pp 293-318, September 1992

[Buchholz 94]

P. Buchholz, "Hierarchical High Level Petri Nets for Complex System Analysis", Proceedings 15th Int. Conf. on Applications and Theory of Petri Nets, Zaragoza, Spain, June 1994, LNCS vol. 815 PP. 119-138

[Chehaibar 90]

G. Chehaibar, "Validation of phase-executed protocols modelled with coloured Petri nets", Proceedings of the 11th International Conference on Application and Theory of Petri Nets, Paris, June 1990.

[Chiola 87]

G. Chiola, "A Graphical PN/Tool for Performance Analysis", International Workshop on modelling techniques and performance evaluation,AFCET, Paris, March 1987

[Chiola 91]

G. Chiola, C. Dutheillet, G. Franceschini & S. Haddad, "On Well-Formed Coloured Nets and their Symbolic Reachability Graph", High Level Petri Nets. Theory and Application. Edited by K. Jensen G.Rozenberg, Springer Verlag 1991

[Couvreur 90]

J.M. Couvreur, "The general computation of flows for coloured nets", 11th International Conference on Application and Theory of Petri Nets, pp204-223, Paris, France, June 1990.

[Diagne 96a]

A. Diagne & P. Estraillier, "Formal Specification and Design of Distributed Systems", In Proceedings of the First International Workshop FMOODS'96, Paris, March 1996

[Diagne 96b]

A. Diagne & F. Kordon, «A Multi-Formalism Prototyping Approach from Conceptual Description to Implementation of Distributed Systems», To Appear in Proceedings of the 7th IEEE International Workshop on Rapid Prototyping, Greece, Porto Caras, Thessaloniki, June 1996

[Di Giovanni 90]

R. Di Giovanni, "Petri Nets and Software Engineering : HOOD Nets", 11th International Conference on Application and Theory of Petri Nets, Paris, June 1990

[ECMA 91]

ECMA, "A Reference Model for Frameworks of Stoftware Engineerings Environments", ECMA report number tr/55 (version 2), NIST Report Number SP 500-201, December 1991

[El Kaim 94]

W. El Kaim & F. Kordon, "An Integrated Framework for Rapid System Prototyping And Automatic Code Distribution", Proceedings of the 5th "International Workshop on Rapid System Prototyping", N.Kanopoulos Ed, IEEE comp Soc Press, Grenoble, June 1994

[Esparza 96]

J. Esparza, S. Römer & W. Vogler, "An Improvement of McMillan's Unfolding Algorithm", in proceedings of Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, pp 87-106, Springer Verlag, March 1996

[Estraillier 92]

P. Estraillier & C. Girault, "Applying Petri Net Theory to the Modelling, Analysis and Prototyping of Distributed Systems", Proceedings of the IEEE International Workshop on emerging technologies and factory automation - State of the art and future directions, Cairns, Australia, August 1992.

[Gaudel 91]

M.C. Gaudel, "Algebraic Specifications", Chapter 22 in "Software Engineer's Reference Book", John Mc Dermid ed, Butterworth, 1991

[Hack 74]

M. Hack, "Extended State-Machine Allocatable Nets (ESMA), an Extension of Free Choice Petri Net Results", MIT, project MAC, Computation Structures Group, Memo 78-1, 1974

[Hoare 85]

C.A.R. Hoare, "Communicating Sequential Processes", Printice-hall International editor in computer science, C.A.Hoare series editor, 1985

[iso04] ISO/IEC. Software and Systems Engineering - High-level Petri Nets, Part 1: Concepts, Definitions and Graphical Notation, International Standard ISO/IEC 15909, December 2004.
[Ilié 93]

J-M. Ilié, O. Rojas, "On Well-Formed Nets and Optimizations in Enabling Tests", 14th International Conference on Application and Theory of Petri Nets 1993, 14th ICATPN, Chicago, USA, Springer Verlag 691, pp 300-318, 1993.

[Jensen 92]

K. Jensen, "Coloured Petri Nets. Basic Concepts, Analysis Method and Practical Use (vol 1)", EATC Monographs on Theoretical Computer Science, Springer Verlag 1992

[kindler05]

E Kindler, "Software and Systems Engineering - High-level Petri Nets. Part2: Transfert Format". Working Draft for the International Standard ISO/IEC 15909 Part 2 - Version 0.6.3, June 2005.

[Kordon 91a]

F. Kordon & P. Estraillier, "Complex Systems rapid Prototyping and Environment Abstraction", proceedings of the 2nd "International Workshop on Rapid System Prototyping" N.Kanopoulos Ed, IEEE comp Soc Press 92TH0454-9, Triangle Park Institute, June 1991

[Kordon 91b]

F. Kordon & J.F. Peyre, "Process decomposition for Rapid Prototyping of Parallel systems", 6th International Symposium on Computer and Information Science, Kener, Antalya, Turkie, October 1991

[Kordon 92]

F. Kordon, "Prototypage de systèmes parallèles à partir de réseaux de Petri colorés, application au langage Ada dans un environnement centralisé ou réparti", Thèse de l'université P & M Curie, Mai 1992.

[Kordon 94]

F.Kordon, "Proposal for a Generic Prototyping Approach", Proceedings of IEEE Symposium on Emerging Technologies and Factory Automation, pp396-403, Tokyo, Japan, November 1994

[Kordon 95]

F. Kordon & W.El Kaim, "H-COSTAM : a Hierarchical Communicating State-machine Model for Generic Prototyping", Proceedings of the 6th "International Workshop on Rapid System Prototyping", N.Kanopoulos Ed, IEEE comp Soc Press 95CS8078, pp 131-138, Triangle Park Institute, June 1995

[Kordon 98] F.Kordon & J-L. Mounier, "FrameKit, an Ada Framework for a Fast Implementation of CASE Environments", in proceedings of the ACM/SIGAda ASSET'98 symposium, pp 42-51, Monterey, USA, July 1998
[Kordon 99a] F.Kordon, "MetaScribe, an Ada-based Tool for the Construction of Tranformation Engines", to appear in the proceedings of the International Conference on Reliable Software Technologies - Ada-Europe'99, Santander, Spain, June 7-11, 199
[Kordon 99b] F.Kordon & E. Paviot-Adet, "Using CPN-AMI to validate a safe channel protocol", in the tools proceedings of the International Conference on Theory and Applications of Petri Nets - Tool presentation part, Williamsburg, USA, June 21-25, 1999
[Kordon 01] F. Kordon, I. Mounier, E. Paviot-Adet & D. Regep, "Formal verification of embedded distributed systems in a prototyping approach", in proceedings of the International Workshop on Engineering Automation for Software Intensive System Integration , Monterey, June 2001

[Lakos 95]

C.A. Lakos, "From Colored Petri Nets to Object Petri Nets", Proceedings of the 16th International Conference on Application and Theory of Petri Nets 1995, Torino, Italy, June 1995, LNCS vol. 935, PP 278-297

[Mounier 96]

J-L.Mounier, "The Macao graph editor. User Manual version 2.6", Laboratoire MASI, universitéP.& M. Curie, 4 place Jussieu, 75252 Paris Cedex 05, Juin 1996

[ODP 95]

"The Reference Model of Open Distributed Programming, Overview, and Guide to Use", Draft ITU-T, recommandation X.901, 1995

[Pastor 94]

E. Pastor and O. Roig and J. Cortadella and R.M. Badia, "Petri Net Analysis using Boolean Manipulation", in proceedings of 15th Int. Conf. on Application and Theory of Petri Nets, LNCS vol 815, pp 416-435, R. Valette editor, June 1994

[Paviot 95]

E. Paviot-Adet, "Verification et calcul de propriétés de sûreté non lineaires dans les réseaux de Petri et leurs extensions". PhD thesis, Université Paris 6, June 1995

[Potter 91]

B. Potter, J. Sinclair& D. Till, "An introduction to formal specification and Z", Perentice-Hall, 1991

Regep 00 D. Regep, & F. Kordon, "Using MetaScribe to prototype an UML to C++/Ada95 code generator", to appear in proceedings of the 11th IEEE International Workshop on Rapid System Prototyping, Paris, June 2000

[Sibertin-Blanc 94]

C. Sibertin-Blanc, "Cooperative Nets", In Proc. 15th Int. Conf. on Application and Theory of Petri Nets 1994, Zaragoza, Spain, June 1994, LNCS vol. 815, PP. 471-490

[Souissi 90]

Y. Souissi, "On liveness preservation by composition of nets via a set of places", Proceedings of the 11th International Conference on Application and Theory of Petri Nets, Paris, France, June 1990.

[Varpaaniemi 95]

K. Varpaaniemi, J. Halme, K.Hiekkanen & T.Pyssysalo, "PROD reference manual", Technical Report B13, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1995

Bas