„petri nets“

Suchergebnisse

1.000+ Treffer

• On Decidability of Concurrent Kleene Algebra
  Brunet, Paul ; Pous, Damien ; Struth, Georg 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A modular framework for optimal scheduling of industrial processes
  Schild, Axel ; Rose, Alexander ; Grotjahn, Martin ; Luck, Bennet 2022 Hochschule Hannover
• Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets
  Hussain, Syed Asad ; Khan, Naeem Akhtar ; Sadiq, Ayesha ; Ahmad, Farooq
• European railway traffic management system validation using UML/Petri nets modelling strategy
  Jabri, Sana ; Koursi, El Miloudi El ; Bourdeaud’huy, Thomas ; Lemaire, Etienne
• Partial Order Reduction for Reachability Games
  Bønneland, Frederik Meyer ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand ; Muñiz, Marco ; Srba, Jiří 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Membrane computing – 14th international conference ; revised selected papers
  Alhazov, Artiom ; Cojocaru, Svetlana ; Gheorghe, Marian ; Rogozhin, Yurii ; Rozenberg, Grzegorz ; Salomaa, Arto 2014 Springer
• Repairing event logs using stochastic process models
  Rogge-Solti, Andreas ; Mans, Ronny S. ; Aalst, Wil ˜van derœ ; Weske, Mathias 2013 Universität Potsdam
• Reconstruction of extended Petri nets from time series data and its application to signal transduction and to gene regulatory networks
  Durzinsky, Markus ; Wagler, Annegret ; Marwan, Wolfgang
• Controller-Synthese für Services mit Daten
  Bathelt-Tok, Franziska ; Reisig, Wolfgang ; Leymann, Frank ; Weidlich, Matthias 2017 Humboldt-Universität zu Berlin
• Threat driven modeling framework using petri nets for e-learning system
  Khamparia, Aditya ; Pandey, Babita
• Transactions on Petri nets and other models of concurrency
  Koutny, Maciej ; Pomello, Lucia ; Kristensen, Lars M. 2019 Springer
• Membrane Computing – 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papers
  Alhazov, Artiom ; Cojocaru, Svetlana ; Gheorghe, Marian ; Rogozhin, Yurii ; Rozenberg, Grzegorz ; Salomaa, Arto 2014 Springer Berlin Heidelberg
• Fault-Tolerant Control of Large-Scale Manufacturing Systems – A Signal Interpreted Petri Net Approach
  Köhler, Andreas 2025 Logos Berlin
• Fault-Tolerant Control of Large-Scale Manufacturing Systems – A Signal Interpreted Petri Net Approach
  Köhler, Andreas 2025 Logos Verlag Berlin
• Petri Nets in the Biosciences
  Koch, Ina ; Reisig, Wolfgang ; Schreiber, Falk
• Theory and practice of computer science – proceedings
  Černá, Ivana ; Gyimóthy, Tibor ; Hromkovič, Juraj ; Jefferey, Keith ; Kralovic, Rastislav ; Vukolic, Marko ; Wolf, Stefan 2011 Springer
• Modeling Petri net-based multi-agent applications
  Cabac, Lawrence
• Modeling the metabolism of arabidopsis thaliana : application of network decomposition and network reduction in the context of petri nets
  Koch, Ina ; Nöthen, Joachim ; Schleiff, Enrico 2017 Universitätsbibliothek Johann Christian Senckenberg
• Transactions on Petri nets and other models of concurrency
  Aalst, Wil ˜van derœ ; Ajmone Marsan, Marco ; Franceschinis, Giuliana ; Kleijn, Jetty ; Kristensen, Lars M. ; Jensen, Kurt 2012 Springer
• Population Protocols with Unordered Data
  Blondin, Michael ; Ladouceur, François 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik