[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. |
|
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
|
|
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
|
|
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
|
|
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. |
|
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
|
|
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
|
|
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
|
|
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
|
|
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.
|
|
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
|
|