The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Petri Nets"( http://dblp.L3S.de/Venues/Petri_Nets )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ac

Publication years (Num. hits)
1996-2008 (42) 2009 (23) 2010 (21) 2011 (21) 2012 (24) 2013 (23) 2014 (23) 2015 (18) 2016 (20) 2017 (20) 2018 (25)
Publication types (Num. hits)
inproceedings(248) proceedings(12)
Venues (Conferences, Journals, ...)
Petri Nets(260)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 50 occurrences of 45 keywords

Results
Found 260 publication records. Showing 260 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ekkart Kindler ePNK Applications and Annotations: A Simulator for YAWL Nets. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Didier Buchs, Stefan Klikovits, Alban Linard, Romain Mencattini, Dimitri Racordon A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eike Best, Nataliya Gribovskaya, Irina Virbitskaite From Event-Oriented Models to Transition Systems. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raymond 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
1Engel 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
1Ronny Tredup, Christian Rosenke, Karsten Wolf Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Niek 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
1David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski An Efficient Characterization of Petri Net Solvable Binary Words. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvio 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
1Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk 0001 One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frederik 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
1Carlos Eduardo Alves da Silva, José Jean-Paul Zanlucchi de Souza Tavares, Marco Vinícius Muniz Ferreira Arduino Library Developed for Petri Net Inserted into RFID Database and Variants. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Victor Khomenko, Olivier H. Roux (eds.) Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wil M. P. van der Aalst Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ryszard Janicki Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Karsten Wolf Petri Net Model Checking with LoLA 2. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Uli Schlachter Factorisation of Petri Net Solvable Transition Systems. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabrice Kordon, Yann Thierry-Mieg Self-adaptive Model Checking, the Next Step? Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Clément Bertrand, Hanna Klaudel, Matthieu Latapy, Frédéric Peschanski Pattern Matching in Link Streams: A Token-Based Approach. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Uli Schlachter, Harro Wimmel A Geometric Characterisation of Event/State Separation. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Petr Jancar, Jérôme Leroux, Grégoire Sutre Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christoph 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
1Rüdiger Valk On the Structure of Cycloids Introduced by Carl Adam Petri. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad Integrating Simulink Models into the Model Checker Cosmos. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Karsten Wolf Petri Net Synthesis with Union/Find. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Bernardinello, Görkem Kilinç, Lucia Pomello Weak Observable Liveness and Infinite Games on Finite Graphs. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin 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
1Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini Modelling and Evaluation of a Control Room Application. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kristó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
1Franck 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
1Lom-Messan Hillah, Fabrice Kordon Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael Köhler-Bußmeier Restricting Hornets to Support Self-adaptive Systems. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xiangdong Huang, Jianmin Wang 0001, Jialin Qiao, Liangfan Zheng, Jinrui Zhang, Raymond K. Wong Performance and Replica Consistency Simulation for Quorum-Based NoSQL System Cassandra. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit An Integrated Environment for Petri Net Slicing. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christos G. Cassandras Complexity Made Simple (at a Small Price). Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Junxian Liu, Lin Liu 0003, Tao Chen Evaluating and Improving SIP Non-INVITE Transaction to Alleviate the Losing Race Problem. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rozá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
1Karsten Wolf Model Checking Concurrency and Causality. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Josep Carmona The Alignment of Formal, Structured and Unstructured Process Descriptions. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Irina A. Lomazova Resource Equivalences in Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wil M. P. van der Aalst, Eike Best (eds.) Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas 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
1Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Search on Bibsonomy Petri Nets The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dimitri 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
1Bé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
1Wojciech Ptak, Andrzej M. Kierzek, Jacek Sroka AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eike Best, Raymond R. Devillers The Power of Prime Cycles. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Chatain, Josep Carmona Anti-alignments in Conformance Checking - The Dark Side of Process Models. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lars Michael Kristensen, Vegard Veiset Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös 0001, István Majzik, Miklós Telek Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1András Vörös 0001, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Slawomir Lasota Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Franck Pommereau ABCD: A User-Friendly Language for Formal Modelling and Analysis. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yrvann 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
1Lawrence Cabac, Michael Haustermann, David Mosteller Renew 2.5 - Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fabrice Kordon, Daniel Moldt (eds.) Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Quentin 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
1Uli Schlachter Petri Net Synthesis for Restricted Classes of Nets. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manfred Broy From Actions, Transactions, and Processes to Services. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1H. M. W. Verbeek 0001, Wil M. P. van der Aalst Merging Alignments for Decomposed Replay. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel Characterising Petri Net Solvable Binary Words. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ian T. Foster Reasoning About Discovery Clouds. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Loï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
1Leonid 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
1S. Akshay, 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
1Marlon Dumas, Luciano García-Bañuelos Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Eric 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
1Robert Lorenz 0001 Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benoî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
1Javier Esparza, Jörg Desel Negotiation Programs. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Monika Heiner, Martin Schwarick, Jan-Thierry Wegener Charlie - An Extensible Petri Net Analysis Tool. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Wagner 0003, Daniel Moldt Workflow Management Principles for Interactions Between Petri Net-Based Agents. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franck 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
1Hubert Garavel Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ákos Hajdu, András Vörös 0001, Tamás Bartha New Search Strategies for the Petri Net CEGAR Approach. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marvin Triebel, Jan Sürmeli Characterizing Stable Inequalities of Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohammed 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
1Dario Bruneo, Francesco Longo 0001, Marco Scarpa, Antonio Puliafito, Rahul Ghosh, Kishor S. Trivedi An SRN-Based Resiliency Quantification Approach. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas David, 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
1Wil M. P. van der Aalst, Anna A. Kalenkova, Vladimir A. Rubin, Eric Verbeek 0001 Process Discovery Using Localized Events. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas 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
1Raymond R. Devillers, Antti Valmari (eds.) Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon Non-atomic Transition Firing in Contextual Nets. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa, Arthur H. M. ter Hofstede The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Alberto Carraro Non-interference by Unfolding. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst Discovering Block-Structured Process Models from Incomplete Event Logs. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Robert Lorenz 0001, Markus Huber 0006, Günther Wirsching On Weighted Petri Net Transducers. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Edmundo López Bóbeda, Maximilien Colange, Didier Buchs StrataGEM: A Generic Petri Net Verification Framework. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pawel Sobocinski, Owen Stephens A Programming Language for Spatial Distribution of Net Systems. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma Learning Transparent Data Automata. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen Soundness of Timed-Arc Workflow Nets. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Florent Avellaneda, Rémi Morin Exhibition of a Structural Bug with Wings. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon On the Reversibility of Well-Behaved Weighted Choice-Free Systems. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský Kaira: Development Environment for MPI Applications. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kurt Lautenbach Propagation Nets. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ernst W. Mayr, Jeremias Weihmann A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mostafa 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
1Anna A. Kalenkova, Irina A. Lomazova, Wil M. P. van der Aalst Process Model Discovery: A Method Based on Transition System Decomposition. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli (Stochastic) Model Checking in GreatSPN. Search on Bibsonomy Petri Nets The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 260 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license