PLACE_SUBST Transformation of P/T Petri Process Nets and Its Properties

Abstract : Petri nets is one of mathematical modeling languages for the description of all kind of parallel systems. Property-preserving Petri net process algebras (PPPA) were originally designed for the specification and verification of Petri net processes representing the manufacturing systems. PPPA does not need to verify the composition of Petri net processes because all their algebraic operators preserve the specified set of the properties. These original PPPA are generalized for the newly introduced class of the P/T Petri process nets (PTPN) in this article. The only one PLACE_SUBST transformation is defined for the class of PTPN and its chosen properties are presented. The PTPN can be with the support of the PLACE_SUBST transformation easily applied into the area of design, simulation and verification of multithreading programming systems executed in parallel or distributed environment. This fact is demonstrated on the simple example of the client-server distributed programming system.
Type de document :
Communication dans un congrès
Khalid Saeed; Władysław Homenda. 15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9842, pp.504-515, 2016, Computer Information Systems and Industrial Management. 〈10.1007/978-3-319-45378-1_45〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01637481
Contributeur : Hal Ifip <>
Soumis le : vendredi 17 novembre 2017 - 15:44:23
Dernière modification le : samedi 18 novembre 2017 - 01:16:39
Document(s) archivé(s) le : dimanche 18 février 2018 - 15:04:39

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

Citation

Ivo Martiník. PLACE_SUBST Transformation of P/T Petri Process Nets and Its Properties. Khalid Saeed; Władysław Homenda. 15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9842, pp.504-515, 2016, Computer Information Systems and Industrial Management. 〈10.1007/978-3-319-45378-1_45〉. 〈hal-01637481〉

Partager

Métriques

Consultations de la notice

70