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)
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
176Gianfranco Ciardo, Reinhard German, Christoph Lindemann A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF distributed firing times, SPN classes, modeling power, deterministic Petri nets, semiMarkovian stochastic Petri nets, generalized timed Petri nets, state discretization, continuous-time case, PH-type distributions, simulation, Petri nets, Markov processes, stochastic processes, stochastic process, stochastic Petri net, stochastic Petri nets, timed Petri nets, generalized stochastic Petri nets, embedded Markov chain
170Julia Padberg, Hartmut Ehrig Parameterized Net Classes: A Uniform Approach to Petri Net Classes. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF actual and formal parameter, uniform approach, rule-based refinement, Petri Nets, fusion, union, high-level nets
163Charles Lakos From Coloured Petri Nets to Object Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Theory of High-Level Petri Nets, Multiple Levels of Abstraction, Object-Orientation
160Mark-Oliver Stehr, José Meseguer 0001, Peter Csaba Ölveczky Rewriting Logic as a Unifying Framework for Petri Nets. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
158Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier Bounded Self-Stabilizing Petri Nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF bounded Petri nets, computational complexity, Self-stabilization
153Rüdiger Valk Object Petri Nets: Using the Nets-within-Nets Paradigm. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
152Wlodzimierz M. Zuberek M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets. Search on Bibsonomy Applications and Theory in Petri Nets The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
150Manuel Silva Suárez, Robert Valette Petri nets and flexible manufacturing. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
144Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF place/transition nets, elementary nets, uniform approach, realization problem, category theory
139Ekkart Kindler, Laure Petrucci Towards a Standard for Modular Petri Nets: A Formalisation. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Modular Petri Nets, Standardisation, High-Level Nets
135Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang A Unified Approach for Reasoning about Conflict-Free Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
129Giovanni Denaro, Mauro Pezzè Petri Nets and Software Engineering. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
129Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber 0003, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Petri Net Technology, Petri Nets
128Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev Synthesis of Nets with Step Firing Policies. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF step firing policy, step transition system, synthesis problem, Petri nets, regions
128Hartmut Ehrig, Julia Padberg Graph Grammars and Petri Net Transformations. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
127Julia Padberg Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets. Search on Bibsonomy WADT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
127Søren Christensen, Niels Damgaard Hansen Coloured Petri Nets Extended with Channels for Synchronous Communication. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1994 DBLP  DOI  BibTeX  RDF re-usable models, invariant analysis, Coloured Petri nets, channels, synchronous communication, modular specifications
127Jörg Desel, Gabriel Juhás, Robert Lorenz 0001 Petri Nets over Partial Algebra. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
125René David, Hassane Alla Autonomous And Timed Continous Petri Nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF continuous PN, discrete PN, real marking, quantity of firing, firing speed, Petri nets
123Charles Lakos The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Theory of High-Level Petri Nets, Multiple Levels of Abstraction, Object-Orientation
123Claudia Ermel, Michael Weber 0003 Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
122Rodney R. Howell, Louis E. Rosier On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets. Search on Bibsonomy European Workshop on Applications and Theory of Petri Nets The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
122Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen Fuzzy Rule Base Systems Verification Using High-Level Petri Nets. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF rules reasoning, rule verification, Petri nets, formalism, high-level Petri nets, fuzzy rules, certainty factors
122Glynn Winskel Petri nets, morphisms and compositionality. Search on Bibsonomy Applications and Theory in Petri Nets The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
120Morgan Magnin, Didier Lime, Olivier H. Roux Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification using nets, symbolic state space, Time Petri nets, discrete-time, dense-time, stopwatches
119Christophe Sibertin-Blanc A Client-Server Protocol for the Composition of Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
119Søren Christensen, Niels Damgaard Hansen Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
119Josep Carmona 0001, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev Synthesis of Asynchronous Hardware from Petri Nets. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
118Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen Application of Coloured Petri Nets in System Development. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
117Magdalena Gajewsky, Hartmut Ehrig The »Petri Net Baukasten«: An Overview. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
117Vijay Gehlot, Anush Hayrapetyan Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
115Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal specification, Petri nets, process algebras, security protocols
115Hervé P. Hillion Timed Petri nets and application to multi-stage production systems. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Periodic Functioning, Multi-stage Production Systems, Performance Evaluation, Timed Petri Nets
115Valerio O. Pinci, Robert M. Shapiro An integrated software development methodology based on hierarchical colored Petri Nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Hierarchical Coloured Petri Nets, Standard ML, software development methodology, SADT
114Ekkart Kindler, Hagen Völzer Flexibility in Algebraic Nets. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Algebraic Petri nets, place invariants, verification techniques
114Kurt Jensen An Introduction to the Theoretical Aspects of Coloured Petri Nets. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Petri Nets, Coloured Petri Nets, High-level Petri Nets
113Kunihiko Hiraishi Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
112Herbert Weber, Sabine Lembke, Alexander Borusan Improving the Usability of Petri Nets with the »Petri Net Baukasten«. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
110Isabel Demongodin Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF variable speed limit, Batches Petri nets, transportation network, real-time control
110Dirk Fahland Oclets - Scenario-Based Modeling with Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Petri nets, scenarios, operational semantics, partial order
110Yao Li 0001, C. Murray Woodside Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF (Generalized) Stochastic Petri nets, PN reduction and delay equivalent aggregation, Markov chain, marked graph
110Marco Ajmone Marsan Stochastic Petri nets: an elementary introduction. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Performance evaluation, Markov chains, Queues, Stochastic Petri nets
109Robin Milner Bigraphs for Petri Nets. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
109Søren Christensen, Jens Bæk Jørgensen Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
109Louis-Marie Le Ny, Bruno Tuffin Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Threshold queues, Fluid Stochastic Petri Nets, Performance analysis, Stochastic Petri Nets, Hysteresis
109A. Diagne Control Properties in Object-Oriented Specifications. Search on Bibsonomy Concurrent Object-Oriented Programming and Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Object Methodology, Control Properties, Verification & Validation, Petri Nets
107Roberto Bruni, Hernán C. Melgratti, Ugo Montanari Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
107Christoph Maier, Daniel Moldt Object Coloured Petri Nets - A Formal Technique for Object Oriented Modeling. Search on Bibsonomy Concurrent Object-Oriented Programming and Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
107Theodor Hildebrand Design and programming of interfaces for monetic applications using Petri nets. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
107Fernando Rosa-Velardo, David de Frutos-Escrig Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
107Jörg Desel, Gabriel Juhás ''What Is a Petri Net?''. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
106Moulaye Ndiaye, Jean-François Pétin, Jean-Philippe Georges, Jacques Camerini Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2016 DBLP  BibTeX  RDF
106Toshiyuki Miyamoto CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2016 DBLP  BibTeX  RDF
106Simon V. Hardy, Mathieu Pagé Fortin Analysis of the Signal Transduction Dynamics Regulating mTOR with Mathematical Modeling, Petri Nets and Dynamic Graphs. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2016 DBLP  BibTeX  RDF
106Irina A. Lomazova, Vera O. Ermakova Verification of Nested Petri Nets Using an Unfolding Approach. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2016 DBLP  BibTeX  RDF
106Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2015 DBLP  BibTeX  RDF
106Jörg Desel, Javier Esparza Negotiations and Petri Nets. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2015 DBLP  BibTeX  RDF
106Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2015 DBLP  BibTeX  RDF
106Luca Bernardinello, Görkem Kilinç 0001, Lucia Pomello Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2015 DBLP  BibTeX  RDF
106Jan Henrik Röwekamp, Michael Haustermann Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2015 DBLP  BibTeX  RDF
106José Meseguer 0001, Ugo Montanari, Vladimiro Sassone On the Model of Computation of Place/Transition Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
106Eike Best, Maciej Koutny Process Algebra: A Petri-Net-Oriented Tutorial. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Petri nets, process algebras
106Alain Finkel The Minimal Coverability Graph for Petri Nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Karp-Miller graph, minimal coverability graph, effective computation of the minimal coverability graph, verification of protocols, Petri nets, decidability
106B. Bütler, Rob Esser, R. Mattmann A distributed simulator for high order Petri nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Embedded Systems, Petri nets, CSP, Distributed Simulator, Executable Specification, Transputer, Occam, Interconnection Architecture
105Julian C. Bradfield Proving temporal properties of Petri Nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF model-checking, Petri nets, temporal logic, tableau systems
105Robert Valette, Babou Bako Software Implementation of Petri nets and compilation of rule-based systems. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Petri net Implementation, Comparison with rule-based approach, high-level Petri nets
105Peter Huber, Kurt Jensen, Robert M. Shapiro Hierarchies in coloured Petri nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF re-usable components, hierarchies, Coloured Petri Nets, structuring mechanisms, subnets, high-level nets
105Gerog Hartung Programming a Closely Coupled Multiprocessor System with Hight Level Petri Nets. Search on Bibsonomy European Workshop on Applications and Theory of Petri Nets The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Topics Application of petri nets to programming language, Interpretation of nets
105Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve Nested Nets for Adaptive Systems. Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modeling, adaptivity, Petri nets, workflow
105Lars Michael Kristensen, Søren Christensen Implementing Coloured Petri Nets Using a Functional Programming Language. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF distributed and concurrent computation, programming environments and tools, Petri Nets, Coloured Petri Nets, high-level Petri Nets, implementation techniques
105Fabien Bonnefoi, Christine Choppy, Fabrice Kordon A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Symmetric Petri Nets, Hybrid Systems, Intelligent Transport Systems, Discretization, Coloured Petri Nets
105Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre Generative Families of Positive Invariants in Coloured Nets Sub-Classes. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Coloured nets, positive flows computation, Farkas' algorithm, structural analysis
105Younes Souissi On liveness preservation by composition of nets via a set of places. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF F-monotonicity, F-robust net, F-strong net, liveness preservation, Composition
105Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri OBJSA Nets: a Class of High- level Nets Having Objects as Domains. Search on Bibsonomy European Workshop on Applications and Theory of Petri Nets The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
105Olivier Bertrand, Patrice Carle, Christine Choppy Modelling chronicle recognition for distributed simulation processing with coloured Petri nets. Search on Bibsonomy SimuTools The full citation details ... 2009 DBLP  DOI  BibTeX  RDF airport simulation, chronicle recognition formal modelling, distributed simulation processing, HLA, coloured petri nets
103Josep Carmona 0001, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
103J. L. Lambert Some Consequences of the Decidability of the Reachability Problem for Petri Nets. Search on Bibsonomy European Workshop on Applications and Theory of Petri Nets The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
103Jacques Vautherin Parallel systems specitications with coloured Petri nets and algebraic specifications. Search on Bibsonomy European Workshop on Applications and Theory of Petri Nets The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
103Michel Parigot, Elisabeth Pelz A logical formalism for the study of the infinite behaviour of Petri nets. Search on Bibsonomy Applications and Theory in Petri Nets The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
103Wil M. P. van der Aalst Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF XML Process Definition Language(XPDL), Workflow verification, Workflow management, Business process management, Workflow management systems, Workflow patterns
103Mateus de Oliveira Oliveira Hasse Diagram Generators and Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Causality/partial order theory of concurrency
103Younes Souissi Deterministic Systems of Sequential Processes: a class of structured Petri nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Deterministic system of sequential processes, composition, modularity, liveness, monotonicity, boundedness, properties preservation
103Marisa Llorens, Javier Oliver 0001 Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
102P. David Stotts, Richard Furuta \alphaTrellis: A system for writing and browsing Petri-net-based hypertext. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF hypertext and hypermedia, Trellis hypertext model hypertext, browsing semantics
102Kurt Jensen Coloured Petri nets: A high level language for system design and analysis. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
102Hsu-Chun Yen Priority Conflict-Free Petri Nets. Search on Bibsonomy Acta Informatica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
102Gabriel Juhás, Robert Lorenz 0001, Jörg Desel Unifying Petri Net Semantics with Token Flows. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
102Qian Zhang, Herbert Grünbacher Petri Nets Modeling in Pipelined Microprocessor Design. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
102Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon McMillan's Complete Prefix for Contextual Nets. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF read arcs, complete finite prefix, verification, Petri nets, unfolding
101Bruno Tuffin, Kishor S. Trivedi Implementation of Importance Splitting Techniques in Stochastic Petri Net Package. Search on Bibsonomy Computer Performance Evaluation / TOOLS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Fluid Stochastic Petri Nets, Importance splitting techniques, Stochastic Petri Nets, Rare events simulation
101Raffaele di Giovanni Hood nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF data-flow and control-flow computational models, Object-Oriented Design, HOOD
101Roberto Bruni, Ugo Montanari Transactions and Zero-Safe Nets. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
100Carmen-Veronica Bobeanu, Eugene J. H. Kerckhoffs, Hendrik Van Landeghem Modeling of discrete event systems: A holistic and incremental approach using Petri nets. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF experimental frame, Petri nets, DEVS, structural modeling, Algebraic structures
100Simona Bernardi 0001, Andrea Bobbio, Susanna Donatelli Petri Nets and Dependability. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
100Laura Recalde, Manuel Silva Suárez, Joaquin Ezpeleta, Enrique Teruel Petri Nets and Manufacturing Systems: An Examples-Driven Tour. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
100Nadia Busi, Roberto Gorrieri A Survey on Non-interference with Petri Nets. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
99Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Stochastic discrete-event systems, SDES description, PDETool, Petri nets
99José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel, F. J. Zarazaga KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects. Search on Bibsonomy Concurrent Object-Oriented Programming and Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF knowledge engineering, frames, DES, Colored Petri nets
98Luciano Baresi, Mauro Pezzè On Formalizing UML with High-Level Petri Nets. Search on Bibsonomy Concurrent Object-Oriented Programming and Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
98Charles Lakos Object Oriented Modeling with Object Petri Nets. Search on Bibsonomy Concurrent Object-Oriented Programming and Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 8808 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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