The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1971-1980 (18) 1981-1983 (20) 1984-1985 (33) 1986-1987 (38) 1988 (30) 1989 (38) 1990 (38) 1991 (68) 1992 (54) 1993 (65) 1994 (78) 1995 (70) 1996 (55) 1997 (80) 1998 (80) 1999 (89) 2000 (101) 2001 (131) 2002 (111) 2003 (190) 2004 (192) 2005 (206) 2006 (213) 2007 (225) 2008 (281) 2009 (189) 2010 (104) 2011 (133) 2012 (108) 2013 (124) 2014 (125) 2015 (112) 2016 (124) 2017 (89) 2018 (106) 2019 (110) 2020 (91) 2021 (83) 2022 (96) 2023 (75) 2024 (18)
Publication types (Num. hits)
article(1340) book(10) incollection(29) inproceedings(2780) phdthesis(31) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2415 occurrences of 1082 keywords

Results
Found 4191 publication records. Showing 4191 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
185Herbert 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
178Benjamin Braatz, Hartmut Ehrig, Milan Urbásek Petri Net Transformations in the "Petri Net Baukasten". Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
173Claudia 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
134Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig Generation of Animation Views for Petri Nets in GenGED. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
130Rik Eshuis, Roel J. Wieringa Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
126Ekkart Kindler, Michael Weber 0003 The Petri Net Kernel - An infrastructure for building Petri net tools. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Petri net types, Petri net API, Generic tools, Petri net, Tool development
113Michael Weber 0003, Ekkart Kindler The Petri Net Markup Language. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
108Michael Weber 0003, Ekkart Kindler The Petri Net Kernel. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
105Lingxi Li, Christoforos N. Hadjicostis, R. S. Sreenivas Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
105Lianwei Guan, Xingyu Li, Hao Hu 0001, Jian Lu 0001 A Petri net-based approach for supporting aspect-oriented modeling. Search on Bibsonomy Frontiers Comput. Sci. China The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aspect-aspect conflict, shared join point, Petri net, aspect oriented modeling, Object Petri net
97Francesco Parisi-Presicce A Formal Framework for Petri Net Class Transformations. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
97Magdalena Gajewsky, Hartmut Ehrig The »Petri Net Baukasten«: An Overview. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
97Chunguang Ji, Xiancui Lv, Shiyong Li The Design of Biopathway's Modelling and Simulation System Based on Petri Net. Search on Bibsonomy RSKT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF biopathway, Petri net, Stochastic Petri net, modelling and simulation
90Geert Stremersch, René K. Boel Structuring Acyclic Petri Nets for Reachability Analysis and Control. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF acyclic Petri net, uncontrollable transitions, Petri net, supervisory control
89Olaf Kluge Modelling a Railway Crossing with Message Sequence Charts and Petri Nets. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
88Julia 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
87Dragan Gasevic, Vladan Devedzic Reusing Petri Nets Through the Semantic Web. Search on Bibsonomy ESWS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
87Parthasarathy Ramachandran, Manjunath Kamath A Sufficient Condition for Reachability in a General Petri Net. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF acyclic transformations, net expansion, transition firing sequence, Petri nets, reachability analysis, unfolding
82Andreas Glausch, Wolfgang Reisig How Expressive Are Petri Net Schemata?. Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
82Tony Spiteri Staines Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. Search on Bibsonomy ECBS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
81Sibylle Peuker Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
81Herbert Weber Application Development Assistance with the Petri Net Baukasten. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
81Xiaoning Feng, Qun Liu, Zhuo Wang 0008 AUV Modeling and Analysis using a Colored Object-Oriented Petri Net. Search on Bibsonomy IMSCCS (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Colored Object-Oriented Petri Net (COOPN), Colored Petri Net Modeling Language (CPN ML), substitution transition, reachable tree
80Nikolay A. Anisimov, Evgeniy A. Golenkov, Dmitriy I. Kharitonov Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems. Search on Bibsonomy Program. Comput. Softw. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Petri net entity, distributed systems, Petri nets, compositionality, concurrent systems
80Julia Padberg, Milan Urbásek Rule-Based Refinement of Petri Nets: A Survey. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
76Volker Braun, Tiziana Margaria, Bernhard Steffen The Electronic Tool Integration Platform (ETI) and the Petri Net Technology. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
76Ugo A. Buy, Gaurav Singal Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Petri net generation, Petri nets, concurrency, automatic verification, transition systems, reachability graph
76Ugo A. Buy, Mihai Lehene, Houshang Darabi Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. Search on Bibsonomy SEW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Michael 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
75Zipeng Zhang, Shuqing Wang, Xiaohui Yuan Advanced Self-adaptation Learning and Inference Techniques for Fuzzy Petri Net Expert System Units. Search on Bibsonomy AICI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic fuzzy reasoning, self-adaptation learning, neural network, Fuzzy Petri net
74Marisa 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
74Yong Yu 0009, Tong Li 0004, Qing Liu, Fei Dai 0002, Na Zhao 0006 OR-transition Colored Petri Net and its Application in Modeling Software System. Search on Bibsonomy WKDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
74Trong Wu, Shu-chiung Huang A Timed Petri Net Interpreter: An Alternative Method for Simulation. Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
74Christoforos N. Hadjicostis, George C. Verghese Monitoring Discrete Event Systems Using Petri Net Embeddings. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
71Gonzalo Mejía, Carlos Montoya A Petri Net based algorithm for minimizing total tardiness in flexible manufacturing systems. Search on Bibsonomy Ann. Oper. Res. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Scheduling, Petri Nets, Heuristic search, Flexible manufacturing systems, Beam search
70Xiangang Zhao, Bai Wang 0001, Liutong Xu Grid Application Scheduling Model Based on Petri Net with Changeable Structure. Search on Bibsonomy GCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
70Ray R. Hashemi, James Blondin SASSY: A Petri Net Based Student-Driven Advising Support System. Search on Bibsonomy ITNG The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Advising system, Specialized Petri net, Course-Petri net, Student-driven advising system, Petri net
70Sunku Kang, Byungwoo Lee, Jihoon Yang, Seonho Kim, Saejoon Kim Simulating Biological Pathways with a Continuous Petri Net Using Runge-Kutta Methods. Search on Bibsonomy FBIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
70Hartmut 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
70P. 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
70Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis. Search on Bibsonomy EUROMICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Petri net-based design representation, internal design representation, hardware structures, conflict freeness, hierarchical Petri net structure, CAMAD, complexity, parallelization process, Petri nets, high-level synthesis, automatic parallelization, design environment, safeness
70Fernando Vallejo, José A. Gregorio, Michael González Harbour, José M. Drake Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF softwareengineering, shared memorymultimicroprocessor operating system, extended Petri net model, task level programming, extended Petri net, job-levelprogramming, parallel programming, parallel programs, Petri nets, software development, operating system, conceptual model, programming environments, shared memory systems, operating systems (computers), system software, event-driven systems, programming support
70Yan He 0001, Miaoliang Zhu A complete and efficient strategy based on petri net in automated trust negotiation. Search on Bibsonomy Infoscale The full citation details ... 2007 DBLP  DOI  BibTeX  RDF negotiation petri net, automated trust negotiation, negotiation strategy
70Jin-Cheon Na, Richard Furuta Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system. Search on Bibsonomy ACM Symposium on Document Engineering The full citation details ... 2001 DBLP  DOI  BibTeX  RDF petri-net-based hypertext, caT, trellis, dynamic documents
70Krishna P. Mikkilineni, Yuan-Chieh Chow, Stanley Y. W. Su Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF concurrent database queries, integrated data network, intermediate data sharing, Petri nets, query processing, distributed databases, distributed databases, computer networks, program testing, digital simulation, pipelined processing, pipeline processing, Petri-net model, event-driven programming
69Georg Zetzsche Erasing in Petri Net Languages and Matrix Grammars. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
69Lu Songfeng, Sun Chengfu, Ma Xinjian Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net. Search on Bibsonomy SYNASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
69Xiaodong Wang, Xiaoyu Zhang, Hongming Cai, Boyi Xu An Extended Petri-Net Based Approach for Supply Chain Process Enactment in Resource-Centric Web Service Environment. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF XML-Net, WADL, Petri-Net, supply chain, RESTful web service
67Éric Badouel, Jules Chenou, Goulven Guillou Petri Algebras. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Kun Xiao, Shihong Chen, Xi Chen Course Material Research Based on Perti Net. Search on Bibsonomy ICWL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Petri net, courseware, material
66Tadao Murata, Boris Shenker, Sol M. Shatz Detection of Ada Static Deadlocks Using Petri Net Invariants. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
66Juliane Dehnert Four Steps Towards Sound Business Process Models. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
66Peter J. Haas, Gerald S. Shedler Stochastic Petri Net Representation of Discrete Event Simulations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF transition firings, timed transitions, Petri net simulation, countable state GSMP, generalized semi-Markov process, simulation, formal specification, Petri nets, discrete event simulation, Markov processes, stochastic Petri net
65Gabriel 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
65João Lourenço, Luís Gomes 0001 Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
64Chuanliang 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
64Mohammed Elkoutbi, Rudolf K. Keller User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF scenario specification, Unified Modeling Language, high-level Petri net, User interface prototyping
64Lianwei Guan, Xingyu Li, Hao Hu 0001 A Petri Net-Based Approach for Supporting Aspect-Oriented Modeling. Search on Bibsonomy TASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aspect dependency, shared join point, Petri net, conflict, aspect-oriented modeling
63Bruno 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
62Daniel Martin 0001, Daniel Wutke, Frank Leymann Using tuplespaces to enact petri net-based workflow definitions. Search on Bibsonomy iiWAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF petri net execution, petri nets, workflows, tuplespaces
62Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber 0003 The Petri Net Markup Language: Concepts, Technology, and Tools. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
61Dong-Her Shih, Hsiu-Sen Chiang, Binshan Lin A Generalized Associative Petri Net for Reasoning. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Data mining, Ontology, Petri net, Association rule, Reasoning
60XianMing Liu, ShiXian Li, Yue Jiang A Petri Net Extended With Stochastic Priced Transition. Search on Bibsonomy ICEBE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF priced transition, Petri net, business process modeling
60Son T. Vuong, Kendra M. L. Cooper, Mabo Robert Ito Petri net models for describing multimedia synchronization requirements. Search on Bibsonomy ICNP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF extended object composition, dynamic timed, time stream, performance evaluation, Petri nets, synchronisation, multimedia communication, multimedia communication, multimedia synchronization, Petri net models, object composition, synchronization constraints
60Tae-hyung Kim, Carl K. Chang An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
60Jyh-Cheng Chang, Shao-Chun Li, Maiga Chang, Jia-Sheng Heh Monitoring the Experiment Process and Diagnosing the Experiment Mistakes Made by Students with Petri Net Modeling. Search on Bibsonomy Edutainment The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
60Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama A high reliability design for NFS server software based on the logical coloured Petri net. Search on Bibsonomy ICARCV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
60Sunil Hingorani, Oliver Heim A test suite for exposing design and implementation details in petri net simulators. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
59Ayumu Saito, Masao Nagasaki, Hiroshi Matsuno, Satoru Miyano Hybrid Functional Petri Net with Extension for Dynamic Pathway Modeling. Search on Bibsonomy Modeling in Systems Biology, The Petri Net Approach The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
59H.-C. Yen Integer Linear Programming and the Analysis of Some Petri Net Problems. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
58Astrid Rakow Decompositional Petri Net Reductions. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
58Georg Lausen Modeling and Analysis of the Behavior of Information Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF semantic hierarchy data model, formal specification, Petri net, Petri nets, data structures, information systems, information flows, data abstractions, flowcharting, specification techniques, behavior constraints
57Zoran M. Gacovski, Georgi M. Dimirovski Parameterized Petri Net Reformulation of the Fuzzy Production System. Search on Bibsonomy Fuzzy Days The full citation details ... 2001 DBLP  DOI  BibTeX  RDF parameterized fuzzy-Petri-nets, organization level, decision making, knowledge base, complex systems, Fuzzy reasoning
56Simon Hardy, Pierre N. Robillard Visualization of the simulation data of biochemical network models: a painted Petri net approach. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF biochemical modeling, quantitative studies, visualization, petri net, invariants
56Peng Men, Zhenhua Duan, Bin Yu Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ontology, semantic web services, matchmaking, fuzzy petri net
56Jianghui Ying An approach to Petri net based formal modeling of user interactions from X3D content. Search on Bibsonomy Web3D The full citation details ... 2006 DBLP  DOI  BibTeX  RDF formal methods, Petri net, X3D
56Hans Fleischhack, Bernd Grahlmann A Compositional Petri Net Semantics for SDL. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes
56P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan A Trace Semantics for Petri Nets (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
56Yen-Liang Chen, Ping-Yu Hsu 0001, Yuan-Bin Chang A Petri Net Approach to Support Resource Assignment in Project Management. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
56Wolfgang Reisig On the Expressive Power of Petri Net Schemata. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Peep Küngas Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies. Search on Bibsonomy SARA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Shinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. Search on Bibsonomy ICARCV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
56Luigi Portinale Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
56George Peterka, Tadao Murata Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF proof procedure, Horn clause subset, firing sequence, goal transition, Petri nets, logic programs, logic programming, theorem proving, programming theory, Petri net model, first-order predicate logic, answer extraction
55Laura Carnevali, Lorenzo Ridi, Enrico Vicario Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. Search on Bibsonomy QEST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net
55Alexander E. Kostin A Reachability Algorithm for General Petri Nets Based on Transition Invariants. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF transition invariants, Petri nets, reachability
55Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima Petri nets tools integration through Eclipse. Search on Bibsonomy eTX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Ashok K. Murugavel, N. Ranganathan A Real Delay Switching Activity Simulator Based on Petri Net Modeling. Search on Bibsonomy ASP-DAC/VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
55Jia Zhang 0001, Jen-Yao Chung, Carl K. Chang, Seongwoon Kim WS-Net: A Petri-net Based Specification Model for Web Services. Search on Bibsonomy ICWS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
55Robin Bergenthum, Jörg Desel, Sebastian Mauser Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. Search on Bibsonomy Trans. Petri Nets Other Model. Concurr. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Partial Order Behavior, Region Theory, Petri Net, Synthesis Algorithm
55Carl K. Chang, Seongwoon Kim I3: A Petri-Net Based Specification Method for Architectural Components. Search on Bibsonomy COMPSAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF architectural component description language, interoperation, specification, CORBA, software component, Architecture Description Language, stakeholder, colored Petri net, IDL, SADT, ORB
54Lawrence Cabac, Daniel Moldt, Heiko Rölke A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. Search on Bibsonomy ICATPN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF agents, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols
53Hsu-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
53Karsten Wolf Generating Petri Net State Spaces. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
53Tony Spiteri Staines Using a Timed Petri Net (TPN) to Model a Bank ATM. Search on Bibsonomy ECBS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
53Jö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
52Yi-Sheng Huang, Xiaolan Xie, Chien-Nin Hsu Modeling and Analysis of Manufacturing Systems using a New class of Petri Nets. Search on Bibsonomy ICRA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Marisa Llorens, Javier Oliver 0001 Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber (eds.) Petri Net Technology for Communication-Based Systems - Advances in Petri Nets Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
52Kathrin Hoffmann Case Study Logistics: Flexible Modeling of Business Processes Using Algebraic Higher-Order Nets. Search on Bibsonomy Petri Net Technology for Communication-Based Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 4191 (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