Abstract
A Petri net is basically a discrete model. However, continuous Petri nets, such that the markings are real numbers have been defined. Two continuous Petri net models involving time have been drawn up. They differ by the calculation of the instantaneous firing speeds of the transitions. Both can be used to approximate a timed Petri net. The former considers constant firing speeds (CCPN) and is very easy to simulate (few events have to be considered, even when it approximates a timed Petri net with many reachable markings). The latter considers firing speeds depending on the marking (VCPN). Although it provides a better approximation, its simulation is longer because the markings and speeds are given by differential equations. This paper introduces a third model (ACPN) which presents the advantages of the two preceding ones. In most cases, this model represents the asymptotic behavior of the VCPN. Then their precisions are similar. Since the firing speeds of the ACPN are constant, it is as easy to simulate as the CCPN.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ajmone Marsan, M., Balbo, G., Bobio, A., Chiola, G., Conte, G., and Cumani, A., 1985. On Petri nets with stochastic timing.Int. Workshop in Timed Petri Nets, Turin (I).
Alla, H., and David, R., 1988. Modelling of production systems by continuous Petri nets.3rd Int. Conf. CAD/CAM, CARS & FOF88, Detroit, 344–348.
Chretienne, P., 1983. Les Réseaux de Petri Temporisés. Thèse d'etat, Université Paris VI.
Cohen, G., Moller, P., Quadrat, J.-P., and Viot, J., 1989. Algebraic tools for the performance evaluation of discrete event systems.Proc. IEEE, 77: 39–57.
David, R., and Alla, H. 1987. Continuous Petri nets.8th European Workshop on Application and Theory of Petri Nets, Saragosse (E), 275–294.
David, R., and Alla, H., 1990. Autonomous and timed continuous Petri nets.11th Int. Conf. Application and Theory of Petri Nets, Paris, 367–386.
David, R., and Alla, H., 1989.Du Grafcet aux réseaux de Petri. Paris: Editions Hermès. English version, 1992:Petri Nets and Grafcet: Tools for Modelling of Discrete Event Systems, London: Prentice Hall.
David, R., Xie, X., and Dallery, Y., 1990. Properties of continuous models of transfer lines with unreliable machines and finite buffers.IMA J. Math. Appl. Business Indust., No. 6: 281–308.
Dubois, D., and Forestier, J.-P., 1982. Productivité et en-cours moyens d'un ensemble de deux machines separées par un stock.Rev. RAIRO Automat., 16: 105–132.
Florin, G., and Natkin, S., 1986. RDPS: A software package for the validation and evaluation of dependable computer systems.Safecomp 86, Proc. Fifth IFAC Workshop, Sarlat.
Gershwin, S.B., and Schick, I.C., 1980. Continuous model of an unreliable two-stage material flow system with a finite interstage buffer. Technical report MIT LIDS-R-1032.
Le Bail, J., 1991. Un nouveau modèle continu: les réseaux de Petri continus asymptotiques, Technical report L.A.G. No. 91/22.
Le Bail, J., Alla, H., and David, R., 1992. Asymptotic continuous Petri nets: an efficient approximation of discrete event systems.IEEE. Int. Conf. Robotics and Automation, Nice, 1050–1056.
Max Plus, 1991. A linear system theory for systems subject to synchronization and saturation constraint.First European Control Conf., Grenoble, France, 1022–1033.
Molloy, M.K., 1985. Fast bounds for stochastic Petri nets.Int. Workshop on Timed Petri Nets, Torino (I), 244–249.
Ramchandani, C., 1973. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. thesis, MIT.
Sifakis, J., 1977. Use of Petri nets for performance evaluation, pp. 75–93 inMeasuring, Modelling and Evaluating Computer Systems, Beilner, H., and Gelenbe, E. (eds.). Amsterdam: North-Holland.
Tarski, A., 1955. A lattice theorical fixpoint theorem and its applications.Pacific J. Math., 5.
Zerhouni, N., and Alla, H., 1990. Dynamic analysis of manufacturing systems using continuous Petri nets.IEEE Int. Conf. Robotics and Automation, Cincinnati, 1070–1075.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Le Bail, J., Alla, H. & David, R. Asymptotic continuous Petri nets. Discrete Event Dyn Syst 2, 235–263 (1993). https://doi.org/10.1007/BF01797160
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01797160