Littérature scientifique sur le sujet « 1-safe nets »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
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 « 1-safe 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 "1-safe nets"
Cheng, Allan, Javier Esparza et Jens Palsberg. « Complexity results for 1-safe nets ». Theoretical Computer Science 147, no 1-2 (août 1995) : 117–36. http://dx.doi.org/10.1016/0304-3975(94)00231-7.
Texte intégralChalopin, Jérémie, et Victor Chepoi. « 1-Safe Petri Nets and Special Cube Complexes ». ACM Transactions on Computational Logic 20, no 3 (16 juillet 2019) : 1–49. http://dx.doi.org/10.1145/3322095.
Texte intégralMarchese, Ugo, Martin Gaillard, Anna Pellat, Stylianos Tzedakis, Einas Abou Ali, Anthony Dohan, Maxime Barat, Philippe Soyer, David Fuks et Romain Coriat. « Multimodal Management of Grade 1 and 2 Pancreatic Neuroendocrine Tumors ». Cancers 14, no 2 (15 janvier 2022) : 433. http://dx.doi.org/10.3390/cancers14020433.
Texte intégralAbbes, Samy. « Toward uniform random generation in 1-safe Petri nets ». Electronic Notes in Discrete Mathematics 59 (juin 2017) : 3–17. http://dx.doi.org/10.1016/j.endm.2017.05.002.
Texte intégralMishra, P. K. « Lower and upper bounds of shortest paths in reachability graphs ». International Journal of Mathematics and Mathematical Sciences 2004, no 57 (2004) : 3023–36. http://dx.doi.org/10.1155/s0161171204403378.
Texte intégralMęski, Artur, Wojciech Penczek et Agata Półrola. « BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets ». Fundamenta Informaticae 109, no 3 (2011) : 305–21. http://dx.doi.org/10.3233/fi-2011-513.
Texte intégralSingh, Gajendra Pratap, Sujit Kumar Singh et Madhuri Jha. « Existence of Forbidden Digraphs for Crisp Boolean Petri Nets ». International Journal of Mathematical, Engineering and Management Sciences 5, no 1 (1 novembre 2019) : 83–95. http://dx.doi.org/10.33889/ijmems.2020.5.1.008.
Texte intégralHawa, Fadi, Zeyad Sako, Than Nguyen, Andrew T. Catanzaro, Eugene Zolotarevsky, Angela N. Bartley et Naresh T. Gunaratnam. « The band and slough technique is effective for management of diminutive type 1 gastric and duodenal neuroendocrine tumors ». Endoscopy International Open 08, no 06 (25 mai 2020) : E717—E721. http://dx.doi.org/10.1055/a-1119-6698.
Texte intégralCzaja, Ludwik. « Extensions of Elementary Cause-Effect Structures ». Fundamenta Informaticae 179, no 2 (10 mars 2021) : 93–111. http://dx.doi.org/10.3233/fi-2021-2016.
Texte intégralHeljanko, Keijo. « Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets ». Fundamenta Informaticae 37, no 3 (1999) : 247–68. http://dx.doi.org/10.3233/fi-1999-37304.
Texte intégralThèses sur le sujet "1-safe nets"
MASCHERONI, 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égralChapitres de livres sur le sujet "1-safe nets"
Best, Eike, et Harro Wimmel. « Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets ». Dans Lecture Notes in Computer Science, 63–82. Berlin, Heidelberg : Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44988-4_6.
Texte intégralCheng, Allan, Javier Esparza et Jens Palsberg. « Complexity results for 1-safe nets ». Dans Lecture Notes in Computer Science, 326–37. Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57529-4_66.
Texte intégralLodaya, Kamal, D. Ranganayakulu et K. Rangarajan. « Hierarchical Structure of 1-Safe Petri Nets ». Dans Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation, 173–87. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-40965-6_12.
Texte intégralPraveen, M., et Kamal Lodaya. « Parameterized Complexity Results for 1-safe Petri Nets ». Dans CONCUR 2011 – Concurrency Theory, 358–72. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23217-6_24.
Texte intégralHeljanko, Keijo. « Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets ». Dans Tools and Algorithms for the Construction and Analysis of Systems, 240–54. Berlin, Heidelberg : Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-49059-0_17.
Texte intégralSharkey, Amanda J. C., Noel E. Sharkey et Gopinath O. Chandroth. « Neural Nets and Diversity ». Dans Safe Comp 95, 375–89. London : Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3054-3_25.
Texte intégralGórski, Janusz, Jan Magott et Andrzej Wardziński. « Modeling Fault Trees Using Petri Nets ». Dans Safe Comp 95, 90–100. London : Springer London, 1995. http://dx.doi.org/10.1007/978-1-4471-3054-3_7.
Texte intégralShumba, Jenny, Symphorosa Rembe, Toyin Adewumi, Henry Chinhara, Sibangani Shumba et Cosmas Maphosa. « Maintaining Safety Nets and Peace for Children and Youth at Risk ». Dans Cultivating a Culture of Nonviolence in Early Childhood Development Centers and Schools, 82–100. IGI Global, 2019. http://dx.doi.org/10.4018/978-1-5225-7476-7.ch005.
Texte intégralLemcke, Jens, Andreas Friesen et Tirdad Rahmani. « Validating Component-Based Implementations of Business Processes ». Dans Electronic Business Interoperability, 124–51. IGI Global, 2011. http://dx.doi.org/10.4018/978-1-60960-485-1.ch007.
Texte intégralCiufudean, Calin. « A New Formalism for Diagnosis and Safe Development of Information Systems ». Dans Advances in IT Personnel and Project Management, 206–28. IGI Global, 2016. http://dx.doi.org/10.4018/978-1-4666-9688-4.ch012.
Texte intégralActes de conférences sur le sujet "1-safe nets"
Jourdan, Guy-Vincent, et Gregor V. Bochmann. « On Testing 1-Safe Petri Nets ». Dans 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2009. http://dx.doi.org/10.1109/tase.2009.20.
Texte intégralHe, Kevin X., et Michael D. Lemmon. « Validation of liveness for 1-safe hybrid Petri nets using network unfolding ». Dans 1999 European Control Conference (ECC). IEEE, 1999. http://dx.doi.org/10.23919/ecc.1999.7099843.
Texte intégralKansal, Sangita, Gajendra Pratap Singh et Mukti Acharya. « A Disconnected 1-Safe Petri Net Whose Reachability Tree Is Homomorphic to a Complete Boolean Lattice ». Dans 2011 International Conference on Process Automation, Control and Computing (PACC). IEEE, 2011. http://dx.doi.org/10.1109/pacc.2011.5979037.
Texte intégralYoung, Garry G., et Jason Remer. « Subsequent License Renewal in the U.S. » Dans ASME 2015 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/pvp2015-45586.
Texte intégralAl Ali, Eman, Ravi Srinivas, Jawwad Kaleem, Ganank Srivastava et Mostafa Shehata. « A Multi-Layered Strategy to Manage Foaming in Ultra-Sour Gas Sweetening Units ». Dans ADIPEC. SPE, 2022. http://dx.doi.org/10.2118/211268-ms.
Texte intégralHardy, Robert, et Neha Vijh. « Accelerating the Path to Net Zero with Blue Hydrogen : A Route to Achieving Best-In-Class Environmental Performance and Economics ». Dans ADIPEC. SPE, 2022. http://dx.doi.org/10.2118/210888-ms.
Texte intégralChevalier, Marc, Peter James et Nicholas Underwood. « Establishing AMR Structural Integrity Codes and Standards for UK GDA (EASICS) : Overview of Activities to Provide Guidance for the UK Generic Design Assessment Process for High Temperature Advanced Modular Reactors ». Dans ASME 2020 Pressure Vessels & Piping Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/pvp2020-21721.
Texte intégralAlizadeh, Hassan, Simon J. Lewis, Christopher Gill, S. Hossain, David J. Smith et Christopher E. Truman. « Measurement and Prediction of the Residual Stress Field in an Autogenously Welded Stainless Steel Plate ». Dans ASME 2008 Pressure Vessels and Piping Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/pvp2008-61341.
Texte intégralTatli, Emre, Sung Jin Lee, Jun Liao et Paolo Ferroni. « Assessment of Passive Cooling Capability of the Westinghouse Lead Fast Reactor Under Station Blackout Conditions ». Dans 2022 29th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/icone29-91821.
Texte intégralVerdult, Michiel, Raymond Marchee et Guus Hommel. « Ductile Failure Limit State Design of High Strength Steel Tension Members With Large Stress Concentrations ». Dans ASME 2011 30th International Conference on Ocean, Offshore and Arctic Engineering. ASMEDC, 2011. http://dx.doi.org/10.1115/omae2011-49228.
Texte intégralRapports d'organisations sur le sujet "1-safe nets"
Lamarque, Hugh, et Hannah Brown. Key Considerations : Cross-Border Dynamics Between Uganda and Kenya in the Context of the Outbreak of Ebola, 2022. Institute of Development Studies, décembre 2022. http://dx.doi.org/10.19088/sshap.2022.043.
Texte intégral