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