This is a preview of subscription content, log in via an institution to check access.
References
Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S. and Franceschinis, G. 1995. Modelling with Generalized Stochastic Petri Nets, John Wiley & Sons.
Alla, H. and David, R. 1987. Continuous Petri nets. Proc. 8th Int. Work. on Applications and Theory of Petri Nets, Zaragoza, Spain, pp. 275–294.
Alur, R., Courcoubetis, C., Henzinger, T. A. and Ho, P. H. 1993. Hybrid Automata: an Algorithmic Approach to the Specification and Verification of Hybrid Systems. Hybrid Systems 1993 LNCS, Vol. 736, Springer-Verlag, pp. 209–229.
Alur, R. and Dill, D.L. 1994. A theory of timed automata. Theoretical Computer Science, 126, pp. 183–235.
Bibliography on Hybrid Petri Nets. http://www.diee.unica.it/»hpn.
Caradec, M. and F. Prunet, 1998. Modelling of Hybrid Flexible Production Systems by Coloured Batches Petri Nets. European Journal of Automation APII-JESA, Special Issue on automation of mixed processes and hybrid dynamical systems, 32(9-10), pp. 1255–1269.
Champagnat, R., Esteban, P., Pingaud, H. and Valette, R. 1998. Petri net based modeling of hybrid systems. Computers in Industry, 36(1-2), pp. 139–146.
David, R. 1997. Modeling of hybrid systems using continuous and hybrid Petri nets. Proc. 6th Int. Work. Petri Nets and Performance Models, PNPM97 St-Malo, France, pp. 47–57.
Demongodin, I. and Koussoulas, N. T. 1998. Differential Petri nets: Representing continuous systems in a discrete-event world. IEEE Trans. on Automatic Control, 43(4), pp. 573–579.
Giua, A. and Usai, E. 1998. Modeling hybrid systems by high-level Petri nets. European Journal of Automation APII-JESA, Special Issue on Automation of mixed processes and hybrid dynamical systems, 32(9-10/98): 1209–1231.
Krogh, B. H. 1993. Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems. Proc. 8th Int. Symposium on Intelligent Control Systems, pp. 180–185.
Le Bail, J., Alla, H. and David, R. 1991. Hybrid Petri nets. Proc. 1st Int. European Control Conference, ECC91 Grenoble, France, pp. 1472–1477.
Murata, T. 1989. Petri Nets: Properties, Analysis and Applications. Proceedings IEEE, 77(4), pp. 541–580.
Puri, A. and Varaiya, P. 1996 Decidable hybrid systems. Computer and Mathematical Modeling, 23(11/12), pp. 191–202.
Trivedi, K. S. and Kulkarni, V. G. 1993. 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.
Valentin-Roubinet, C. 1998. 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, ADPM98 Reims, France, pp. 142–149.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Febbraro, A.D., Giua, A. & Menga, G. Guest Editorial. Discrete Event Dynamic Systems 11, 5–8 (2001). https://doi.org/10.1023/A:1008378830715
Issue Date:
DOI: https://doi.org/10.1023/A:1008378830715