The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1956-1963 (16) 1964-1966 (17) 1967-1972 (18) 1973 (15) 1974-1976 (22) 1977-1978 (27) 1979 (27) 1980 (18) 1981 (73) 1982 (45) 1983 (35) 1984 (60) 1985 (96) 1986 (90) 1987 (97) 1988 (117) 1989 (155) 1990 (186) 1991 (228) 1992 (197) 1993 (281) 1994 (214) 1995 (461) 1996 (251) 1997 (421) 1998 (324) 1999 (398) 2000 (344) 2001 (455) 2002 (399) 2003 (772) 2004 (581) 2005 (536) 2006 (541) 2007 (560) 2008 (585) 2009 (565) 2010 (437) 2011 (327) 2012 (415) 2013 (416) 2014 (405) 2015 (440) 2016 (444) 2017 (601) 2018 (558) 2019 (548) 2020 (492) 2021 (442) 2022 (424) 2023 (361) 2024 (63)
Publication types (Num. hits)
article(4858) book(37) incollection(132) inproceedings(10300) phdthesis(137) proceedings(136)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7423 occurrences of 2819 keywords

Results
Found 15601 publication records. Showing 15600 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
113Julia 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
110Julia 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
97Rü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
88Christian Dimitrovici, Udo Hummert, Laure Petrucci Semantics, composition and net properties of algebraic high-level nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
87Jean-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
86Michael Köhler-Bußmeier Hornets: Nets within Nets Combined with Net Algebra. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
86Eugenio 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
86Wlodzimierz 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
86Ghassan Chehaibar Replacement of Open Interface Subnets and Stable State Transformation Equivalence. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Place-Transition Nets, Hierarchical Design and Analysis, Open Interface, Nets and Systems, Stable State Transformation Equivalence and Preorder, Robust Open Interface Nets, Expansion, Replacement
86Gianfranco 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
86Jean-Michel Couvreur, Javier Martínez Linear invariants in commutative high level nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Linear invariants, flow computation, structural analysis methods, subclasses of Petri nets, colored nets
83Mark-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
83Manuel 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
81Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn Soundness of Workflow Nets with Reset Arcs. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Workflow Nets, Reset Nets, Verification, Petri Nets, Decidability, Soundness
80Christophe 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
80Sø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
79Sø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
78Younes 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
77Charles 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
77Ludmila 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
77Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski High-Level Nets with Nets and Rules as Tokens. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF High-level net models, algebraic high-level nets, nets and rules as tokens, integration of net theory and graph transformations, case study: House of Philosophers, graph grammars and Petri net transformations, algebraic specifications
76Ekkart 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
76Hartmann J. Genrich Equivalence transformations of PrT-nets. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Higher-level Petri nets, predicate transition nets, rewriting rules, semantical equivalence
76Pedro Álvarez 0001, José A. Bañares, Joaquin Ezpeleta Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm. Search on Bibsonomy ICSOC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Service Composition and Coordination, Formal Methods for Service-Oriented Architectures, Nets-within-Nets paradigm, Petri nets
76Michael Köhler 0001, Daniel Moldt, Heiko Rölke Modelling Mobility and Mobile Agents Using Nets within Nets. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF mobility, agent, high-level Petri nets, mobile agent system, Renew, nets within nets, Mulan
75Markus Lindquist Parameterized Reachability Trees for Predicate/Transition Nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Petri nets, reachability analysis, Predicate/Transition nets, high level nets
75Michael Köhler 0001, Berndt Farwer Object Nets for Mobility. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF object nets, Petri nets, Mobile agents, nets-within-nets, name spaces
73Kees 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
73Daniel Moldt, Jan Ortmann DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. Search on Bibsonomy FASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF web service, workflow, business process, high-level Petri nets, Renew, reference nets, nets within nets, DAML-S, process ontology
73Philippe 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
72Morgan 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
71Ghassan Chehaibar Use of reentrant nets in modular analysis of colored nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Modular Analysis, Reentrant Net, Observational Home Equivalence, Composition, Colored Petri Nets, Replacement
71Jens Bæk Jørgensen, Kjeld Høyer Mortensen Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Topics System design and verification using nets, experience with using nets, application of nets to protocols, case studies, higher-level net models, computer tools for nets
71Julia 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
70Paolo 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
69Jö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
69Roberto Bruni, Ugo Montanari Transactions and Zero-Safe Nets. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
69Glynn Winskel Petri nets, morphisms and compositionality. Search on Bibsonomy Applications and Theory in Petri Nets The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
69Daniel Moldt, Heiko Rölke Pattern Based Workflow Design Using Reference Nets. Search on Bibsonomy Business Process Management The full citation details ... 2003 DBLP  DOI  BibTeX  RDF workflow, patterns, IDE, high-level Petri nets, workflow patterns, Renew, Reference nets, nets within nets
69Twan Basten, Marc Voorhoeve An Algebraic Semantics for Hierarchical P/T Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Place/Transition nets, hierarchical Petri nets, verification, abstraction, process algebra, top-down design
68Javier Esparza, Manuel Silva Suárez Circuits, handles, bridges and nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Free Choice nets, Synthesis, Structure Theory
68Roberto 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
68Lars 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
67Søren Christensen, Kjeld Høyer Mortensen Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Topics Educational issues related to nets, experience with using nets, applications of nets to protocols, distributed systems, case studies, Coloured Petri Nets
67Andrei Kovalyov An O(|S|×|T|)- Algorithm to Verify if a Net is Regular. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
67Rainer Fehling A Concept of Hierarchical Petri Nets with Building Blocks. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF system design using nets, Computer tools for nets
66Fausto Sessego, Alessandro Giua, Carla Seatzu HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Timed and stochastic nets, Hybrid nets, Computer tools for nets
66Hans Fleischhack, Elisabeth Pelz Hierarchical Timed High Level Nets and Their Branching Processes. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Timed and stochastic nets, partial order semantics
66Ekkart 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
65Kurt 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
65Jean Fanchon Trace Channel Nets. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Fifo Nets, Coloured Nets, concurrent automata, recognisability, concurrency, asynchronous communication, Mazurkiewicz traces
64Fernando 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
64Jörg Desel A Proof of the Rank Theorem for Extended Free Choice Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1992 DBLP  DOI  BibTeX  RDF free choice nets - analysis, structure and behaviour of nets
64Walter Vogler Representation of a swapping class by one net. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF P/T-nets, equivalence of firing sequences, equivalence of processes, S-nets, processes, Partial order semantics
64Valerio 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
63H. C. M. Kleijn, Maciej Koutny Infinite Process Semantics of Inhibitor Nets. Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF theory of concurrency, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, Petri nets, step sequences
63Søren Christensen, Jens Bæk Jørgensen Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Topics System design and verification using nets, experience with using nets, application of nets to protocols and embedded systems, case studies, higher-level net models, computer tools for nets
63Peter 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
63Gerog 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
62Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
61Michael Köhler 0001, Daniel Moldt, Heiko Rölke Modelling the Structure and Behaviour of Petri Net Agents. Search on Bibsonomy ICATPN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF modelling, multi agent system, agent, Petri net, concurrency, structure, behaviour, reference net, nets within nets
61Lars Michael Kristensen, Søren Christensen, Kurt Jensen The Practitioner's Guide to Coloured Petri Nets. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Practical use, Modelling, Verification, Validation, Visualisation, Tool support, Coloured Petri nets, High-level Petri nets
61Michael Köhler 0001, Heiko Rölke Web Service Orchestration with Super-Dual Object Nets. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF super-dual nets, Petri nets, refinement, duality, nets-within-nets
61Hsu-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
60Charles 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
60Christoph 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
60Raffaele 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
60Kurt 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
60Rodney 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
60Theodor 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
60P. S. Thiagarajan, Klaus Voss In praise of free choice nets. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
59Fabien 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
59Jörg Desel On abstraction of nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Net morphisms, coarsening and composition of nets, transformations
59José Manuel Colom, Manuel Silva Suárez Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Structural analysis of P/T nets, Minimal semiflows, Extremal direction of a cone, Algorithms to compute all minimal semiflows, Tests of minimality, Convex Geometry
59Claude Dutheillet, Serge Haddad Regular stochastic Petri nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1989 DBLP  DOI  BibTeX  RDF stochastic nets, Higher-level net models
59Hervé 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
59Vijay 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
58Josep 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
58Giovanni 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
58Ludmila Cherkasova, Vadim E. Kotov Descriptive and analytical process algebras. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF concurrent nondeterministic processes, non-actions, occurrence nets, A-nets, M-density, Petri nets, denotational semantics, partially ordered sets, true concurrency
58Marie-Paule Flé, Gérard Roucairol Fair serializability of iterated transactions using FIFO-nets. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1984 DBLP  DOI  BibTeX  RDF maximal serializability, Petri-nets (FIFO-Nets), concurrency, fair
57JiDong Ge, Haiyang Hu, Ping Lu, Hao Hu 0001, Jian Lü 0001 Translation of Nets Within Nets in Cross-organizational Software Process Modeling. Search on Bibsonomy ISPW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Stephen 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
57Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet On Liveness in Extended non Self-Controlling Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1995 DBLP  DOI  BibTeX  RDF deadlocks and traps, liveness
57José 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
57Christophe Sibertin-Blanc Cooperative Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
57Michel Barbeau, Gregor von Bochmann A Subset of Lotos with the Computational Power of Place/Transition-Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
56Rémi Bastide, Philippe A. Palanque A Petri Net based Environment for the Design of Event-driven Interfaces. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Key-words User Interface, Design, High-level Petri nets, Computer tools for nets
56Gabriel Juhás, Robert Lorenz 0001, Sebastian Mauser Complete Process Semantics for Inhibitor Nets. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
56Ranko Lazic 0001, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe 0001, James Worrell 0001 Nets with Tokens Which Carry Data. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
56Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke Modeling Dynamic Architectures Using Nets-Within-Nets. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Patrick Coscas, Gilles Fouquier, Agnes Lanusse Modelling actor programs using Predicate/Transition nets. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF actor programs, translation scheme, PRAL-M, PTN, visualizing, parallel programming, Petri nets, data structures, data structures, debugging, parallel machines, formalism, high-level Petri nets, concurrent computation, Predicate/Transition nets
56A. 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
55Moe Thandar Wynn, David Edmond, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF OR-join, synchronizing merge, Reset nets, Petri nets, Workflow patterns, YAWL
55Roberto Bruni, Ugo Montanari Executing Transactions in Zero-Safe Nets. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF PT nets, zero-safe nets, net unfolding, reachability, distributed transactions
55Hartmut 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
55Mateus 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
55Kunihiko 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
55Roberto Bruni, Vladimiro Sassone Two Algebraic Process Semantics for Contextual Nets. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
55Younes 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
Displaying result #1 - #100 of 15600 (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