Littérature scientifique sur le sujet « Petri nets »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Petri nets ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Petri nets"
Narahari, Y. « Petri nets ». Resonance 4, no 9 (septembre 1999) : 44–52. http://dx.doi.org/10.1007/bf02834232.
Texte intégralNarahari, Y. « Petri nets ». Resonance 4, no 8 (août 1999) : 58–69. http://dx.doi.org/10.1007/bf02837068.
Texte intégralBaez, John C., et Jade Master. « Open Petri nets ». Mathematical Structures in Computer Science 30, no 3 (mars 2020) : 314–41. http://dx.doi.org/10.1017/s0960129520000043.
Texte intégralSHIIZUKA, Hisao. « Fuzzy Petri Nets ». Journal of Japan Society for Fuzzy Theory and Systems 4, no 6 (1992) : 1069–85. http://dx.doi.org/10.3156/jfuzzy.4.6_63.
Texte intégralLiu, GuanJun, ChangJun Jiang, MengChu Zhou et PengCheng Xiong. « Interactive Petri Nets ». IEEE Transactions on Systems, Man, and Cybernetics : Systems 43, no 2 (mars 2013) : 291–302. http://dx.doi.org/10.1109/tsmca.2012.2204741.
Texte intégralBartoletti, Massimo, Tiziana Cimoli et G. Michele Pinna. « Lending Petri nets ». Science of Computer Programming 112 (novembre 2015) : 75–101. http://dx.doi.org/10.1016/j.scico.2015.05.006.
Texte intégralASPERTI, A., et N. BUSI. « Mobile Petri nets ». Mathematical Structures in Computer Science 19, no 6 (décembre 2009) : 1265–78. http://dx.doi.org/10.1017/s0960129509990193.
Texte intégralde Frutos Escrig, David, et Olga Marroquín Alonso. « Ambient Petri Nets ». Electronic Notes in Theoretical Computer Science 85, no 1 (septembre 2003) : 39. http://dx.doi.org/10.1016/s1571-0661(05)80086-6.
Texte intégralBause, Falko, et Pieter S. Kritzinger. « Stochastic Petri Nets ». ACM SIGMETRICS Performance Evaluation Review 26, no 2 (août 1998) : 2–3. http://dx.doi.org/10.1145/288197.581194.
Texte intégralEshuis, Rik. « Statechartable Petri nets ». Formal Aspects of Computing 25, no 5 (24 septembre 2011) : 659–81. http://dx.doi.org/10.1007/s00165-011-0204-5.
Texte intégralThèses sur le sujet "Petri nets"
Bowden, Fred D. J. « The modelling and analysis of command and control decision processes using extended time petri nets ». Title page, table of contents and abstract only, 2001. http://web4.library.adelaide.edu.au/theses/09PH/09phb784.pdf.
Texte intégralJin, Wei. « Petri nets and their applications ». Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/774753.
Texte intégralDepartment of Computer Science
Dahlbom, Anders. « Petri nets for situation recognition ». Doctoral thesis, Örebro universitet, Akademin för naturvetenskap och teknik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-13089.
Texte intégralAnders Dahlbom is also affiliated to Skövde Artificial Intelligence Lab (SAIL), Information Fusion Research Program, Högskolan i Skövde
David, Nicolas. « Discrete Parameters in Petri Nets ». Thesis, Nantes, 2017. http://www.theses.fr/2017NANT4108/document.
Texte intégralWith the aim of increasing the modelling capability of Petri nets, we suggest that models involve parameters to represent the weights of arcs, or the number of tokens in places. We consider the property of coverability of markings. Two general questions arise, the universal and the existential one: “Is there a parameter value for which the property is satisfied?” and “Does the property hold for all possible values of the parameters”. We show that these issues are undecidable in the general case. Therefore, we also define subclasses of parameterised nets, depending on whether the parameters are used on places, input or output arcs of transitions. For some classes, we prove that universal and existential coverability become decidable, making these classes more usable in practice. To complete this study, we prove that those problems are EXPSPACE-complete. We also address a problem of parameter synthesis, that is computing the set of values for the parameters such that a given marking is coverable in the instantiated net. Restricting parameters to only input weights (preT-PPNs) provides a downward-closed structure to the solution set. We therefore invoke a result for the representation of upward closed set from Valk and Jantzen. The condition to use this procedure is equivalent to decide the universal coverability. We also propose an adaptation of this reasoning to the case of parameters used only as output weights (postT-PPNs). In this case, the condition to use this procedure can be reduced to the decidability of the existential coverability. Finally, we broaden this study by establishing decision frontiers through the study of existential and universal reachability
BARROSO, GIOVANNI CORDEIRO. « A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS : ANARCO ». PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1987. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192@1.
Texte intégralThe modeling of sistems which have identical sub-systems, by means of Petri nets, leads to the generation of large scale graphs with identical components. The extensions of Petri nets, which afford the possibility of distinguishing these sub-systems through the distinction of the tokens within the net, are called colored Petri nets. This work presents some colored Petri net proposals existent in literature and an analysis code based on one of these proposals - the Kurt Jensen one. This program analyses through the mark enumeration method, the colored Petri net properties, such as boundedness, liveness and reinicialization.
Masapati, Gulammahammad Hasanasaheb. « Performance prediction using timed Petri nets ». Thesis, University of Ottawa (Canada), 1987. http://hdl.handle.net/10393/5155.
Texte intégralKyratzoglou, I. M. (Ioannis M. ). « Computer aided design for Petri Nets ». Thesis, Massachusetts Institute of Technology, 1987. http://hdl.handle.net/1721.1/14669.
Texte intégralGhahremani, Azghandi Nargess. « Petri nets, probability and event structures ». Thesis, University of Edinburgh, 2014. http://hdl.handle.net/1842/9936.
Texte intégralLi, Yao Carleton University Dissertation Engineering Electrical. « Solution techniques for stochastic petri nets ». Ottawa, 1992.
Trouver le texte intégralMASCHERONI, MARCO. « Hypernets : a class of hierarchical petri nets ». Doctoral thesis, Università degli Studi di Milano-Bicocca, 2011. http://hdl.handle.net/10281/19228.
Texte intégralLivres sur le sujet "Petri nets"
Hartmut, Ehrig, dir. Unifying Petri nets : Advances in Petri nets. Berlin : Springer, 2001.
Trouver le texte intégralReisig, Wolfgang. Petri Nets. Berlin, Heidelberg : Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-69968-9.
Texte intégralDiaz, Michel, dir. Petri Nets. London, UK : ISTE, 2009. http://dx.doi.org/10.1002/9780470611647.
Texte intégralLiu, Guanjun. Petri Nets. Singapore : Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-6309-4.
Texte intégralGrzegorz, Rozenberg, dir. Petri nets. Amsterdam : North-Holland, 1996.
Trouver le texte intégral1950-, Reisig Wolfgang, Rozenberg Grzegorz et Advanced Course on Petri Nets (1996 : Dagstuhl, Wadern, Germany), dir. Lectures on Petri nets : Advances in Petri nets. Berlin : Springer, 1998.
Trouver le texte intégralBause, Falko, et Pieter S. Kritzinger. Stochastic Petri Nets. Wiesbaden : Vieweg+Teubner Verlag, 1996. http://dx.doi.org/10.1007/978-3-663-11521-2.
Texte intégralWang, Jiacun. Timed Petri Nets. Boston, MA : Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5537-7.
Texte intégralReisig, Wolfgang. Understanding Petri Nets. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-33278-4.
Texte intégralJensen, Kurt. Coloured Petri Nets. Berlin, Heidelberg : Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/978-3-662-06289-0.
Texte intégralChapitres de livres sur le sujet "Petri nets"
Wang, Jiacun. « Petri Nets ». Dans The Kluwer International Series on Discrete Event Dynamic Systems, 9–35. Boston, MA : Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5537-7_2.
Texte intégralMoody, John O., et Panos J. Antsaklis. « Petri Nets ». Dans Supervisory Control of Discrete Event Systems Using Petri Nets, 5–22. Boston, MA : Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5711-1_2.
Texte intégralŞtefănescu, Gheorghe. « Petri nets ». Dans Network Algebra, 305–19. London : Springer London, 2000. http://dx.doi.org/10.1007/978-1-4471-0479-7_12.
Texte intégralGorrieri, Roberto. « Petri Nets ». Dans Monographs in Theoretical Computer Science. An EATCS Series, 35–76. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-55559-1_3.
Texte intégralvan der Aalst, W. M. P. « Petri Nets ». Dans Encyclopedia of Database Systems, 1–6. New York, NY : Springer New York, 2016. http://dx.doi.org/10.1007/978-1-4899-7993-3_817-2.
Texte intégralCheung, King Sing. « Petri Nets ». Dans Augmented Marked Graphs, 9–30. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06428-4_2.
Texte intégralCassandras, Christos G., et Stéphane Lafortune. « Petri Nets ». Dans Introduction to Discrete Event Systems, 225–73. Boston, MA : Springer US, 1999. http://dx.doi.org/10.1007/978-1-4757-4070-7_4.
Texte intégralvan der Aalst, W. M. P. « Petri Nets ». Dans Encyclopedia of Database Systems, 2103–8. Boston, MA : Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-39940-9_817.
Texte intégralBest, Eike, et César C. Fernández. « Petri Nets ». Dans Nonsequential Processes, 55–78. Berlin, Heidelberg : Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-73483-0_3.
Texte intégralLeasure, Bruce, David J. Kuck, Sergei Gorlatch, Murray Cole, Gregory R. Watson, Alain Darte, David Padua et al. « Petri Nets ». Dans Encyclopedia of Parallel Computing, 1525–30. Boston, MA : Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-09766-4_134.
Texte intégralActes de conférences sur le sujet "Petri nets"
Jain, Shruti, Pradeep Naik et Sunil Bhooshan. « Petri nets ». Dans ICWET '10 : International Conference and Workshop on Emerging Trends in Technology. New York, NY, USA : ACM, 2010. http://dx.doi.org/10.1145/1741906.1742168.
Texte intégralIndzhov, Hristo, Dimitar Blagoev et George Totkov. « Executable Petri Nets ». Dans the International Conference. New York, New York, USA : ACM Press, 2009. http://dx.doi.org/10.1145/1731740.1731782.
Texte intégralSemenov, Alexander. « Fractal Petri nets ». Dans 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2017. http://dx.doi.org/10.1109/codit.2017.8102759.
Texte intégralHura, Gurdeep Singh. « Petri nets (abstract) ». Dans the 1986 ACM fourteenth annual conference. New York, New York, USA : ACM Press, 1986. http://dx.doi.org/10.1145/324634.325331.
Texte intégralLetia, Tiberiu S., Elenita M. Durla-Pasca et Dahlia Al-Janabi. « Quantum Petri Nets ». Dans 2021 25th International Conference on System Theory, Control and Computing (ICSTCC). IEEE, 2021. http://dx.doi.org/10.1109/icstcc52150.2021.9607302.
Texte intégralMarzougui, Borhen, Khaled Hssine et Kamel Barkaoui. « Toward a New Model of the Petri Nets : Agent Petri Nets ». Dans 2010 European Modelling Symposium (EMS). IEEE, 2010. http://dx.doi.org/10.1109/ems.2010.100.
Texte intégralde la Hoz, Jose Daniel Fandiño, Juan Sebastián Sosa et Nicolás Cardozo. « Distributed Context Petri Nets ». Dans the Workshop. New York, New York, USA : ACM Press, 2019. http://dx.doi.org/10.1145/3340671.3343359.
Texte intégralAman, Bogdan, Gabriel Ciobanu et G. Michele Pinna. « Timed Catalytic Petri Nets ». Dans 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE, 2012. http://dx.doi.org/10.1109/synasc.2012.22.
Texte intégralLuo, Huaiju, Jiliang Luo et Wanzhen Lin. « Reasoning via Petri nets ». Dans 2017 Eighth International Conference on Intelligent Control and Information Processing (ICICIP). IEEE, 2017. http://dx.doi.org/10.1109/icicip.2017.8113935.
Texte intégralComlan, Maurice, David Delfieu, Medesu Sogbohossou et Antoine Vianou. « Embedding time Petri nets ». Dans 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2017. http://dx.doi.org/10.1109/codit.2017.8102625.
Texte intégralRapports d'organisations sur le sujet "Petri nets"
Prisgrove, L. A., et G. S. Shedler. Symmetric Stochastic Petri Nets. Fort Belvoir, VA : Defense Technical Information Center, mars 1985. http://dx.doi.org/10.21236/ada158348.
Texte intégralClegg, Benjamin Wyatt, David H. Collins, Jr. et Aparna V. Huzurbazar. Petri Nets for Adversarial Models using Monte Carlo Simulation. Office of Scientific and Technical Information (OSTI), septembre 2018. http://dx.doi.org/10.2172/1473775.
Texte intégralNewcomb, Harry. Modeling Bus Bunching with Petri Nets and Max-Plus Algebra. Portland State University Library, janvier 2014. http://dx.doi.org/10.15760/honors.66.
Texte intégralPerdu, Didier M. Requirements Specification with Petri Nets Using the Cube Tool Methodology. Fort Belvoir, VA : Defense Technical Information Center, août 1989. http://dx.doi.org/10.21236/ada212190.
Texte intégralSuzuki, Ichiro, Jianan Li et Masafumi Yamashita. Fair Petri Nets and Structural Induction for Rings of Processes. Fort Belvoir, VA : Defense Technical Information Center, décembre 1994. http://dx.doi.org/10.21236/ada283920.
Texte intégralShatz, S. Using Petri Nets to Support Concurrent Software Analysis and Design Automation. Fort Belvoir, VA : Defense Technical Information Center, octobre 1999. http://dx.doi.org/10.21236/ada371497.
Texte intégralDiLeo, John J. Use of Petri Nets in the Simulation of Command and Control Systems. Fort Belvoir, VA : Defense Technical Information Center, octobre 1994. http://dx.doi.org/10.21236/ada289942.
Texte intégralLi, Jianan, Ichiro Suzuki et Masafumi Yamashita. Decision Problems Related to Structural Induction for Rings of Petri Nets with Fairness,. Fort Belvoir, VA : Defense Technical Information Center, octobre 1995. http://dx.doi.org/10.21236/ada297111.
Texte intégralSchmerl, Bradley, Jonathan Aldrich, David Garlan, Rick Kazman et Hong Yan. DiscoTect : A System for Discovering the Architectures of Running Programs using Colored Petri Nets. Fort Belvoir, VA : Defense Technical Information Center, mars 2006. http://dx.doi.org/10.21236/ada456147.
Texte intégralYablonskyy, Maxym. «NEW DAYS» WEEKLY AND PETRO VOLYNIAK, PUBLISHER AND AUTHOR. Ivan Franko National University of Lviv, février 2021. http://dx.doi.org/10.30970/vjo.2021.49.11058.
Texte intégral