Search results for "NET-tool"

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