Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Petri-Nets (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1973-1976 (20) 1977-1978 (15) 1979-1980 (26) 1981 (66) 1982 (30) 1983 (19) 1984 (43) 1985 (82) 1986 (76) 1987 (73) 1988 (70) 1989 (87) 1990 (83) 1991 (133) 1992 (101) 1993 (157) 1994 (127) 1995 (170) 1996 (154) 1997 (156) 1998 (211) 1999 (206) 2000 (194) 2001 (266) 2002 (232) 2003 (312) 2004 (322) 2005 (322) 2006 (347) 2007 (351) 2008 (422) 2009 (372) 2010 (279) 2011 (197) 2012 (282) 2013 (309) 2014 (290) 2015 (287) 2016 (285) 2017 (227) 2018 (273) 2019 (256) 2020 (240) 2021 (209) 2022 (206) 2023 (192) 2024 (31)
Publication types (Num. hits)
article(2446) book(27) incollection(69) inproceedings(6059) phdthesis(94) proceedings(113)
Venues (Conferences, Journals, ...)
Petri Nets(378) ICATPN(299) PNPM(269) CoRR(180) SMC(179) Trans. Petri Nets Other Model....(178) Application and Theory of Petr...(154) Fundam. Informaticae(117) IEEE Trans. Software Eng.(96) PNSE @ Petri Nets(95) IEEE Access(81) IEEE Trans. Syst. Man Cybern. ...(79) PNSE@Petri Nets(74) IEEE Trans. Autom. Control.(72) ICRA(70) Theor. Comput. Sci.(70) More (+10 of total 1749)
Authors
MengChu Zhou(152) Wil M. P. van der Aalst(138) Zhiwu Li 0001(128) Alessandro Giua(104) Carla Seatzu(99) Maciej Koutny(99) Manuel Silva Suárez(85) Daniel Moldt(77) Jörg Desel(70) Lars Michael Kristensen(67) Hesuan Hu(64) Eike Best(63) Serge Haddad(61) Dimitri Lefebvre(60) Wolfgang Reisig(60) Kamel Barkaoui(58) More (+10 of total 8923)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4444 occurrences of 1511 keywords
Results
Found 8808 publication records. Showing 8808 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
74P. S. Thiagarajan, Jesper G. Henriksen Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. Search on Bibsonomy Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
74Sami Evangelista Experimenting with Stubborn Sets on Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
74Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Search on Bibsonomy Petri Nets The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
74Raymond R. Devillers On the Reversibility of Circular Conservative Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
74Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats Transforming Dynamic Condition Response Graphs to Safe Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
74Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König 0001 Stochastic Decision Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
74Loriane Leclercq, Didier Lime, Olivier H. Roux A State Class Based Controller Synthesis Approach for Time Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
74Rafal Graczyk, Waldemar Bujwan, Marcin Darmetko, Marcin Dziezyc, Damien Galano, Konrad Grochowski, Michal A. Kurowski, Grzegorz Juchnikowski, Marek Morawski, Michal Mosdorf, Piotr Orleanski, Cedric Thizy, Marcus Völp From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering. Search on Bibsonomy Petri Nets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
74Raymond R. Devillers, Ronny Tredup Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues. Search on Bibsonomy Petri Nets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
74Federica Adobbati, Luca Bernardinello, Lucia Pomello, Riccardo Stramare Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets. Search on Bibsonomy ATAED@Petri Nets The full citation details ... 2022 DBLP  BibTeX  RDF
74Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen Aligning Event Logs to Resource-Constrained ν-Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
74Vegard Steinsland, Lars Michael Kristensen, Shujun Zhang Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems. Search on Bibsonomy Petri Nets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
74Maxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland, Bjarte Kileng Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
74Franck Pommereau, Colin Thomas, Cédric Gaucherel Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems Modelling. Search on Bibsonomy Petri Nets The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
74Loïg Jezequel, Didier Lime, Bastien Sérée A Lazy Query Scheme for Reachability Analysis in Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
74Jérôme Leroux Flat Petri Nets (Invited Talk). Search on Bibsonomy Petri Nets The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
74Michael Haustermann, David Mosteller, Daniel Moldt Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
74Rémi Parrot, Mikaël Briday, Olivier H. Roux Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. Search on Bibsonomy Petri Nets The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
74Rüdiger Valk Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
74Javier Esparza, Mikhail A. Raskin, Christoph Welzel Computing Parameterized Invariants of Parameterized Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
74Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
74Jiawen Kang, Yunjun Bai, Li Jiao Abstraction-Based Incremental Inductive Coverability for Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
74Ronny Tredup Synthesis of Petri Nets with Restricted Place-Environments: Classical and Parameterized. Search on Bibsonomy Petri Nets The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
74Pierre Bouvier, Hubert Garavel Efficient Algorithms for Three Reachability Problems in Safe Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
74Martin Schwarick, Christian Rohr, Fei Liu 0006, George Assaf, Jacek Chodak, Monika Heiner Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams. Search on Bibsonomy Petri Nets The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Jörg Desel, Marc Finthammer, Andrea Frank Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Olivier Finkel On the High Complexity of Petri Nets ømega-Languages. Search on Bibsonomy Petri Nets The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Silvano Dal-Zilio MCC: A Tool for Unfolding Colored Petri Nets in PNML Format. Search on Bibsonomy Petri Nets The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Pierre Bouvier, Hubert Garavel, Hernán Ponce de León Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. Search on Bibsonomy Petri Nets The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà A CTL* Model Checker for Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Xavier Allamigeon, Marin Boyet, Stéphane Gaubert Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers. Search on Bibsonomy Petri Nets The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Paolo Ballarini, Davide Duma, András Horváth, Roberto Aringhieri Petri Nets Validation of Markovian Models of Emergency Department Arrivals. Search on Bibsonomy Petri Nets The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Ronny Tredup, Evgeny Erofeev On the Complexity of Synthesis of nop-Free Boolean Petri Nets. Search on Bibsonomy ATAED@Petri Nets The full citation details ... 2020 DBLP  BibTeX  RDF
74Serge Haddad, Igor Khmelnitsky Dynamic Recursive Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
74Ronny Tredup Hardness Results for the Synthesis of b-bounded Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
74Alain Finkel, Serge Haddad, Igor Khmelnitsky Coverability and Termination in Recursive Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
74Vince Molnár, István Majzik Saturation Enhanced with Conditional Locality: Application to Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
74Didier Lime, Olivier H. Roux, Charlotte Seidner Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
74Ronny Tredup Fixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
74Vitali Schneider, Walter Vogler Modal Open Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
74David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski Reversing Steps in Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
74Lukasz Mikulski, Ivan Lanese Reversing Unbounded Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
74Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann Tools for Curry-Coloured Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
74Javier Esparza, Mikhail A. Raskin, Chana Weil-Kennedy Parameterized Analysis of Immediate Observation Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
74Engel Lefaucheux, Alessandro Giua, Carla Seatzu Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
74Niek Tax, Natalia Sidorova, Wil M. P. van der Aalst, Reinder Haakma LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining World. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
74Raymond R. Devillers, Thomas Hujsa Analysis and Synthesis of Weighted Marked Graph Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
74Elvio Gilberto Amparore, Susanna Donatelli GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
74Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara Reversing Computations Modelled by Coloured Petri Nets. Search on Bibsonomy ATAED@Petri Nets/ACSD The full citation details ... 2018 DBLP  BibTeX  RDF
74Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
74Christoph Brinkrolf, Philo Reipke OMPetri - A Software Application for Modeling and Simulation Using Extended Hybrid Petri Nets by Employing OpenModelica. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
74Franck Pommereau, Jordan de la Houssaye Faster Simulation of (Coloured) Petri Nets Using Parallel Computing. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
74Robert Lorenz 0001, Johannes Metzger, Lev Sorokin Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations. Search on Bibsonomy ATAED@Petri Nets/ACSD The full citation details ... 2017 DBLP  BibTeX  RDF
74Thomas Hujsa, Raymond R. Devillers On Liveness and Deadlockability in Subclasses of Weighted Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
74Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon The Complexity of Diagnosability and Opacity Verification for Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
74Ernesto López-Mellado, Tonatiuh Flores-Tapia Refining Discovered Petri Nets by Sequencing Repetitive Components. Search on Bibsonomy ATAED@Petri Nets/ACSD The full citation details ... 2017 DBLP  BibTeX  RDF
74Evgeny Erofeev, Harro Wimmel Reachability Graphs of Two-Transition Petri Nets. Search on Bibsonomy ATAED@Petri Nets/ACSD The full citation details ... 2017 DBLP  BibTeX  RDF
74Dimitri Watel, Marc-Antoine Weisser, Dominique Barth Parameterized Complexity and Approximability of Coverability Problems in Weighted Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
74Uli Schlachter, Valentin Spreckels Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets. Search on Bibsonomy ATAED@Petri Nets/ACSD The full citation details ... 2017 DBLP  BibTeX  RDF
74Irina A. Lomazova Resource Equivalences in Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
74Benjamin Meis, Robin Bergenthum, Jörg Desel travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
74Rozália Lakner, Ferenc Friedler, Botond Bertók Synthesis and Analysis of Process Networks by Joint Application of P-graphs and Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
74Kristóf Marussy, Vince Molnár, András Vörös 0001, István Majzik Getting the Priorities Right: Saturation for Prioritised Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
74Slawomir Lasota 0001 Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
74Quentin Gaudel, Pauline Ribot, Elodie Chanthery, Matthew J. Daigle Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
74Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux Probabilistic Time Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
74Gabriel Juhás, Robert Lorenz 0001 Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context. Search on Bibsonomy ATAED@Petri Nets/ACSD The full citation details ... 2016 DBLP  BibTeX  RDF
74Leonid W. Dworzanski, Irina A. Lomazova Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
74S. Akshay 0001, Blaise Genest, Loïc Hélouët Decidable Classes of Unbounded Petri Nets with Time and Urgency. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
74Loïc Hélouët, Karim Kecir Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
74Éric Badouel, Loïc Hélouët, Christophe Morvan Petri Nets with Structured Data. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
74Benoît Barbot, Marta Z. Kwiatkowska On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
74Nicolas David 0002, Claude Jard, Didier Lime, Olivier H. Roux Discrete Parameters in Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
74Marvin Triebel, Jan Sürmeli Characterizing Stable Inequalities of Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
74Franck Pommereau SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper). Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
74Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon On the Reversibility of Live Equal-Conflict Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
74Mohammed A. Alqarni, Ryszard Janicki On Interval Process Semantics of Petri Nets with Inhibitor Arcs. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
74Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2014 DBLP  BibTeX  RDF
74Kais Klai On-The-Fly Model Checking of Times Properties on Time Petri Nets. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2014 DBLP  BibTeX  RDF
74Mostafa Herajy, Monika Heiner A Steering Server for Collaborative Simulation of Quantitative Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
74Ikhlef Lyes, Ouiza Lekadir, Djamil Aïssani Performance Analysis of M/G/1 Retrial Queue with Finite Source Population Using Markov Regenerative Stochastic Petri Nets. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2014 DBLP  BibTeX  RDF
74Yasir Imtiaz Khan, Nicolas Guelfi Slicing High-level Petri Nets. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2014 DBLP  BibTeX  RDF
74Mihai-Lica Pura, Didier Buchs Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2014 DBLP  BibTeX  RDF
74Yasir Imtiaz Khan, Nicolas Guelfi SLAPN : A Tool for Slicing Algebraic Petri Nets. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2014 DBLP  BibTeX  RDF
74María Martos-Salgado, Fernando Rosa-Velardo Dynamic Networks of Timed Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
74Ernst W. Mayr, Jeremias Weihmann Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
74Hanifa Boucheneb, Didier Lime, Olivier H. Roux On Multi-enabledness in Time Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
74Stéphane Lafortune, Yin Wang 0001, Spyros A. Reveliotis Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
74Estíbaliz Fraca, Serge Haddad Complexity Analysis of Continuous Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
74Serge Haddad, Rolf Hennicker, Mikael H. Møller Channel Properties of Asynchronously Composed Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
74Alexis Marechal, Didier Buchs Unifying the Semantics of Modular Extensions of Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
74Robin Bergenthum Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
74Gilles Geeraerts, Alexander Heußner, M. Praveen, Jean-François Raskin ω-Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
74Thomas Mailund, Anders E. Halager, Michael Westergaard Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods. Search on Bibsonomy Petri Nets The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
74Dirk Fahland, Robert Prüfer Data and Abstraction for Scenario-Based Modeling with Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
74Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
74Veronica Gil-Costa, Jair Lobos, Alonso Inostrosa-Psijas, Mauricio Marín Capacity Planning for Vertical Search Engines: An Approach Based on Coloured Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
74Astrid Rakow Safety Slicing Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
74Matthias Weidlich 0001, Jan Martijn E. M. van der Werf On Profiles and Footprints - Relational Semantics for Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
74Alessandro Giua State Estimation and Fault Detection Using Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #501 - #600 of 8808 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license