|
|
Venues (Conferences, Journals, ...)
|
|
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 |
81 | Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén |
SAT-Solving the Coverability Problem for Petri Nets. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
Petri nets, unfoldings, coverability, infinite state systems, partial-order methods |
81 | Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno |
SAT-Based Verification of Safe Petri Nets. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
Petri nets, SAT, Bounded model checking |
81 | R. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf |
Petriweb: A Repository for Petri Nets. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
81 | Marisa Llorens, Javier Oliver 0001 |
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
80 | Karsten Wolf |
Generating Petri Net State Spaces. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
80 | Daniel Moldt, Jan Ortmann |
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
web service, workflow, business process, high-level Petri nets, Renew, reference nets, nets within nets, DAML-S, process ontology |
80 | Xudong He |
A method for analyzing properties of hierarchical predicate transition nets. |
COMPSAC |
1995 |
DBLP DOI BibTeX RDF |
hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties |
79 | Gabriel Juhás, Robert Lorenz 0001, Sebastian Mauser |
Complete Process Semantics for Inhibitor Nets. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
79 | Daniel Y. Chao, David T. Wang |
A synthesis technique of general petri nets. |
J. Syst. Integr. |
1994 |
DBLP DOI BibTeX RDF |
ordinary Petri nets, general Petri nets, liveness boundedness, structural relationship, synthesis, rule, deadlock, Concurrent system, reversible, flexible manufacturing system |
79 | Lawrence Cabac, Nicolas Denz |
Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering. |
Trans. Petri Nets Other Model. Concurr. |
2008 |
DBLP DOI BibTeX RDF |
net components, process mining chains, modeling, Petri nets |
79 | José Luis Briz, José Manuel Colom |
Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
Simulation of Weighted Place-Transition Systems, Linear Enabling Functions, Structure and Behavior of nets, Timed Petri Nets |
79 | Gérard Berthelot, Hanifa Boucheneb |
Occurrence Graphs for Interval Timed Coloured Nets. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
interval timed coloured Petri nets, occurrence graph |
79 | Dimitris Christodoulakis |
Modeling the semantics of smalltalk-80 with Petri nets. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
Smalltalk-80 |
78 | Simona Bernardi 0001, Javier Campos |
On Performance Bounds for Interval Time Petri Nets. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
78 | Maciej Koutny |
A Compositional Model of Time Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets |
78 | Charles Lakos |
Modelling Mobile IP with Mobile Petri Nets. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
|
78 | Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev |
Workcraft - A Framework for Interpreted Graph Models. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
78 | Frank DiCesare, Paul T. Kulp, Michael Gile, George F. List |
The Application of Petri Nets to the Modeling, Analysis and Control of Intelligent Urban Traffic Networks. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
78 | John B. Evans |
The Devnet: a Petri Net for Discrete Event Simulation. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Circumspect token, engagement strategy, entity interaction, firing strategy, net implementation, object net, program activation, Simian language, simulation complexity, temporal expressions, parallelism, discrete-event simulation, processes, control structures |
78 | J. Carlier, Philippe Chrétienne |
Timed Petri net schedules. |
European Workshop on Applications and Theory of Petri Nets |
1987 |
DBLP DOI BibTeX RDF |
|
78 | Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala |
Time Recursive Petri Nets. |
Trans. Petri Nets Other Model. Concurr. |
2008 |
DBLP DOI BibTeX RDF |
recursive Petri net, threads, recursivity, time Petri net |
78 | Gerlinde Schreiber |
Functional Equivalences of Petri Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
|
78 | Michel Diaz, Patrick Sénac |
Time Stream Petri Nets: A Model for Timed Multimedia Information. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
78 | Kishor S. Trivedi, Vidyadhar G. Kulkarni |
FSPNs: Fluid Stochastic Petri Nets. |
Application and Theory of Petri Nets |
1993 |
DBLP DOI BibTeX RDF |
|
78 | Wolfgang Reisig |
Combining Petri Nets and Other Formal Methods. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
|
78 | Susanna Donatelli, Matteo Sereno |
On the Product Form Solution for Stochastic Petri Nets. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
|
77 | Alexander E. Kostin |
A Reachability Algorithm for General Petri Nets Based on Transition Invariants. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
transition invariants, Petri nets, reachability |
77 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
Well-structured languages. |
Acta Informatica |
2007 |
DBLP DOI BibTeX RDF |
|
76 | Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre |
Petri nets based proofs of Ada 95 solution for preference control. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
Petri nets based proofs, preference control, dining philosophers paradigm, entry families, requeue statements, Petri nets, deadlock, colored Petri nets, Ada 95, correctness proofs, starvation, protected objects |
76 | Itsuo Hatono, Keiichi Yamagata, Hiroyuki Tamura |
Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
repair time, discrete-time stochastic Petri nets, scheduling, Petri nets, knowledge based systems, uncertainty, digital simulation, stochastic Petri nets, hierarchical structures, rule base, online scheduling, processing time, flexible manufacturing systems, flexible manufacturing systems, machine tools, continuous-time |
76 | Rüdiger Valk |
Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling. |
Application and Theory of Petri Nets |
1993 |
DBLP DOI BibTeX RDF |
structure and behavior of Petri nets, place-invariants, Floyd-invariants, selfmodifying coloured Petrinets, program verification, coloured Petri nets, higher-level net models, analysis and synthesis |
76 | Victor Khomenko, Maciej Koutny |
Verification of bounded Petri nets using integer programming. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Net unfoldings, Partial order techniques, Verification, Petri nets, Integer programming |
76 | Robert G. Pettit IV, Hassan Gomaa |
Integrating Petri Nets With Design Methods for Concurrent and Real-Time Systems. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
software design methods, ADARTS, CODARTS, real-time systems, Petri nets |
76 | Spyros A. Reveliotis, Jin Young Choi 0001 |
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
76 | Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia |
Petri Net Analysis Using Boolean Manipulation. |
Application and Theory of Petri Nets |
1994 |
DBLP DOI BibTeX RDF |
|
76 | Kathrin Hoffmann, Till Mossakowski |
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
76 | Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier |
Automatic Symmetry Detection in Well-Formed Nets. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
Well-Formed Petri nets, partial symmetry, symbolic model-checking, symmetry detection |
76 | Eric Fabre |
On the Construction of Pullbacks for Safe Petri Nets. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
76 | Sahika Genc, Stéphane Lafortune |
Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
75 | Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama |
Handles and Reachability Analysis of Free Choice Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
|
75 | Hendrik Oberheid, Dirk Söffker |
Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
arrival management, sequence planning, coloured Petri nets, state space analysis, air traffic management |
75 | S. Lafitt, Jean-Marie Proth, Xiaolan Xie |
Marking Optimization In Timed Event Graphs. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Timed Event Graphs, Kanban Systems, Modeling, Evaluation, Petri Nets, Marking, Job-shop, Cycle Time |
75 | Frits Feldbrugge |
Petri Net Tool Overview 1992 |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification, system validation |
75 | Markus Lindquist |
Parameterized Reachability Trees for Predicate/Transition Nets. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
Petri nets, reachability analysis, Predicate/Transition nets, high level nets |
75 | Ryszard Janicki, Maciej Koutny |
Optimal simulations, nets and reachability graphs. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
verification, Petri nets, traces, liveness, partial order semantics, reachability graphs, step sequences, state-space generation, deadlock-freeness |
75 | Ghassan Chehaibar |
Use of reentrant nets in modular analysis of colored nets. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
Modular Analysis, Reentrant Net, Observational Home Equivalence, Composition, Colored Petri Nets, Replacement |
75 | Charles André |
Delays in synchronized elementary net systems. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
Synchronized Elementary Net Systems, Delay, Process, Time Petri nets, POset, Elementary Net Systems, Dioid |
75 | Jean-Michel Couvreur, Javier Martínez |
Linear invariants in commutative high level nets. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
Linear invariants, flow computation, structural analysis methods, subclasses of Petri nets, colored nets |
75 | Marco Ajmone Marsan, Giovanni Chiola, Andrea Fumagalli |
Improving the efficiency of the analysis of DSPN models. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
Performance evaluation, Markov chains, Stochastic Petri nets |
75 | Theodor Hildebrand, Nicolas Trèeves |
S-CORT(R): a method for the development of electronic payment systems. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
Application of Petri nets, value added communication systems, net theory, formal specification, electronic payment systems, software engineering methods |
75 | Hartmann J. Genrich |
Equivalence transformations of PrT-nets. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
Higher-level Petri nets, predicate transition nets, rewriting rules, semantical equivalence |
75 | Eike Best |
Design Methods Based on Nets, Esprit Basic Research Action DEMON. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
Design, Petri Nets, Concurrency, Esprit |
75 | Frits Feldbrugge |
Petri net tool overview 1989. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification |
75 | Heikki Tuominen |
Elementary net systems and dynamic logic. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
axiomatization of properties, model checking, Petri nets, temporal logic, Dynamic logic, elementary net systems, model synthesis |
75 | Antoni W. Mazurkiewicz |
Compositional Semantics of Pure Place/ Transition Systems. |
European Workshop on Applications and Theory of Petri Nets |
1987 |
DBLP DOI BibTeX RDF |
pomsets, Petri nets, semantics, concurrency, modularity, algebras, Compositionality |
75 | Claude Girault, C. Chatelain, Serge Haddad |
Specification and properties of a cache coherence protocol model. |
European Workshop on Applications and Theory of Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
verification, Petri nets, protocols, specification, multiprocessors, memory hierarchy, cache coherence |
75 | Antoni W. Mazurkiewicz |
Semantics of concurrent systems: a modular fixed-point trace approach. |
European Workshop on Applications and Theory in Petri Nets |
1984 |
DBLP DOI BibTeX RDF |
fixed point method, Petri nets, synchronization, modularity, traces, Concurrent systems, concurrent processes, system composition |
75 | Gonzalo Mejía, Carlos Montoya |
A Petri Net based algorithm for minimizing total tardiness in flexible manufacturing systems. |
Ann. Oper. Res. |
2008 |
DBLP DOI BibTeX RDF |
Scheduling, Petri Nets, Heuristic search, Flexible manufacturing systems, Beam search |
75 | Gabriel Juhás |
Reasoning about Algebraic Generalisation of Petri Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
74 | Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke (eds.) |
Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), June 27, 2023, Lisbon, Portugal. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Tuwailaa Alshammari |
Integrating NLP and Structured Occurrence Nets for Crime Modelling: A Pattern-based Approach. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Salma Alharbi |
Hierarchical Simulation of Timed Behaviours of Structured Occurrence Nets. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Theresa Werner, Christof Päßler, Ivo Kabadshow, Matthias Werner |
A Petri-Net-Based Approach to Modeling Communication Algorithms for HPC Molecular Dynamics Simulations. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Karnika Shivhare, Rushikesh K. Joshi |
Exploring L* for Process Mining. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Carlos Galindo 0002, Marisa Llorens, Sergio Pérez 0001, Josep Silva |
Context-sensitive analysis of data interference for concurrent programs. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Michael Köhler-Bussmeier, Lorenzo Capra |
Robustness: A natural Definition based on Nets-within-Nets. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Nadiyah Almutairi |
Probabilistic Behavioural Acyclic Nets. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Mohammed Alahmadi |
Parameterised CSA-nets. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Rogardt Heldal, Lars Michael Kristensen, Keila Lima, Tosin Daniel Oyetoyan, Ngoc-Thanh Nguyen 0002 |
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Kyle Dingenouts, Mitchell Klijs, Jan Martijn E. M. van der Werf |
Modeling Interaction-Oriented Architectures using Choreographies. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Tom Meyer |
A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Wojciech Penczek |
Model Checking of Strategic Timed Temporal Logics (Invited Talk). |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | César Barrón-Rubio, Ernesto López-Mellado |
Inferring Activity Concurrency Relations from Incomplete Event Logs. |
ATAED/PN4TT@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Wil M. P. van der Aalst |
Twin Transitions Powered By Event Data - Using Object-Centric Process Mining To Make Processes Digital and Sustainable. |
ATAED/PN4TT@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Aaron Küsters, Wil M. P. van der Aalst |
Revisiting the Alpha Algorithm To Enable Real-Life Process Discovery Applications. |
ATAED/PN4TT@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Tijs Slaats |
DisCoveR: Process Mining for Knowledge-Intensive Processes with DCR Graphs. |
ATAED/PN4TT@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Christian Rennert, Lisa Luise Mannel, Wil M. P. van der Aalst |
Improving the eST-Miner Models by Replacing Imprecise Structures Using Place Projection. |
ATAED/PN4TT@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Marta Pietkiewicz-Koutny, Maciej Koutny |
Synthesising Elementary Net Systems with Interval Order Semantics. |
ATAED/PN4TT@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
74 | Michael Köhler-Bussmeier, Daniel Moldt, Heiko Rölke (eds.) |
Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Luís Gomes 0001, Paulo Leitão, Robert Lorenz 0001, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst (eds.) |
Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023. |
ATAED/PN4TT@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Michael Köhler-Bussmeier, Heiko Rölke |
Analysing Adaption Processes of Hornets. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Elena Gómez-Martínez, José Ignacio Requeno |
Adaptative Systems Based on Continuous Observation of Petri Net Product Lines. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Laif-Oke Clasen, Daniel Moldt, Marcel Hansson, Sven Willrodt, Lukas Voß |
Enhancement of Renew to Version 4.0 using JPMS. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Nadiyah Almutairi |
Probabilistic Communication Structured Acyclic Nets. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Tuwailaa Alshammari |
Towards Automatic Extraction of Events for SON Modelling. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Franck Pommereau, Colin Thomas, Cédric Gaucherel |
EDEN Framework for Interactive Analysis of Ecosystems Models. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau |
Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Einar Broch Johnsen |
Digital Twins: An Emerging Paradigm for Model-Centric Engineering (Invited Talk). |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Ruben Dobler Strand, Lars Michael Kristensen, Laure Petrucci |
Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Mohammed Alahmadi |
Parametrisation of CSA-Nets. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Lukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann |
Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Rüdiger Valk, Daniel Moldt |
On Reduction of Cycloids. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Jörg Desel |
The Chameleon Game. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Karnika Shivhare, Rushikesh K. Joshi |
Trace Language: Mining Micro-configurations from Process Transition Traces. |
PNSE@Petri Nets |
2022 |
DBLP BibTeX RDF |
|
74 | Michael Köhler-Bussmeier, Ekkart Kindler, Heiko Rölke (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference). |
PNSE@Petri Nets |
2021 |
DBLP BibTeX RDF |
|
74 | Mohammed Alahmadi |
Master Channel Places for Communication Structured Acyclic Nets. |
PNSE@Petri Nets |
2021 |
DBLP BibTeX RDF |
|
74 | Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec |
Collecting Structured Logs of Instances as Process Nets in Petriflow Language. |
PNSE@Petri Nets |
2021 |
DBLP BibTeX RDF |
|
74 | Nadiyah Almutairi, Maciej Koutny |
Verification of Communication Structured Acyclic Nets Using SAT. |
PNSE@Petri Nets |
2021 |
DBLP BibTeX RDF |
|
74 | Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
General Composition for Symmetric Net Arc Functions with Applications. |
PNSE@Petri Nets |
2021 |
DBLP BibTeX RDF |
|
74 | Niclas zum Felde, Michael Köhler-Bußmeier, Jan Sudeikat |
Improving Drone-based Parcel Delivery in a Delivery System at its Capacity Limit. |
PNSE@Petri Nets |
2021 |
DBLP BibTeX RDF |
|
Displaying result #301 - #400 of 8808 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|