Abstract
This paper deals with multi enabledness in Time Petri nets (TPN). Such a semantics allows one to implement multiple-server paradigm which is proved to be more expressive than the single-server one. However, different semantics and policies were defined in the literature to handle multi-enabledness, and hence many TPN models were considered. Two main concepts were already introduced: the threshold and the age token based semantics. In order to provide to the designer more capabilities in the modeling and the analysis of complex systems, we propose in this paper a first attempt to gather both semantics in a same framework. In our model, called general Time Petri Net (G − TPN), each transition of the network is associated with a specific firing semantics. The formalization of the latter is then given by associating time constraints with firing points, rather than with transitions and tokens. This allows one to express easily the semantics of the model and to reduce the amount of data in the definition of a state.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Series in parallel computing. Wiley (1995)
Ajmone Marsan, M., Balbo, G., Bobbio, A., Chiola, G., Conte, G., Cumani, A.: The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Transations on Software Engineering 15(7), 832–846 (1989)
Abdelli, A.: Age semantics based state space computation of Time Petri Nets. In: IEEE FMI workshop of IRI, San fransisco USA (August 2014)
Abdelli, A.: Efficient computation of quantitative properties of real-time preemptive systems. IJCCBS 3(3), 187–209 (2012)
Abdelli, A., Badache, N.: Towards Building the State Class Graph of the TSPN Model. Fundamenta Informaticae 86(4), 371–409 (2008)
Bérard, B., Cassez, F., Haddad, S., Lime, D., Roux, O.H.: Comparison of Different Semantics for Time Petri Nets. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol. 3707, pp. 293–307. Springer, Heidelberg (2005)
Berthomieu, B., Diaz, M.: Modeling and verification of time dependant systems using Time Petri Nets. IEEE TSE 17(3), 259–273 (1991)
Berthomieu, B.: La méthode des classes d’états pour l’analyse des réseaux temporels - mise en oeuvre, extension à la multi-sensibilisation. In: Modélisation des Systèmes Réactifs, pp. 275–290. Hermes, Toulouse (2001)
Boucheneb, H., Lime, D., Roux, O.H.: On Multi-enabledness in Time Petri Nets. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 130–149. Springer, Heidelberg (2013)
Boucheneb, H., Berthelot, G.: Toward a simplified building of Time Petri Nets reachability graph. In: PNPM 1993, Toulouse, France, pp. 46–55 (October 1993)
Boucheneb, H., Bullich, A., Roux, O.H.: FIFO Time Petri Nets for conflicts handling. In: 11th International Workshop on Discrete Event Systems, IFAC, Mexico (2012)
Boyer, M., Diaz, M.: Multiple enabledness of transitions in time Petri nets. In: Proc. of the 9th IEEE International Workshop on Petri Nets and Performance Models, Aachen, Germany, IEEE Computer Society (2001)
Cerone, A., Maggiolo-Schettini, A.: Timed based expressivity of time Petri nets for system specification. Theoretical Computer Science 216, 1–53 (1999)
Khansa, W., Denat, J., Collart-Dutilleul, S.P.: Time Petri nets for manufacturing systems. In: Proc. of WODES 1996, Edimburgh, UK, pp. 94–102 (1996)
Merlin, P.M.: A study of the recoverability of computing systems. PhD thesis, Department of Information and Computer Science, University of California, Irvine, CA (1974)
Vicario, E.: Static Analysis and Dynamic Steering of Time-Dependent Systems. IEEE Trans. Software Eng. 27(8), 728–748 (2001)
Walter, B.: Timed net for modeling and analysing protocols with time. In: Proceedings of the IFIP Conference on Protocol Specification Testing and Verification, North-Holland (1983)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Abdelli, A. (2015). Towards a General Model to Handle Multi-enabledness in Time Petri Nets. In: Bouabana-Tebibel, T., Rubin, S. (eds) Formalisms for Reuse and Systems Integration. FMI 2014. Advances in Intelligent Systems and Computing, vol 346. Springer, Cham. https://doi.org/10.1007/978-3-319-16577-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-16577-6_5
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-16576-9
Online ISBN: 978-3-319-16577-6
eBook Packages: EngineeringEngineering (R0)