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 (18) 1977-1978 (15) 1979-1980 (26) 1981 (66) 1982 (28) 1983 (19) 1984 (43) 1985 (82) 1986 (74) 1987 (73) 1988 (67) 1989 (85) 1990 (75) 1991 (130) 1992 (97) 1993 (153) 1994 (120) 1995 (167) 1996 (146) 1997 (154) 1998 (209) 1999 (199) 2000 (172) 2001 (257) 2002 (216) 2003 (298) 2004 (298) 2005 (317) 2006 (339) 2007 (345) 2008 (416) 2009 (361) 2010 (253) 2011 (193) 2012 (278) 2013 (293) 2014 (283) 2015 (271) 2016 (269) 2017 (219) 2018 (256) 2019 (35)
Publication types (Num. hits)
article(1965) book(23) incollection(38) inproceedings(5232) phdthesis(66) proceedings(91)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4433 occurrences of 1506 keywords

Results
Found 7415 publication records. Showing 7415 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
184Gianfranco 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
178Julia 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
168Charles 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
167Mark-Oliver Stehr, José Meseguer, 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
163Ludmila 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
156Manuel 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
154Wlodzimierz 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
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
149Julia 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
142Hsu-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
141Ekkart 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
137Herbert 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
137Julia 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
131Philippe 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
130Sø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
130Hartmut 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
130Stephen 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
129Jö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
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
128Vijay 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
127Claudia 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
126Charles 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
126René 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
124Rodney 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
123Christophe 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
123Sø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
123Glynn Winskel Petri nets, morphisms and compositionality. Search on Bibsonomy Applications and Theory in Petri Nets The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
123Ekkart 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
121Magdalena Gajewsky, Hartmut Ehrig The »Petri Net Baukasten«: An Overview. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
119Morgan 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
119Kurt 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
118Josep Carmona, 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
117Lars 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
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
114Hervé 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
114Valerio 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
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
113Louis-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
112Olivier 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
112Marisa 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
112Hsu-Chun Yen Priority Conflict-Free Petri Nets. Search on Bibsonomy Acta Inf. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
111Herbert 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
110Kees 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
110A. 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
110Bruno 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
109Jö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
109Lars Michael Kristensen, Søren Christensen Implementing Coloured Petri Nets Using a Functional Programming Language. Search on Bibsonomy Higher-Order and Symbolic Computation 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
109Dirk 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
109Isabel 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
109Yao 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
109Marco 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
109José Meseguer, 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
108Chuanliang Xia Analysis of Properties of Petri Synthesis Net. Search on Bibsonomy TAMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF liveness and boundedness, Petri nets, synthesis, analysis
108Jean-Michel Couvreur, Serge Haddad, J. F. 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
108Younes 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
108Eugenio 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
108Christoph 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
108Theodor 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
108Roberto 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
107Carmen-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
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
107Robin Milner Bigraphs for Petri Nets. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
107Sø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
107Fabien Bonnefoi, Christine Choppy, Fabrice Kordon A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example. Search on Bibsonomy Trans. Petri Nets and Other Models of Concurrency The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Symmetric Petri Nets, Hybrid Systems, Intelligent Transport Systems, Discretization, Coloured Petri Nets
105Paolo Baldan, Andrea Corradini, Barbara König 0001, Stefan Schwoon McMillan's Complete Prefix for Contextual Nets. Search on Bibsonomy Trans. Petri Nets and Other Models of Concurrency The full citation details ... 2008 DBLP  DOI  BibTeX  RDF read arcs, complete finite prefix, verification, Petri nets, unfolding
105P. 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
104Gabriel 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
104Qian 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
104Alain 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
104B. 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
104Eike 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
104Raffaele 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
103Robert 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
103Julian 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
103Peter 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
103Gerog 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
103Josep Carmona, 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
103Roberto Bruni, Ugo Montanari Transactions and Zero-Safe Nets. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 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
103Eric Badouel, Jules Chenou, Goulven Guillou Petri Algebras. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
102Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev Synthesizing Petri nets from state-based models. Search on Bibsonomy ICCAD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Petri nets, Synthesis, Finite State Machines, Asynchronous Circuits, Transition Systems
102Mateus 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
102Younes 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
102Evgeniy A. Golenkov, A. S. Sokolov, George V. Tarasov, Dmitriy I. Kharitonov Experimental Version of Parallel Programs Translator from Petri Nets to C++. Search on Bibsonomy PaCT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF distributed systems, parallel programming, Petri Nets, Parallel systems, supercomputing, computers clusters
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
102Lars Michael Kristensen, Søren Christensen, Kurt Jensen The Practitioner's Guide to Coloured Petri Nets. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Practical use, Modelling, Verification, Validation, Visualisation, Tool support, Coloured Petri nets, High-level Petri nets
101Geert Stremersch, René K. Boel Structuring Acyclic Petri Nets for Reachability Analysis and Control. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF acyclic Petri net, uncontrollable transitions, Petri net, supervisory control
101Uffe Engberg, Glynn Winskel Linear Logic on Petri Nets. Search on Bibsonomy REX School/Symposium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Petri nets, Linear logic
101Makoto Tanabe Timed Petri Nets and Temporal Linear Logic. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF temporal linear logic, timed Petri nets, quantales
101Toshiyuki 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
101Moulaye 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
101Irina 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
101Simon 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
101Kent 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
101Luca Bernardinello, Görkem Kilinç, 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
101Jörg Desel, Javier Esparza Negotiations and Petri Nets. Search on Bibsonomy PNSE @ Petri Nets The full citation details ... 2015 DBLP  BibTeX  RDF
101Elisabeth 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
Displaying result #1 - #100 of 7415 (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 Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license