|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 46 occurrences of 35 keywords
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham |
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation |
27 | Reggie Davidrajuh |
Developing a New Petri Net Tool for Simulation of Discrete Event Systems. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
GPenSIM, XML, modeling and simulation, discrete event system |
20 | Michael Weber 0003, Ekkart Kindler |
The Petri Net Kernel. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Frank Itter, Claudia Relewicz |
Computer supported design of Kanban controlled production. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
NET-tool, simulation, animation, building blocks, Kanban |
18 | Haiping Xu, Sol M. Shatz |
A Framework for Model-Based Design of Agent-Oriented Software. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
G-net, model checking, Petri net, electronic commerce, Multiagent systems, design model |
18 | 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 |
16 | Michal Niedzwiecki, Krzysztof Rzecki, Krzysztof Cetnarowicz |
Using the Evaluation Nets Modeling Tool Concept as an Enhancement of the Petri Net Tool. |
FedCSIS |
2013 |
DBLP BibTeX RDF |
|
12 | Tao Feng 0007, Taining Chen, Xiang Gong |
Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool. |
Inf. |
2024 |
DBLP DOI BibTeX RDF |
|
12 | Graziana Cavone, Silvia Stella, Paolo Scarabaggio, Raffaele Carli, Stefano Lisi, Achille Claudio Garavelli, Mariagrazia Dotoli |
A Colored Petri Net Tool for the Design of Robotic Palletizing Cells. |
CoDIT |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Catalina M. Lladó |
PIPE 2.7 overview A Petri net tool for performance modeling and evaluation. |
SIGMETRICS Perform. Evaluation Rev. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Kevin Huang 0001, Digesh Chitrakar, Wenfan Jiang, Yun-Hsuan Su |
Enhanced U-Net Tool Segmentation using Hybrid Coordinate Representations of Endoscopic Images. |
ISMR |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Ricardo J. Rodríguez |
A Petri net tool for software performance estimation based on upper throughput bounds. |
Autom. Softw. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Yojiro Harie, Katsumi Wasaki |
Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS. |
GCCE |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Monika Heiner, Mostafa Herajy, Fei Liu 0006, Christian Rohr, Martin Schwarick |
Snoopy - A Unifying Petri Net Tool. |
Petri Nets |
2012 |
DBLP DOI BibTeX RDF |
|
12 | Ekkart Kindler |
The ePNK: An Extensible Petri Net Tool for PNML. |
Petri Nets |
2011 |
DBLP DOI BibTeX RDF |
|
12 | Samir M. Koriem |
A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems. |
Comput. J. |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Bernd Grahlmann, Eike Best |
PEP - More than a Petri Net Tool. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Raymond Tang, Grantham K. H. Pang, Stephen S. Woo |
A continuous fuzzy Petri net tool for intelligent process monitoring and control. |
IEEE Trans. Control. Syst. Technol. |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Frits Feldbrugge |
Petri Net Tool Overview 1992 |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification, system validation |
12 | Frits Feldbrugge |
Petri net tool overview 1989. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
net theory, simulation, performance analysis, Petri Nets, computer aided design, tools, system analysis, system specification |
12 | Frits Feldbrugge, Kurt Jensen |
Petri Net Tool Overview 1986. |
Advances in Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
|
9 | Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
Modeling and evaluation of supply chains with GSPN components. |
VALUETOOLS |
2007 |
DBLP DOI BibTeX RDF |
performance evaluation, modeling, petri nets, supply chain management, stochastic processes, logistics |
9 | 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 |
|
7 | L. J. Steggles |
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto |
A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
6 | Rama Sushil, Kumkum Garg, Rama Bhargava |
Comparison of location management techniques for mobile agents. |
ICON |
2008 |
DBLP DOI BibTeX RDF |
|
6 | Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu |
Efficient Symbolic State-Space Construction for Asynchronous Systems. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|