BIBLIOGRAPHY ON HYBRID PETRI NETS
Alessandro Giua
Dip. di
Ingegneria Elettrica ed Elettronica, Università di Cagliari, Italy
In this web-page
(http://bode.diee.unica.it/~hpn) we have collected a list of references in
the field of Hybrid Petri Nets.
We have been able to group some of
these works on the basis of the models used. All the works of difficult
classification have been put under the heading "Other Works".
A meaningful classification of all Hybrid Petri Net models so far
appeared in the literature is still missing.
Please contact Alessandro Giua (giua@diee.unica.it)
if you have additions to make to this page, corrections, or suggestions for
improvement.
Last revised: April 2006.
Number
of Accesses since 19 August 1999.
This page was created and
maintained by Aldo Piccaluga until September 2002, and by Daniele Corona until
June 2005.
|
Books, Surveys, Special Issues
and Thesis All the works collected under
this heading give an overview of the main approaches to hybrid control
using nets. These works present an introduction to several approaches in
hybrid systems research with an extended list of references. Emphasis is put
on the state-of -the-art about Petri nets, on hybrid control systems, on
Petri net approaches to hybrid control. |
|
|
|
Articles |
|
|
|
All the works collected under
this heading are based on the model presented by R. David and H.
Alla. These authors have obtained a continuous model by
fluidization of a discrete Petri net. Hybrid Petri nets are made of a
"continuous part" (continuous places and transitions) and a "discrete
part" (discrete places and transitions). The continuous part can model
systems with continuous flows and the discrete part models the logic
functioning. |
|
All the works collected under this
heading are based on the model presented by K.S. Trivedi
and V.G. Kulkarni.They extend the stochastic Petri nets framework to
Fluid Stochastic Petri Nets by introducing places with continuous tokens and
arcs with fluid flow so as to handle stochastic fluid flow systems. No
continuous transitions are present in this model. They define hybrid
nets in such a way that the discrete and continuous portions may affect each
other. The approach has been extended to second order flow approximations.
|
|
All the works collected under
this heading are based on the model presented by D. Andreu, J.C.
Pascal, C. Valentin-Roubinet,and R. Valette. This approach does
not try to represent in a unified way the continuous and discrete aspects, as
it is the case in hybrid Petri nets in which there are discrete places with
an integer token load and continuous ones with a real token load. On the
contrary, the model focuses on the interaction between a Petri net model of
the discrete aspect of the batch system and a continuous model which is a set
of Differential Algebraic Equations (DAE). It can be seen as an extension of
hybrid automata. This approach is well suited for modelling batch processes.
Batch processes include continuous operations (a continuous flow of raw
material through an equipment) and discrete ones (a reaction involving a
whole batch of raw material with a beginning and an end). They are a case of
hybrid industrial processes. The automation of such processes poses difficult
issues because it is necessary to concurrently deal with continuous and
discrete models. This approach has been tested in the food industry for the
validation of scheduling policies and is currently been developed for
supervisory control and reactive scheduling. |
|
All the works collected under
this heading are based on the model presented by I. Demongodin, N.
Audry and F. Prunet. The authors developed a new type of Petri
nets called Batches Petri nets. This model, an extension of the Hybrid Petri
nets, allows one to integrate a formalization of parts circulation on
accumulation conveyors. The batches Petri net is defined with the
introduction of a new kind of batch places and batch transitions. They
have been defined in order to represent the conveyance systems in transient
behavior and are well suited to model high throughput production lines.
|
|
All the works collected under this
heading are based on the model presented by J.-M. Flaus. The
author proposes a new methodology for modelling batch processes in order to
take into account the hybrid nature of these processes. The proposed approach
is based on the analysis on a system as a set of continuous and discrete
flows. The notion of hybrid flow nets can then be seen as an extension of
Petri nets for hybrid systems. This modelling tool is made of a continuous
flow net interacting with a Petri net according to a control interaction,
that is to say the Petri net controls the continuous flow net and vice versa.
The overall philosophy of Petri nets is preserved again. This tool is able to
describe in a graphical way continuous and discrete flow interacting
together. The discrete part is a Petri net while the continuous part is
called continuous flow net whose dynamic evolution has be defined so that to
be similar to the one of Petri net, with a continuous enabling rule and a
continuous firing rule. Hybrid flow nets are well suited for the modelling of
batch processes, which can be seen as a set of flows interacting
together. |
|
All the works collected under
this heading are based on the model presented by F. Balduzzi,
A. Giua and G. Menga. First-Order Hybrid Petri Nets are nets that
consist of continuous places holding fluid, discrete places containing a
non-negative integer number of tokens, and transition, either discrete or continuous.
The hybrid Petri net model follows the formalism described by R. David and H.
Alla. As in all hybrid models, in First-Order Hybrid Petri Nets the authors
distinguish two behavioral levels: time-driven and event-driven. The
continuous time-driven evolution of the net is described by first-order fluid
models, i.e., models in which the continuous flows have constant rates and
the fluid content of each continuous place varies linearly with time. A
discrete-event model describes the behavior of the net that, upon the
occurrence of macro-events, evolves through a sequence of macro-states. The
authors set up a linear algebraic formalism to study the first--order
continuous behavior of this model and show how its control can be framed as a
conflict resolution policy that aims to optimize a given objective function.
The use of linear algebra leads to sensitivity analysis that allows one to
study of how changes in the structure of the model influence the optimal
behavior. |
|
All the works collected under
this heading are based on the model presented by I. Demongodin and
N.T. Koussoulas. The authors have developed Differential Petri Nets, a
new member of the family of Petri net models, which allow us to model
continuous-time dynamic processes represented by systems of differential
equations. The differential Petri net is defined through the introduction of
a new kind of place and transition, namely, the differential place (whose
marking may also be negative) and the differential transition. The authors
have developed evolution rules to precise the simulation of hybrid systems
composed by a continuous part cooperating with a discrete event part, i.e.
the typical paradigm of a supervisory control system. Differential Petri Nets
can integrate all kinds of discrete Petri nets. In fact, the introduction of
a new type of place and of transition does not change the description and the
evolution of the discrete part. Thus, it is possible to integrate in Differential
Petri nets, stochastic, interpreted and many other kinds and extensions of
Petri nets. Through the introduction of this new formalism it is possible to
model concurrently discrete-event processes and continuous-time dynamic
processes, represented by systems of linear ordinary differential equations.
This model can contribute to the performance analysis and design of
industrial supervisory control systems and of hybrid control systems in
general. |
|
The works collected under this
heading consider different models presented by several authors. All
these models, however, are based on High-Level nets, i.e., nets characterized
by the use of structured individual tokens. High-Level Hybrid Nets are a useful
model that provides a simple graphical representation of hybrid systems and
takes advantage of the modular structure of Petri nets in giving a compact
description of systems composed of interacting subsystems, both
time-continuous and discrete-event. The use of colors in the continuous
places allows one to model continuous variables that may take negative value.
|
|
All papers that do not fit in
the previous sections are collected under this heading. |
Books, Surveys, Special
Issues and Thesis
Books
- R.
David, H. Alla, Discrete,
Continuous, and Hybrid Petri Nets. Springer-Verlag, 2005.
Surveys
- P.J. Antsaklis, X.D. Koutsoukos,
"On hybrid control of complex systems: a survey, " Proc. of 3rd
Int. Conf. on Automation of Mixed Processes (Reims, France), pp. 1-8,
March, 1998.
- R. David, "Modeling of
Hybrid Systems Using Continuous and Hybrid Petri Nets, " Proc. of Conf.
on Petri Nets and Performances Evaluation (Saint Malo, France), pp. 47-58,
June, 1997.
Special issues
- A. Di Febbraro, A. Giua, G.
Menga, "Special Issue on Hybrid Petri Nets," Discrete Event
Dynamic Systems, Vol. 11, No. 1 & 2, January-April, 2001.
Thesis
- M. Allam, "Sur l'analyse quantitative des
réseaux de Petri hybrides : une approche basée sur les automates hybrides,
" Thèse de Doctorat de l’I.N.P.G. (Grenoble, France), December,
1998 (In French).
- R. Champagnat, "Supervision des systémes
discontinus: définition d'un modéle hybride et pilotage en temps-réel, " Thése
de Doctorat de l'Université Paul Sabatier de Tolouse (Toulouse, France),
October, 1998 (In French).
- D. Cook, "A study in the
modelling verification and control of hybrid systems, " PhD thesis,
The University of Melbourne, 1999.
- E. Dubois, "Sur les réseaux de Petri
continus à vitesses maximales fonction du temps, constantes par paliers, "
Thèse de doctorat de l' I.N.P.G. (Grenoble, France), June, 1995 (In French).
- M. Gribaudo, "Hybrid
formalism for performance evaluation: Theory and applications, " Phd
Thesis, Dipartimento di Informatica (Torino, Italy), 2001 (In English).
- J. Komenda, "Modélisation, analyse et
commande des systemes de production type hybride, " These de
Doctorat, Université de FRANCHE-COMTE (Besancon, France), April, 1999 (In
French).
- J. Le Bail, "Sur les réseaux de Petri
continus et hybrides, " Thèse de doctorat de l'INPG (Grenoble,
France), December, 1992 (In French).
-N. Zerhouni, "Application des réseaux de
Petri continus a l'analyse dynamique des systèmes de production, " Thèse
de doctorat de l'I.N.P.G. (Grenoble, France), January, 1991 (In French).
Continuous and Hybrid Petri
Nets
- A. Ait-Yahia, N. Zerhouni, A.
Elmoudni, M. Ferney, "On the modeling and simulation of variable speed
continuous Petri Nets by Design/CPN, " Proc. of the 1995 EUROSIM Conf.,
EUROSIM '95 (Vienna, Austria), pp. 1181-6, September, 1995.
- H. Alla, "Réseaux de Petri colorés et
réseaux de Petri continus: Application à l'étude des systèmes à événement
discrets, " Thèse d'Etat, I.P.N. Grenoble (France), June, 1987 (In
French).
- H. Alla, "Les réseaux de Petri: un outil
particulièrement adapté à la modélisation des systèmes hybrides, " Proc.
of 2rd Int. Conf. on Automation of
Mixed Processes (Brussels, Belgium),
November, 1994 (In French).
- H. Alla, "Petri Network: a
tool adapted to modeling hybrid systems, " in Rev. Gen. Electr.,
No. 1, pp. 10-8, January, 1995 ( In French).
- H. Alla, "Modelling and
simulation of event driven systems by Petri Nets, " Proc. of the
ADEDOPS Workshop (Imperial College, London, UK), April, 1995.
- H. Alla, R. David,
"Modelling of production systems by continuous Petri Nets, " Proc.of
the 3rd Int. Conf. on CAD/CAM Robotics and Factories of the Future
(Southfield, MI, USA), Vol. 3, pp 344-8, August, 1988.
- H. Alla, R. David,
"Modelling of Management/Production by Continuous Petri Net, " Proc.
of Automatique 1988. Quelle
Automatique dans les Industries Manufacturieres (Grenoble, France), pp. 106-15, October, 1988.
- H. Alla, R. David, "Les réseaux de Petri
continus : application à la modélisation de systèmes de production", 3°
colloque maghrébin sur les méthodes numériques de l'ingénieur (Tunis,
Tunisie), pp. 154-159, November, 1991 (In French). .
- H. Alla, J.-B. Cavaille, J. Le Bail, G. Bel,
"Les systèmes de production par lot: une approche discret-continu
utilisant les réseaux de Petri hybrides, " Proc. of 1st Int. Conf. on Automation of Mixed Processes (Paris, France), January, 1992 (In French).
- H. Alla, J.-B. Cavaille, J. le Bail, G. Bel,
"Modélization par Réseaux de Petri hybrides et Evaluation de performances
de Systèmes de production par lots, " Technical Report No 92.26,
Laboratoire d'Automatique de Grenoble (Grenoble, France), March, 1992 (In
French).
- H. Alla, R. David,
"Continuous and Hybrid Petri Nets, " in Journal of Circuits
Systems Computers, Vol. 8, No. 1, pp. 159-88, February, 1998.
- H. Alla, R. David, "A modeling
and analysis tool for discrete events systems: continuous Petri Net, " in Performance
Evaluation, Vol. 33, No. 3, pp. 175-99, 1998.
- M. Allam, H. Alla, "From
Hybrid Petri Nets to Hybrid Automata, " Technical Report No 96.113,
Laboratoire d'Automatique de Grenoble (Grenoble, France), 1996.
- M. Allam, H. Alla,
"Modelling Production Systems by Hybrid Automata and Hybrid Petri Nets,
" Proc. of the IFAC-IFIP-IMACS Conf. on Control of Industrial Systems
(Belfort, France),pp. 463-8, May, 1997.
- M. Allam, H. Alla, "
Performances evaluation of hybrid systems, " Proc. of 3rd Int. Conf. on
Automation of Mixed Processes (Reims, France), pp. 9-16, March, 1998.
- M. Allam, H. Alla, "Hybrid
Petri Nets: Modeling and Analysis, " Ecole d'été MOVEP (Nantes,
France), pp. 374-383, July, 1998.
- M. Allam, H. Alla,
"Modeling and simulation of an electronic component manufacturing system
using hybrid Petri Nets, " IEEE Trans. on Semiconductor Manufacturing,
Vol. 11, No. 3, pp. 374-383, 1998.
- M. Allam, H. Alla, "From
Hybrid Petri Nets to automata, " on APII-JESA Special Issue on
Automation of mixed processes and hybrid dynamical systems, Vol. 32, No.
9-10/98, pp. 1165-85, December, 1998.
- C. Amer-Yahia, N. Zerhouni, A.
El-Moudni, M. Ferney "State equation and stability of a class of
continuous Petri Nets. Application to manufacturing lines, " Proc. of
ETFA'95 Symp. on Emerging Technologies and Factory Automation (Paris,
France), pp. 313-21, October, 1995.
- C. Amer-Yahia, N. Zerhouni, A.
El-Moudni, M. Ferney "State variable description and controllability of a
class of continuous Petri Nets, " Proc. of the 1996 IEEE Int. Symp. On
Circuits and Systems. Circuits and Systems Connecting the World, ISCAS'96
(Atlanta, GA, USA), Vol. 3, pp.68-71, May, 1996.
- C. Amer-Yahia, N. Zerhouni, M.
Ferney, A. El Moudni, "Modelling of Biological Systems by Continuous Petri
Net, " Proc. of the 3rd IFAC Symp. .Modelling and Control in Biomedical
Systems (Warwick, UK), pp. 383-8, March, 1997.
- C. Amer-Yahia, N. Zerhouni,
"State Equation and Stability for a Class of Continuous Petri Nets.
Application to the control of a Production System," in Studies in
Informatics and Control Journal, Vol. 10, No. 4, December, 2001.
- A. Amrah, N. Zerhouni, A. El
Moudni, M. Ferney, "State representation and transfer function of a class
of variable speed continuous Petri Nets, " Proc. of the 1995 Int. Symp.
On Intelligent Control (Monterey, CA, USA), pp. 591-6, August, 1995.
- A. Amrah, N. Zerhouni, A. El
Moudni, "Constrained State Feedback Control of a Class of Discrete Event
Systems Modelled by Continuous Petri Nets, " Proc. of the 4th Int.
Conf. on Control, Automation, Robotics and Vision, ICARV '96 (Singapore),
December, 1996.
- A. Amrah, N. Zerhouni, A. El Moudni,
"Control of discrete event systems modeled by continuous Petri Nets: case
of opened manufacturing lines, " Proc. of the 1997 IEEE Int. Conf. on
Robotics and Automation (Albuquerque, NM, USA), Vol. 3, pp. 2133-8, April,
1997.
- A. Amrah, N. Zerhouni, A. El
Moudni, "Control of discrete event systems modeled by continuous Petri
Nets: case of opened assembly manufacturing lines, " Proc. of ECC'97,
European Control Conf. (Brussels, Belgium), July, 1997.
- A. Amrah, N. Zerhouni, A. El
Moudni, "Flow Control of Manufacturing Systems. Case of Opened
Manufacturing Lines, " Proc. of CESA'98: Computational Engineering in
Systems Application (Nabeul-Hammamet, Tunisia), Vol. 3, pp. 656-60, April,
1998.
- A. Amrah, N. Zerhouni, A. El
Moudni, "On the control of manufacturing lines modelled by controlled
continuous Petri nets, " in Int. Journal of Systems Science, Vol.
29, No. 2, pp. 127-37, 1998.
- B. Besombes, E. Marcon, H. Alla,
"Application of generalized bond-graphs and continuous Petri Nets to
modeling industrial processes and manufacturing systems, " Selected
Papers from the 7th IFAC/IFIP/IFORS/IMACS/ISPE Symp. .Information Control
Problems in Manufacturing Technology 1992 (Toronto, Ontario, Canada), pp.
429-34, May, 1992.
- F. Charbonnier, "Etude de Résolution des
conflicts dans les Réseaux de Petri hybrides, " Internal Report (LAG,
INPG) (Grenoble, France), 1993.
- R. David, "Systèmes hybrides: Modélisation
par réseaux de Petri hybrides, " Journée d'étude "Analyse et
supervision des systèmes dynamiques hybrides" (Lion, France),
February, 1996 (In French).
- R. David, “Modelling by Hybrid
Petri Nets and Extended Hybrid Petri Nets, ” Proc. of 4th
International Conference Automation of Mixed Processes: Hybrid Dynamical
Systems (Dortmund, Germany), pp. 3-6, 18-19 Sett. 2000.
- R. David, H. Alla,
"Continuous Petri Nets, " Proc. of the 8th European Workshop on
Application and Theory of Petri Nets (Saragossa, Spain),pp. 275-94, June,
1987.
- R. David, H. Alla,
"Autonomous and Timed Continuous Petri Nets, " Proc. of the 11th
Int. Conf. on Application and Theory of Petri Nets (Paris, France), pp.
367-86, June 1990. Also published in Advances in Petri Nets 1993,
Lecture Notes in Computer Science, Vol. 674, (Grzegorz Rozenberg Ed.), pp.
72-90, Springer-Verlag, 1993.
- R. David, H. Alla, "On
hybrid Petri Nets", Discrete Event Dynamic Systems: Theory and
Applications, Vol. 11, Numbers 1/2, pp. 9-40, January/April 2001.
- R. David, S.I. Caramihai,
“Modelling of Delays on Continuous Flows Thanks to Extended Hybrid Petri Nets,
” Proc. of 4th International Conference Automation of Mixed
Processes: Hybrid Dynamical Systems (Dortmund, Germany), pp. 343-51, 18-19
Sett. 2000.
- I. Demongodin, M. Mostefaoui, N.
Sauer, "Liveness of Continuous Weighted Marked Graphs, " Proc. of
3rd edition IMACS/IEEE CSCC'99 (Athens, Greece), pp. 2640-9, July, 1999.
- I. Demongodin, M. Mostefaoui, N.
Sauer, "Liveness of Neutral Hybrid Weighted Marked Graphs, " Proc.
of Multi-Workshop on Formal Methods in Performance Evaluation and Applications
FM&M'99 (Zaragoza, Spain), pp. 49-64, September, 1999.
- E. Dubois, H. Alla, R. David,
"Continuous Petri Net with Maximal Speeds Depending on Time: Definitions
& Algorithms, " Technical report No. 93095 (LAG) (Grenoble,
France), 1993.
- E. Dubois, H. Alla, "Hybrid
Petri Nets with a Stochastic Discrete Part, " Proc. of the 2nd European
Control Conf., ECC '93 (Groningen, Netherlands), pp. 144-9, July, 1993.
-E. Dubois, H. Alla, R. David, "Les
réseaux de Petri à vitesses fonction du temps, " APII, Vol. 28, n° 5,
pp.425-43, June, 1994 (In French).
- E.Dubois, H. Alla, R. David,
"Continuous Petri Net with Maximal Speeds Depending on Time," Proc.
of the 15th Int. Conf. on Application and Theory of Petri Nets (Zaragoza,
Spain), June, 1994. Also published in Proc. of the 4th Int. Conf. on
Computer Integrated Manufacturing and Automation Technology (Troy, NY,
USA), pp. 32-9, October, 1994.
- E.Dubois, H. Alla, R. David, "Les réseaux
de Petri à vitesses function du temps, " on APII, Vol. 28, No. 5, ,
pp. 425-43, June, 1998.
- T. El-Fouly, N. Zerhouni, M.
Ferney, A. El Moudni, "Modeling and analysis of manufacturing systems
using a hybrid approach, " Proc. of 3rd Int. Conf. on Automation of
Mixed Processes (Reims, France), pp. 79-85, March, 1998.
- Le Bail, "Simulation des systèmes à
événements discrets par Réseaux de Petri continus, " Rapport de DEA,
LAG, INP (Grenoble, France), June, 1988 (In French).
- G. Guerre-Chaley, "Conception et
réalisation d'un simulateur de réseaux de Petri continus et hybrides pour
l'evaluation de performances des systèmes discrets et/ou continus, "
CNAM dissertation, Conservatoire National des Arts et Mètiers (Grenoble,
France), April, 1997 (In French).
- J. Komenda, “Calculation of
Input-Output Relation for Hybrid Petri Nets Using Discrete Approximations and
(min,+) Albebra, ” Proc. of4th International Conference Automation of Mixed
Processes: Hybrid Dynamical Systems (Dortmund, Germany), pp. 351-6, 18-19
Sett. 2000.
-J. Komenda, A. El Moudni, N. Zerhouni, "Modélisation
des systemes de production hybrides par le formalisme d'état, " Proc.
of MODSIM'97 (Rouen, France), Vol. 1, pp. 397-404, June, 1997 (In French).
- J. Komenda, A. El Moudni, N.
Zerhouni, "Input-Output Relation and Time-Optimal Control of a Class of
Hybrid Petri Nets Using (min,+) Semiring, "Discrete Event Dynamic
Systems: Theory and Applications, Vol. 11, Numbers 1/2, pp. 59-76,
January/April 2001.
- J. Komenda, N. Zerhouni, A. El
Moudni, "Modeling and analysis of hybrid manufacturing systems, " Proc.
of 3rd Int. Conf. on Automation of Mixed Processes (Reims, France), pp.
94-98, March, 1998 (In French).
- J. Komenda, N. Zerhouni, A. El
Moudni, "Analysis of Hybrid Petri Nets based on the hybrid state equation,
" Proc. of 1998 IEEE Int. Conf. on Systems, Man, and Cybernetics
(San Diego, CA,USA), pp. 832-8, October, 1998.
-J. Komenda, A El Moudni, N.
Zerhouni, "The use of conventional and minplus algebra for the modeling of
hybrid Petri Nets, " on Cybernetics and Systems, Vol. 29, N° 8, pp.
869-884, December, 1998.
- J. Le Bail, H. Alla, R. David, "Réseaux de
Petri hybrides, " in Technique et science informatiques, Vol. 11
n°5/1992, pp. 95-120, 1992 (In French).
- J. Le Bail, H. Alla, R. David,
"Hybrid Petri Net," Proc. of the 1st European Control Conference,
ECC'91 (Grenoble, France), pp. 1472-7, July, 1991.
- J. Le Bail, H. Alla, R. David,
"Asymptotic continuous Petri Nets: an efficient approximation of discrete
event systems, " Proc.of the 1992 IEEE Int. Conf. on Robotics and
Automation (Nice, France), Vol.2, pp. 1050-6, May, 1992.
- J. Le Bail, H. Alla, R. David,
"Asymptotic continuous Petri Nets, " in Discrete Event Dyn. Syst.,
Theory Appl., Vol. 2, No 3-4, pp. 235-63, February, 1993.
- J. Le Bail, H. Alla, R. David,
"Asymptotic Continuous Petri Nets, " in Discrete Event Dynamic
Systems: Theory and Application, Vol. 2, No. 3-4, pp. 235-63, Kluwer
Academic Publishers, 1993.
- M. Mostefaoui, I. Demongodin, N.
Sauer, “Steady State of Flow Systems, ” Proc. of 4th International
Conference Automation of Mixed Processes: Hybrid Dynamical Systems
(Dortmund, Germany), pp. 357-62, 18-19 Sett. 2000.
- J. Saadi, A. Saad, T. Bennani, H. Alla,
"Les réseaux dynamiques hybrides: un outil graphique de répresentation des
systèmes dynamiques hybrides, " Proc. of the Symp. ADPM'94
(Brussels, Belgium), pp. 211-20, November, 1994 (In French).
- N. Zerhouni, ,"Application des réseaux de
Petri continus à l'analyse dynamique des systèmes de production, " Thèse
de Doctorat , I.P.N. (Grenoble, France), January, 1991.
- N. Zerhouni, H. Alla,
"Dynamic analysis of manufacturing systems using continuous Petri Nets,
" Proc. of the 1990 IEEE Int. Conf. on Robotics and Automation,
(Cincinnati, OH, USA), Vol. 2, pp. 1070-5, May, 1990.
- N. Zerhouni, H. Alla, "Le réseau de Petri
continu : un outil pour l'analyse dynamique des systèmes de production, " Productique
et Intégrations (CIM 90) (Bordeaux, France), June, 1990 (In French).
- N. Zerhouni, H. Alla, , "Sur l'analyse des
lignes de fabrication par réseaux de Petri continus, " on RAIRO-APII-JESA,
Vol. 26, No. 3, pp. 253-76, 1992 (In French).
- N. Zerhouni, H. Alla,
"Manufacturing lines analysis using continuous Petri Nets, " in Autom.
Prod. Inform. Ind., Vol. 26, No. 3, pp. 253-76, 1992.
A. Bobbio, S. Garg, M. Gribaudo,
A. Horvàth, M. Sereno, M. Telek, "Modeling software systems with
Rejuvenation. Restoration and checkpointing through fluid stochastic Petri
Nets, " Proc. of the 8th Int. Workshop on Petri Nets and Performance
Models (Zaragoza, Spain), pp. 64-73, September, 1999.
A. Bobbio, A. Puliafito, M. Telek,
K.S. Trivedi, "Recent Developments in Non-Markovian Stochastic Petri Nets,
" in Journal of Systems, Circuits and Computers, Vol. 8, No. 1, pp.
119-158, February, 1998.
- G. Ciardo, D. Nicol, K.S.
Trivedi, "Discrete-event simulation of fluid stochastic Petri Nets, "
Proc. of Conf. on Petri Nets and Performances Evaluation (Saint Malo,
France), pp. 217-25, June, 1997.
-R. German, M. Telek, "Formal
relation of Markov renewal theory and supplementary variables, " Proc.
of the 8th Int. Workshop on Petri Nets and Performance Models (Zaragoza,
Spain), pp. 64-73, September, 1999.
-M. Gribaudo, M. Sereno, A.
Bobbio, "Fluid stochastic Petri Nets: an extended formalism to include
non-markovian models, " Proc. of the 8th Int. Workshop on Petri Nets
and Performance Models (Zaragoza, Spain), pp. 64-73, September, 1999.
- M. Gribaudo, M. Serena, A.
Horvàth, A. Bobbio, "Fluid Stochastic Petri Nets Augmented with Flush-out
Arcs: Modelling and Analysis, "Discrete Event Dynamic Systems: Theory
and Applications, Vol. 11, Numbers 1/2, pp. 97-117, January/April 2001.
- M. Gribaudo, "A fluid
stochastic Petri net modeling and analysis tool," Tools of Aachen 2001
- International Multiconfernce on Measurements Modelling and Evaluation of
computer Communication Systems, University of Dortmund, Bericht No.
760/2001, pp. 24-28, 2001.
- M. Gribaudo, A. Horváth, A.
Bobbio, E. Tronci, E. Ciancamerla, M. Minichino, "Model-checking based
on Fluid Petri Nets for the temperature control system of the ICARO
co-generative plant," Proceedings of the 21st Int. Conference on Computer
Safety, Reliability and Security, SAFECOMP02, Springer Verlag - LNCS,
Vol 2434, S. Anderson, S. Bologna and M. Felici (ed.), pp. 273-283, September,
2002.
- G. Horton, "Computation of
the distribution of accumulated reward with Fluid Stochastic Petri Nets, "
Proc. IEEE Int. Computer Performance and Dependability Symposium, IPDS'96
(Urbana-Champaign, IL, USA), pp. 90-5, September, 1996.
- G. Horton, V. G. Kulkarni, D.M.
Nicol, K.S. Trivedi, "Fluid Stochastic Petri Nets: Theory, Application,
and Solution, " ICASE Report 96-5, Institute for Computer Applications
in Science and Engineering (Hampton, VA, USA), 1996.
- G. Horton, V.G. Kulkarni, D.M.
Nicol, K.S. Trivedi, "Fluid stochastic Petri Nets: theory, applications,
and solution techniques, " in European Journal of Operations Research,
Vol. 105, No. 1, pp. 184-201, February 1998.
- D. M. Nicol, A.S. Miner,
"The fluid stochastic Petri Net simulator, " Proc. of the 6th Int.
Workshop on Petri Nets and Performance Models (Durham, NC, USA), pp.214-5, October,
1995.
-K.S. Trivedi, "Fluid Petri
Net, " Proc. of the 9th Int. Conf. on Modelling Techniques and Tools
for Computer Performance Evaluation (Saint Malo, France), June, 1997.
- K.S. Trivedi, V. G. Kulkarni,
"FSPNs: Fluid Stochastic Petri Nets, " Proc. 14th Int. Conf. on
Applications and Theory of Petri Nets (Chicago, IL, USA) Lecture Notes in
Computer Science, Vol. 691, M.Ajmone Marsan (ed.), pp. 24-31, June, 1993.
- B. Tuffin, D.S. Chen, K.S.
Trivedi, "Comparison of Hybrid Systems and Fluid Stochastic Petri Nets,
"Discrete Event Dynamic Systems: Theory and Applications, Vol. 11,
Numbers 1/2, pp. 77-96, January/April 2001.
- K. Wolter, "Second Order
Fluid Stochastic Petri Nets: an extention of GSPNs for approximate and
continuous modelling, " Proc. of the World Congr. on Systems Simulation
WCSS'97(Singapore), pp. 328-32, September, 1997.
- K. Wolter, “Modeling Hybrid
Systems with Fluid Stochastic Petri Nets, ” Proc. of 4th
International Conference Automation of Mixed Processes: Hybrid Dynamical
Systems (Dortmund, Germany), pp. 287-94, 18-19 Sett. 2000.
- K. Wolter, G. Hommel,
"Hybrid modelling with Second Order Fluid Stochastic Petri Nets, " Proc.
of the Workshop on Parallel and Distr. Real-Time Systems (Geneva,
Switzerland), pp. 239-43, April, 1997.
- K. Wolter, G. Hommel,
"Probabilistic and deterministic fluid flow in second order FSPN's, "
Proc. of 3rd Int. Conf. on Automation of Mixed Processes (Reims,
France), pp. 324-9, March, 1998.
- K. Wolter, A. Zisowsky, "On
Markov reward modelling with second order FSPNs, " Proc. of 15th annual
UK Performance Engineering Workshop (Bristol, UK), pp. 167-77, July, 1999.
-X. Xie, "Fluid stochastic
event graphs for optimisation of failure-prone manufacturing systems, " Proc.
of 1999 European Control Conf. ECC'99 (Karlsruhe, Germany), 31 August-3
September, 1999.
- D. Andreu, "Commande et Supervision des
Procédés Discontinus: une Approche Hybride, " Thése de Doctorat de
l'Université Paul Sabatier de Tolouse (Toulouse, France), November, 1996
(In French).
- D. Andreu, J.C. Pascal, H.
Pingaud, R. Valette, "Batch Process Modeling Using Petri Nets, " Proc.
of 1994 IEEE Int. Conf. on Systems, Man, and Cybernetics (San Antonio,
Texas, USA), pp. 314-9, October, 1994.
- D. Andreu, J.C. Pascal, R.
Valette, "Interaction of discrete and continuous parts of a batch process
control system, " Proc. of the Workshop on Analysis and Design of
Event-Driven Operations in Process Systems (ADEDOPS) (Imperial College,
London, UK), April, 1995.
- D. Andreu, H. Pingaud, J.C. Pascal, R. Valette,
"Un système de commande hiérarchisé hybride: application à la commande
d'un réacteur batch multifluide, " Journées d'Etudes SEE, Rapport LAAS
96036 (Lyon, France), February, 1996 (In French).
- D. Andreu, J.C. Pascal, R.
Valette, "Events as a key of a batch process control system, " Proc.
of CESA'96, Symp. On Discrete Events and Manufacturing Systems (Lille,
France), pp. 297-302, July, 1996.
- R. Champagnat, P. Esteban, H. Pingaud,
R. Valette, "Petri Nets based modeling of hybrid systems, " Proc.
of the ICIMS-NOE ASI'96 Conf. Life Cycle Approaches to Production Systems,
Management, Control, Supervision (Toulouse, France), pp. 53-60, June, 1996.
Also published in Computers in Industry, Vol. 36, No. 1-2, pp.139-46,
April, 1998.
- R. Champagnat, P. Esteban, H.
Pingaud, R. Valette, "Modelling hybrid systems by means of high-level
Petri Nets: benefits and limitations, " Proc. of the IFAC-IFIP-IMACS
Conf. on Control of Industrial Systems (Belfort, France), pp. 469-74, May,
1997.
- R. Champagnat, P. Esteban, H.
Pingaud, R. Valette, "Modeling and Simulation of a Hybrid System Through
PR/TR PN-DAE Model, " Proc. of 3rd Int. Conf. on Automation of Mixed
Processes (Reims, France), pp.131-7, March, 1998.
- R. Champagnat, R. Valette, H.
Pingaud, "Formal methods for batch production systems, " Proc. of
Multi-Workshop on Formal Methods in Performance Evaluation and Applications
FM&M'99 (Zaragoza, Spain), pp. 1-20, September, 1999.
- R. Champagnat, R. Valette, J.-C.
Hochon, H. Pingaud, "Modelling, Simulation and Analysis of Batch
Production Systems, "Discrete Event Dynamic Systems: Theory and
Applications, Vol. 11, Numbers 1/2, pp. 118-36, January/April 2001.
- B. Daubas, A. Pagés, H. Pingaud,
"Combined simulation of hybrid processes , " Proc. of 1994 IEEE
Int. Conf. on Systems, Man, and Cybernetics (San Antonio, Texas, USA), pp.
320-5, October, 1994.
- J.-C. Hochon, R. Champagnat, R. Valette,
"Modélisation et simulation hybrides à l'aide des réseaux de Petri
Prédicats-Transitions Couplés à des équations algébro-différentielles (RdP
Pr/Tr - EAD), " Proc. of the 4e Colloque Africain sur la Recherche en
Informatique, CARI '98 (Dakar, Senegal), pp. 737-49, October, 1998.
- S. Julia, R. Valette, C.M.M. Jùnior, J.M.
Fernandes, "Escalonamento de sistemas de produção hibridos usando-se um
jogador de rete de Petri, " Proc. of the XII Brazilian Automatic
Control Conference, XII CBA (Uberlândia, MG, Brazil), Vol. IV, pp. 1397-402, September, 1998.
- A. Pagès, H. Pingaud, "An
hybrid process model based on Petri Nets applied to short term scheduling of
batch-semi continuous plants, " Proc. of the Workshop on Analysis and
Design of Event-Driven Operations in Process Systems (ADEDOPS) (Imperial
College, London, UK), April, 1995.
- H. Pingaud, R. Valette, "Simulation,
optimisation et conduite des procédés batchs: la place et le role des modèles à
événements discrets, " Journées d'Etudes SEE, Rapport LAAS 96037
(Lyon, France), February, 1996 (In French).
- C. Valentin-Roubinet,
"Modeling and Analysis methods for a class of Hybrid Dynamic Systems,
" Proc. of the Symp. ADPM'94 (Brussels, Belgium), November, 1994.
- C. Valentin-Roubinet,
"Modelling and Simulation of Sequential Hybrid Dynamic Systems, " Proc.
of the Workshop on Analysis and Design of Event-Driven Operations in Process
Systems (ADEDOPS) (Imperial College, London, UK), April, 1995.
- C. Valentin-Roubinet,
"Modeling of hybrid systems: DAE supervised by Petri Nets. The example of
a gas storage, " Proc. of 3rd Int. Conf. on Automation of Mixed
Processes (Reims, France), pp. 142-9, March, 1998.
- C. Valentin-Roubinet, P. Ladet,
"Flow modeling in a class of Hybrid (Continuous/Discrete) Systems, " Proc.
of the Int. Conf. IEEE on Systems, Man, and Cybernetics (Le Touquet,
France), pp. 244-249, October, 1993.
- R. Valette, "Petri Nets for
control and monitoring: specification, verification, implementation, " Proc.
of the Workshop on Analysis and Design of Event-Driven Operations in Process Systems
(ADEDOPS) (Imperial College, London, UK), April, 1995.
- R. Valette, H. Pingaud, A.
Pagés, D. Andreu, J.C. Pascal, "Modeling, simulation and control of
event-driven operations in process systems, " Proc. of ETFA'95 Symp. on
Emerging Technologies and Factory Automation (Paris, France), pp. 119-28,
October, 1995.
- D. Vibert, C. Valentin-Roubinet,
E. Niel, "A Modelling Method to Take into Account Fluctuations of
Continuous Variables in a Class of Hybrid Systems, " Proc. of ECC'97,
European Control Conf. (Brussels, Belgium), July, 1997.
- N. Audry, I. Demogodin, F.
Prunet, "Modelling of high throughput production lines by using generic
models described in batches Petri Nets, " Proc. 1994 IEEE Int. Conf. on
Robotics and Automation (San Diego, CA, USA), Vol. 1, pp. 807-12, May,
1994.
- N. Audry, M.-K. Ghabri, I.
Demongodin, "Modelling and control of high throughput production lines,
" Proc. of the IFAC Workshop on New Trends in Design of Control Systems
(Smolenice, Slovakia), pp. 392-7, September, 1994.
- N. Audry, F. Prunet,
"Comparison of extended Petri Nets for high throughput production line
accurate modelling and simulation, " Proc. of the ADEDOPS Workshop
(Imperial College, London, UK), April, 1995. Also published in Proc. of
ETFA'95 Symp. on Emerging Technologies and Factory Automation(Paris,
France), pp. 525-33, October, 1995.
- N. Audry, F. Prunet,
"Simulation of production systems with help of batches Petri Nets, " Proc.
of the 1995 EUROSIM Conf., EUROSIM '95 (Vienna, Austria), pp. 1193-8,
September, 1995.
- N. Audry, F. Prunet,
"Controlled batches Petri Nets, " Proc. of the 1995 IEEE Int.
Conf. on Systems, Man and Cybernetics, Intelligent Systems for the 21st Century
(Vancouver, BC, Canada), Vol. 2, pp. 1849-54, October, 1995.
- M. Caradec, F. Prunet,
"Coloured Batches Petri Nets, " Proc. of the Int. Conf. on
Management and Control of Production and logistics, MCPL'97-IFAC/IFIP
(Campinas, Brazil), pp. 265-9, August/September, 1997.
- M. Caradec, F. Prunet,
"Modelling of hybrid flexible systems and taking accumulation phenomena
into account, " Proc. of 3rd Int. Conf. on Automation of Mixed
Processes (Reims, France), pp. 86-93, March, 1998 (In French).
- M. Caradec, F. Prunet,
"Modelling of hybrid flexible production systems by coloured batches Petri
Nets, " European Journal of Automation, Vol. 32, N°9-10, pp.
1255-69, 1998.
- I. Demongodin, " Les réseaux de Petri
Lots: modélisation des systèmes de production à haute cadence en régime
transitoire, " I. Demongodin Doctor Thesis, University of Montpellier
(Montpellier, France), July, 1994 (In French).
- I. Demongodin, "Extended
structures of Batches Petri Nets, " Proc. of Int. Conf. on Systems, Man
and Cybernetics IEEE/SMC (Tokio, Japan), 1999, to appear.
- I. Demongodin, "Generalised
Batches Petri Net: Hybrid Model for High Speed Systems with Variable
Delays", Discrete Event Dynamic Systems: Theory and Applications,
Vol. 11, Numbers 1/2, pp. 137-162, January/April 2001.
- I. Demongodin, F. Prunet,
"Extention of hybrid Petri Nets to accumulation systems, " IMACS
Int. Symp. on Mathematical Modelling and Scientific Computing (Bangalore,
India), pp. 558-68, 1992.
- I. Demongodin, F. Prunet,
"Batches Petri Nets, " Proc. of Compeuro 93, Computer in Design,
Manufacturing and Production (Paris, France), pp. 29-37, May, 1993.
- I. Demongodin, N. Audry, F.
Prunet, "Batches Petri Nets, " Proc. of the 1993 Int. Conf. on
Systems, Man and Cybernetics, Systems Engineering in the Service of Humans
(Le Touquet, France), Vol. 1, pp. 607-17, October, 1993.
- I. Demongodin, N. Audry, F. Prunet, "Outil
de modélisation des systèmes hybrides: les réseaux de Petri Lots à
caractéristique variable, " Proc. of the Symp. ADPM'94
(Brussels, Belgium), pp. 227-32, November, 1994 (In French).
- I. Demongodin, F. Prunet,
"The modeling of production lines by discrete events and continuous time
aspect in Petri Nets, " Proc. of the Int. Conf. on Management and
Control of Production and logistics, MCPL'97-IFAC/IFIP (Campinas, Brazil),
pp. 235-43, August/September, 1997.
- I. Demongodin, M. Caradec, F.
Prunet, "Fundamental Concepts of Analysis of Batches Petri Nets, " Proc.
of 1998 IEEE Int. Conf. on Systems, Man, and Cybernetics (San Diego,
CA,USA), pp. 845-50, October, 1998.
- P. Gensane, "De la validation du modéle
réseaux de Petri Lots des convoyeurs à accumulation, " Diplôme d'Etudes
Approfondies en Automatique, University of Montpellier (Montpellier,
France), June, 1994 (In French).
- F. Prunet, M. Caradec, N. Audry,
"Running Modes and Faulty Behavior Conveyors Modeling With Extended Petri
Nets, " Proc. of CESA'96, Symp. On Discrete Events and Manufacturing
Systems (Lille, France), pp. 291-6, July, 1996.
- H. Alla, J.-M. Flaus,
"Modeling of gas storage unit using hybrid flow nets, " Proc. of
3rd Int. Conf. on Automation of Mixed Processes (Reims, France), pp.
138-41, March, 1998 (In French).
- J.-M. Flaus, "Hybrid Flow
Nets for Batch Process Modeling, " Proc. of CESA'96, Symp. On Discrete
Events and Manufacturing Systems (Lille, France), pp. 273-8, July, 1996.
- J.-M. Flaus, "Hybrid Flow
Nets for hybrid process modeling and control, " IEE Colloquium on
Hybrid Control for Real-Time Systems (London, UK), pp. 6/1-3, December,
1996.
- J.-M. Flaus, "Hybrid Flow
Networks for Hybrid Process Modelling, " Technical Report, Laboratoire
d'Automatique de Grenoble (Grenoble, France), 1996.
- J.-M. Flaus, "Hybrid Flow
Nets for Batch Process Modeling and Simulation, " Proc. of the 2nd
IMACS Symp. On Mathematical Modeling (Vienna, Austria), pp. 211-6,
February, 1997.
- J.-M. Flaus, "Hybrid
supervisor synthesis for a class of hybrid systems, " Proc. of 3rd Int.
Conf. on Automation of Mixed Processes (Reims, France), pp. 185-92, March,
1998.
- J.-M. Flaus, G. Ollagnon,
"Hybrid flow nets for hybrid processes modeling and control, " Proc.
of the Int. Workshop on Hybrid and Real-Time Systems, HART'97 (Grenoble,
France), pp. 213-7, March, 1997.
- J.-M. Flaus, H. Alla,
"Structural analysis of hybrid systems modelled by hybrid flow nets,
" Proc. of ECC'97, European Control Conf. (Brussels, Belgium),
July, 1997.
- F. Balduzzi, A. Giua, G. Menga,
"Hybrid Stochastic Petri Nets: Firing Speed Computation and FMS Modeling,
" Proc. of WoDES'98: 4th Int. Workshop on Discrete Event Systems
(Cagliari, Italy), pp. 432-8, August, 1998.
- F. Balduzzi, G. Menga, A. Giua,
"Optimal Speed Allocation and Sensitivity Analysis of Hybrid Stochastic
Petri Nets, " Proc. of 1998 IEEE Int. Conf. on Systems, Man, and
Cybernetics (San Diego, CA,USA), pp. 131-5, October, 1998.
- F. Balduzzi, G. Menga, A. Giua,
C. Seatzu, "A Linear State Variable Model for First-Order Hybrid Petri
Nets, " Proc. of the 14th IFAC World Congress (Beijing, China),
Vol. J, pp. 205-10, July, 1999.
- F. Balduzzi, A. Giua, C. Seatzu,
"Hybrid Control of Production Systems with Local Optimization, " Proc.
of 7th IEEE Int. Conf. on Emerging Technologies and Factory Automation
(Barcelona, Spain), pp. 1531-1540, October, 1999.
- F. Balduzzi, A. Giua, C. Seatzu,
“Modelling
manufacturing systems with First-Order Hybrid Petri Nets, ” International
Journal of Production Research, Special Issue on Modeling, Specification and
Analysis of Manufacturing Systems, Vol. 39, No. 2, pp. 255-282, January
2001.
- F. Balduzzi, A. Di Febbraro, A.
Giua, C. Seatzu, "Decidability Results
in First-Order Hybrid Petri Nets, " Discrete Event Dynamic Systems:
Theory and Applications, Vol. 11, Numbers 1/2, pp. 41-58, January/April
2001.
- A. Giua, R. Furcas, A.
Piccaluga, C. Seatzu, “Modeling and Control
of Inventory Management Policies Using First-Order Hybrid Petri Nets, ” Proc.
of 4th International Conference Automation of Mixed Processes: Hybrid
Dynamical Systems (Dortmund, Germany), pp. 273-8, 18-19 Sett. 2000. .
- A. Giua, R. Furcas, A.
Piccaluga, C. Seatzu, “Hybrid Petri net
modeling of inventory management systems, ” European Journal of
Automation, Special Issue on Hybrid Dynamical Systems (accepted)..
- I. Demongodin, N.T. Koussoulas,
"Differential Petri Nets: A New Model for Hybrid Systems, " Proc.
Advanced Summer Institute '96 (Toulouse, France), pp. 61-8, June, 1996.
- I. Demongodin, N.T. Koussoulas,
"Modeling of Hybrid Control Systems via Differential Petri Nets, " Proc.
of the 4th IEEE Mediterranean Symp. in Control and Automation (Maleme,
Greece), pp. 428-33, June, 1996.
- I. Demongodin, N.T. Koussoulas,
"Modeling Dynamic Systems Through Petri Nets, " Proc. of CESA'96,
Symp. On Discrete Events and Manufacturing Systems (Lille, France), pp.
279-84, July, 1996.
- I. Demogodin, N.T. Koussoulas,
"Modeling of mixed continuous/discrete-event systems via differential
Petri Nets, " Proc. of the 3rd IEEE Int. Conf. on Electronics,
Circuits, and Systems, ICECS'96 (Rodos, Greece), Vol. 1, pp. 475-8,
October, 1996.
- I. Demongodin, N.T. Koussoulas,
"Differential Petri Nets: Representing Continuous Systems in a
Discrete-Event World, " IEEE Transactions on Automatic Control,
Vol. 43, No. 4, pp.573-9, April, 1998.
- H. Chen, H.-M. Hanisch, "Hybrid
net condition/event systems for modeling and analysis of batch processes,
" Proc. of 3rd Int. Conf. on Automation of Mixed Processes (Reims,
France), pp. 193-200, March, 1998.
- H. Chen, H. -M. Hanisch,
"Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System
Model", Discrete Event Dynamic Systems: Theory and Applications,
Vol. 11, Numbers 1/2, pp. 163-86, January/April 2001.
- G. Decknatel, E. Schnieder,
"Modelling Railway Systems with Hybrid Petri Nets, "Proc. of 3rd
Int. Conf. on Automation of Mixed Processes (Reims, France), pp. 309-15,
March, 1998.
- G. Decknatel, E. Schnieder, “A
Formal Definition and Discrete-Event Simulation of Hybrid High-Level Petri
Nets, ” Proc. of 4th International Conference Automation of Mixed
Processes: Hybrid Dynamical Systems (Dortmund, Germany), pp. 337-42, 18-19
Sett. 2000.
- M.H.C. Everdij, H.A.P. Blom,
M.B. Klompstra, "Dynamically Coloured Petri Nets for Air Trafic Management
Safety Purposes," 8th IFAC Symposium on Transportation Systems (Chania,
Greece), pp. 184-189, June, 1997.
- H. Genrich, H.-M. Hanisch, K.
Wöllhaf, "Verification of recipe-based control procedures by means of
predicate/transition nets, " Proc. of the Int. Conf. on Application and
Theory of Petri Nets (Zaragoza, Spain), pp. 278-97, June, 1994.
- H.J. Genrich, I. Schuart,
"Modeling and verification of hybrid systems using hierarchical coloured
Petri Nets, " Proc. of 3rd Int. Conf. on Automation of Mixed Processes (Reims,
France), pp. 17-24, March, 1998.
- A. Giua, E. Usai, "High-Level
Hybrid Petri Nets: a Definition, " Proc. of the 35th IEEE Int. Conf. on
Decision and Control (Kobe, Japan), pp. 148-50, December, 1996.
- A. Giua, E. Usai, "Modeling Hybrid
Systems by High-Level Petri Nets, " Proc. of 3rd Int. Conf. on
Automation of Mixed Processes (Reims, France), pp. 316-23, March, 1998.
- A. Giua, E. Usai, "Modeling
hybrid systems by high-level Petri Nets, " on APII-JESA Special Issue
on Automation of mixed processes and hybrid dynamical systems, Vol. 32, No.
9-10/98, pp. 1209-31, December, 1998.
- H.-M. Hanisch, S. Fleck, "A
Resource Allocation Scheme for Flexible Batch Plants based on High-Level Petri
Nets, " Proc. of CESA'96, Symp. On Discrete Events and Manufacturing
Systems (Lille, France), pp. 303-8, July, 1996.
- J.-M. Kubek, "Introduction
to Constraint Predicate Nets. Temporal domain instanciation and application to
Ada semantics hazards mastering, " Ph.D. Thesis, Institut National des
Sciences Appliquées de Tolouse, DGE-INSA (Tolouse, France), 1994 (In
French).
- J.-M. Kubek, G. Motet,
"Simulation of discrete systems including continuous components with
linear constrained Predicate Nets, " Proc. of the IASTED Int. Conf. on
Modelling and Simulation (Pittsburgh, Pennsylvania, USA), April, 1995.
- J.-M. Kubek, G. Motet,
"Application of Temporal Constrained Predicate Nets to Production Systems,
" Proc. of ETFA'95 Symp. on Emerging Technologies and Factory
Automation (Paris, France), pp. 69-80, October, 1995.
- R. Wieting, "Modeling and
simulation of hybrid systems using hybrid high-level nets, " Proc. of
the 8th European Simulation Symp. .Simulation in Industry, ESS'96 (Genoa,
Italy), Vol. 2, pp. 158-62, October, 1996.
- R. Wieting, "Hybrid
High-Level Nets, " Proc. of the 1996 Winter Simulation Conf. (Coronado,
CA, USA), pp. 848-55, December, 1996.
- R. Wieting, M. Sonnenschein,
"Extending high-level Petri Nets for modeling hybrid systems, " Proc.
of the IMACS Symp. on Systems Analysis and Simulation (Berlin, Germany),
pp.259-62, June, 1995.
- F. Balduzzi, A. Di Febbraro, A.
Giua, S. Sacone, "Control of Hybrid Petri Nets using Max-plus
Algebra," Proc. 3rd World CSCC MultiConference (Athens, Greece),
pp. 2651-6, July, 1999.
-F. Balduzzi, A. Di Febbraro, A.
Giua, C. Seatzu, "Unitary rate hybrid Petri Nets, " Proc. 3rd
IMACS Symp. on Mathematical Modelling MATHMOD (Vienna, Austria), pp.
461-465, February, 2000.
-F. Balduzzi, A. Di Febbraro, A.
Giua, C. Seatzu, "Decidability of single-rate hybrid Petri Nets, " Proc.
IEEE 38th Int. Conf. on Decision and Control (Phoenix, Arizona), December,
1999. (to appear)
- F. Boutet, G. Motet, "Modélisation et
simulation de systèmes de production hybrides par réseaux à prédicats
contraints, " Première conférence francophone sur la Modèlisation et la
Simulation des systèmes de production MOSIM'97 (Rouen France), Ed. Hermès. [In French]
- G. Boudol, "Flow event
structures and flow Nets, " Proc. of LITP Spring School on Theoretical
Computer Science. Semantics of Systems of Concurrent Processes (La Roche
Posay, France), pp. 62-95, April, 1990.
- A. Bouriji, M. Zasadzinski, M.
Darouach, G. Krzakala, M. Musset, "On the use of hybrid Petri Nets for
control process safety: application to a steam-boilers network simulator,
" Proc. of the 1993 Int. Conf. on Systems, Man and Cybernetics.
Engineering in the Service of Humans (Le Touquet, France), Vol. 2, pp.
197-202, October, 1993.
- A. Bourjij, M. Zasadzinski, M. Darouach, J.L. Preudhomme,
"Diagnostic par les réseaux de Petri hybrides: application a un réseau de
générateurs de vapeur simule, " Proc. of the Symp. ADPM'94 (Brussels,
Belgium), pp. 239-46, November, 1994 (In French).
- J.P. Bourrieres, A. Chevillard,
"Modélisation des convoyeurs à transfert libre à l'aide des réseaux de
Petri, " Revue d'Áutomatismes et de Productique Appliquées, Vol. 1,
No. 4, 1988 (In French).
- P. Bouyer, C. Dufourd, E.
Fleury, A. Petit, "Are Timed Automata Updatable?, " Proc. 12th
Int. Conf. Computer Aided Verification.(CAV'2000) (Chicago, IL, USA), July
2000.
- P. Bouyer, C. Dufourd, E.
Fleury, A. Petit, "Expressiveness of Updatable Timed Automata, " Proc.
25th Int. Symp. Math. Found. Comp. Sci.(MFCS'2000) (Bratislava,
Slovakia), Aug. 2000.
- P.L. Brinkman, W.A. Blaauboer,
"Times continuous Petri Nets: a tool for analysis and simulation of
discrete event systems, " Proc. of the 1990 European Simulation Symp.
.Intelligent Process Control and Scheduling: Discrete Event Systems (Ghent,
Belgium), pp. 164-8, November, 1990.
- E. Carpanzano, L. Ferrarini,
"Object-Orientation and Petri Nets in hybrid control system development,
" Proc. of 3rd Int. Conf. on Automation of Mixed Processes (Reims,
France), pp. 201-8, March, 1998.
- R. Chen, J. Wang, Y.H. Jin,
"A continuous process model for real-time scheduling based on hybrid Petri
Net, " Proc. of the 1997 IEEE Int. Conf. on Intelligent Processing
Systems (Beijing, China), Vol. 2, pp. 1327-31, October, 1997.
- M. Chouikha, E. Schnieder,
"Modelling of Continuous-discrete Systems with Hybrid Petri Nets, " Proc.
of CESA'98: Computational Engineering in Systems Application (Nabeul-Hammamet,
Tunisia), Vol. 3, pp. 606-12, April, 1998.
- G. Cohen, S. Gaubert, J.-P.
Quadrat, "Asymptotic Throughput of Continuous Timed Petri Nets, "
Proc. of the 34th Conf. on Decision and Control (New Orleans, LA; USA), pp.
2029-34, December, 1995.
- D. Cook, R. Evans,
"Time-Augmented nets as descriptions of real-time and hybrid systems,
"Proc. of 3rd Int. Conf. on Automation of Mixed Processes (Reims,
France), pp. 338-45, March, 1998.
- G. Corriga, A. Giua, G. Usai,
"Petri Net Modeling of Irrigation Canal Networks, " Proc. of Int.
Workshop on Regulation of Irrigation Canals (Marrakech, Morocco), pp.
39-48, April, 1997.
- A. Di Febbraro, S. Sacone,
"Application of hybrid techniques to the modeling of interurban road
networks, " Proc. of the IEEE Conf. on Intelligent Transportation
Systems, ITSC'97 (Boston, MA, USA), pp. 88-93, November, 1997.
- A. Di Febbraro, S. Sacone,
"Hybrid Petri Nets to Model Transportation Systems, " Proc. of
WoDES'98: 4th Int. Workshop on Discrete Event Systems (Cagliari, Italy),
pp. 522-5, August, 1998.
- A. Di Febbraro, S. Sacone,
"Hybrid Modeling of Transportation Systems by means of Petri Nets, " Proc.
of 1998 IEEE Int. Conf. on Systems, Man, and Cybernetics (San Diego,
CA,USA), pp. 131-5, October, 1998.
-A. Di Febbraro, S. Sacone,
"Modelling and control of large-scale systems via hybrid Petri Nets,
" Proc. of 1999 European Control Conf. ECC'99 (Karlsruhe, Germany),
31 August-3 September, 1999.
- M. Droste, R.M. Shortt, "Continuous Petri Nets and
Transition Systems" Unifying Petri Nets 2001, Lecture
Notes in Computer Science, Vol. 2128, (H. Ehrig et al. Eds.), pp. 457-484, Springer-Verlag, 2001.
- A. Finkel, S. Purushothaman
Iyer, G. Sutre, "Well-abstracted transition systems, " Proc. 11th
Int. Conf. Concurrency Theory (CONCUR'2000) (PSUState College, PA, USA),
Aug. 2000, Lecture Notes in Computer Science. Springer, 2000 (to appear).
-A. Finkel, G. Sutre,
"Decidability of reachability problems for classes of two counters
automata, " Proc. 17th Ann. Symp. Theoretical Aspects of Computer
Science (STACS'2000) (Lille, France), Feb. 2000, Vol 1770 of Lecture Notes
in
Computer Science, pp. 346-357, Springer, 2000.
- B.O. Gaujal, F. Baccelli,
"Liveness in discrete and continuous Petri Nets, " Proc. of the
4th IEEE Mediterranean Symp. in Control and Automation (Maleme, Greece),
June, 1996.
- M.-K. Ghabri, "Sur la Modélisation et la
commande des systèmes fléxibles de production: développement et mise en oeuvre
des Réseaux de Petri contrôlés, " Thèse de Doctorat de l'INP
(Grenoble, France), June, 1995 (In French).
- M.-K. Ghabri, P. Ladet,
"Controlled continuous Petri Nets, " Proc. 1994 IEEE Int. Conf. on
Robotics and Automation (San Diego, CA, USA), Vol. 1, pp. 788-93, May,
1994.
- M.-K. Ghabri, P. Ladet,
"Petri Nets and their application - 2nd part, " in Autom. Prod.
Inform. Ind., Vol. 29, No. 2, pp. 225-42, 1995 ( In French).
- M..M. Gomaa, "La modélisation des systèmes
industriels par les réseaux de Petri continus causaux, " Technical
Report 95/100, Laboratoire d'Automatique de Grenoble, ENSIEG-INPG St. Martin
D'Heres (Grenoble, France), September, 1995 (In French).
- M..M. Gomaa, S. Gentil, " Systèmes
dynamiques hybrides: Une nouvelle approche de modélisation pour la supervision,
" Journée d'étude "Analyse et supervision des systèmes dynamiques
hybrides" (Lion, France), February, 1996 (In French).
- M..M. Gomaa, S. Gentil,
"Industrial continuous system modeling by continuous causal Petri Nets
(C²PNs), " Proc. of IEEE Int. Conf. on Computer Integrated
Manufacturing and Automation Technology, CIMAT '96 (Grenoble, France), pp.
29-31, May, 1996.
- M..M. Gomaa, S. Gentil,
"Hybrid industrial dynamical system supervision via hybrid continuous
causal Petri Nets (HC²PNs), " Proc. of CESA'96, Symp. On Discrete
Events and Manufacturing Systems (Lille, France), pp. 285-290, July, 1996.
- M. Gotesman, N. Lopez-Benitez,
"Rule-based modeling of hybrid dynamics systems using Petri Nets, " Proc.
ot the 34th Annual Allerton Conf. on Communication, Control, and Computing
(Monticello,IL, USA), pp. 815-24, October, 1996.
- M. Gotesman, N. Lopez-Benitez,
"Petri Net-based modeling of hybrid dynamic systems, " Proceeding
of ETFA'96, 1996 IEEE Conf. on Emerging Technologies and Factory Automation
(Kauai, HI, USA), Vol. 2, pp. 553-9, November, 1996.
- M. Haounani, D. Lefebvre, A. El
Moudni, "Variable Speed Continuous Petri Net, " Proc. of the 17th
IASTED Int. Conf. Modelling, Identification and Control (Grindelwald,
Switzerland), February, 1998.
- K.X. He, M.D. Lemmon,
"Validation of liveness for 1-safe hybrid Petri Nets using network
unfolding, " Proc. of 1999 European Control Conf. ECC'99
(Karlsruhe, Germany), 31 August-3 September, 1999.
- R. Jasinevichius,
"Neural-type continuous Petri Net concept for system modeling and
simulation, " Proc. of the 4th Int. Symp. On Systems Analysis and
Simulation. Computational Systems Analysis 1992 (Berlin, Germany), pp.
331-5, August, 1992.
- M.K. Jbira, M. Annabi, M.
Moalla, "Discretized Flux Petri Network Model, " Proc. of CESA'98:
Computational Engineering in Systems Application (Nabeul-Hammamet,
Tunisia), Vol. 3, pp. 595-9, April, 1998.
- C. Jorns, L. Litz, "Hybrid
modeling with Petri Nets for the verification of logic control algorithms,
" Proc. of the 3rd European Control Conf., ECC'95 (Rome, Italy),
Vol. 3, pp. 2035-40, September, 1995.
- D. Lefebvre, "Proportional
Feedback for the Control Design of Manufacturing Systems modeled by Continuous
Petri Nets, " Proc. of the 17th IASTED Int. Conf. Modelling,
Identification and Control (Grindelwald, Switzerland), February, 1998.
- D. Lefebvre, N. Zerhouni, A. El
Moudni, "A generalization of the continuous time Petri Nets for the
control design of production systems, " Proc. of the 3rd IFAC Symp.
.Modelling and Control in Biomedical Systems (Warwick, UK), pp.389-94,
March, 1997.
- M. Lemmon, K. He, C.J. Bett,
"Modeling Hybrid Control Systems using Programmable Timed Petri Nets,
" Proc. of 3rd Int. Conf. on Automation of Mixed Processes (Reims,
France), pp. 177-84, March, 1998.
- C.S. Pan, M.-K. Ghabri, P.
Ladet, "Dynamic Petri Net and its applications in the production, " Proc.
of IFAC Integrated Systems Engineering (Baden-Baden, Germany), 1994.
- S. Pettersson, "Hybrid
Petri Net, " Tech. Report CODEN: CTH/RT/E-93/0012 Control Engineering
Lab., Chalmers University of Technology (Goteborg, Sweden), 1993.
- S.Pettersson, B Lennartson,
"Hybrid Modellind focused on Hybrid Petri Nets, " Proc. of the 2nd
European Workshop on Real-time and Hybrid Systems (Grenoble, France), pp.
303-9, June, 1995. Also published in Technical Report CTH/RT/I-95/009,
Control Eng. Lab, Chalmers University of Technology (Göteborg, Sweden),
1995.
- L. Recalde, E. Teruel, M. Silva,
"Autonomous Continuous P/T Systems, " In: Donatelli, Susanna;
Kleijn, Jetty: Letures Notes in Computer Science, Vol. 1630: Application and
Theory of Petri Nets 1999, 20th Int. Conf. ICATPN'99 (Williamsgurg,
Virginia, USA), pp. 107-126, Springer-Verlag, June 1999.
- L. Recalde, M. Silva, “PN
Fluidification Revisited: Semantics and Steady State, ” Proc. of 4th International
Conference Automation of Mixed Processes: Hybrid Dynamical Systems
(Dortmund, Germany), pp. 279-86, 18-19 Sett. 2000.
- M. Rezai, "Global Petri Net
Modeling of Hybrid Systems and Fault Analysis, " Ph.D. Thesis,
University of British Columbia, 1996.
- M. Rezai, P.D. Lawrence, M.R.
Ito, "Modeling and Simulation of Hybrid Control Systems by Global Petri
Nets, " Proc. of the IEEE Int. Symp. on Circuits and Systems, 1995.
- M. Rezai, P.D. Lawrence, M.R.
Ito, "Analysis of Faults in Hybrid Systems by Global Petri Nets, " Proc.
of the IEEE Int. Conf. on Systems, Man, and Cybernetics, 1995.
- M. Rezai, P.D. Lawrence, M.R.
Ito, "Hybrid modeling and simulation of manufacturing systems, " Proc.
of the 1997 IEEE 6th Int. Conf. on Emerging Technologies and Factory Automation
(Los Angeles, CA, USA), pp. 555-60, September, 1997.
- M. Rezai, M.R. Ito, P.D.
Lawrence, "GPNSAT: A New Tool for Simulation and Analysis of Hybrid
Systems, " Proc. of 1997 IEEE Int. Conf. on Systems, Man, and
Cybernetics (Orlando, Florida, USA), October, 1997.
- B. Robert, O. Nourelalaoui, F.
Gellot, V. Carre-Menetrier, "Petri Nets Models for Electronic Converters,
" Proc. of 3rd Int. Conf. on Automation of Mixed Processes (Reims,
France), pp. 383-9, March, 1998 (In French).
- C. Rong, W. Jun, J. Yihui,
"A continuous process model for real-time scheduling based on hybrid Petri
net, " Proc. of 1997 IEEE Int. Conf. on Intelligent Processing Systems,
ICIPS'97 (Beijing, China), pp. 1327-31, October, 1997.
-P. Sarri, E. Niel,
"Concurrent Vector Discrete-Event Systems: An Application To Hybrid
Systems, " Proc. of 3rd Int. Conf. on Automation of Mixed Processes
(Reims, France), pp. 25-33, March, 1998 (In French).
- Xinhe Xu, Zhengguo Li, Yanping
Li, "Generalized Petri Nets for a class of hybrid dynamic systems, " Proc.
of the 13th IFAC World Congress (San Francisco, CA, USA), Vol. J, pp.
305-10, July, 1996.