Search results for "Petrinet"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Gen'ichi Yasuda	Design and Implementation of Petrinet Based Distributed Control Architecture for Robotic Manufacturing Systems.	MICAI	2007	DBLP DOI BibTeX RDF	Distributed control, manufacturing systems, industrial robotics, Petrinets
81	Junko Shirogane, Yoshiaki Fukazawa	Method of User-Customizable GUI Generation and Its Evaluation.	APSEC	1998	DBLP DOI BibTeX RDF	Dialog Control, GUI, Prototype, Automatic, Petrinet
54	Hwa-Young Jeong	Learner's Tailoring E-Learning System on the Item Revision Difficulty Using PetriNet.	VSMM	2006	DBLP DOI BibTeX RDF
45	Pradeep Varakantham, Santosh Kumar Gangwani, Kamalakar Karlapalem	On handling component and transaction failures in multi agent systems.	SIGecom Exch.	2002	DBLP DOI BibTeX RDF	atomicity in agents, durability in agents, logging in agents, recovery in agents, Internet, multi agent system, agent
32	Christoph Brandau, Dietmar Tutsch	Logical PetriNet A Tool to Model Digital Circuit Petri Nets and Transform them into Digital Circuits.	MMB	2018	DBLP DOI BibTeX RDF
32	Simone Dominico, Eduardo Cunha de Almeida, Jorge Augusto Meira	A PetriNet mechanism for OLAP in NUMA.	DaMoN	2017	DBLP DOI BibTeX RDF
32	Jiwei Huang, Yeping Zhu, Bo Cheng 0001, Chuang Lin 0002, Junliang Chen	A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems.	Sensors	2016	DBLP DOI BibTeX RDF
32	M. Deivamani, S. R. Murugaiyan, V. Ravisankar, P. Victer Paul, Ramachandran Baskaran, P. Dhavachelvan	Web Service Composition Framework using Petrinet and Web Service Data Cache in MANET.	Int. J. Comput. Commun. Control	2015	DBLP DOI BibTeX RDF
32	Yuta Ikeda, Satoshi Shimada, Takao Miura	Well Formed PetriNet for Reachablility.	SITIS	2012	DBLP DOI BibTeX RDF
32	Ulrich Winkler, Mathias Fritzsche, Wasif Gilani, Alan Marshall 0001	BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer.	ECMFA	2012	DBLP DOI BibTeX RDF
32	Jie Chen, Liangwei Zhang, Jianqiang Luo	Reconfiguration Cost Analysis Based on PetriNet for Manufacturing System.	J. Softw. Eng. Appl.	2009	DBLP DOI BibTeX RDF
32	Nabil Sadou, Romaric Guillerm, Hamid Demmou	ESA PetriNet: Petri net Based Tool for Reliability Analysis.	SMC	2009	DBLP DOI BibTeX RDF
32	Hyunsoo Lee, Bikram Sharda, Amarnath Banerjee	Representation and simulation of stochastic petrinet models using xPNML.	WSC	2007	DBLP DOI BibTeX RDF
32	Cornelia Richter-von Hagen, Dietmar Ratz, Roman Povalej	Evolution of Petrinet Modeled Knowledge Intensive Processes.	ISTA	2005	DBLP BibTeX RDF
32	Jan Richling, Matthias Werner 0001, Louchka Popova-Zeugmann	Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture.	ICRA	2002	DBLP DOI BibTeX RDF
32	Simona Bernardi 0001, Susanna Donatelli, José Merseguer	From UML sequence diagrams and statecharts to analysable petrinet models.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	modeling, UML, compositionality, GSPN
32	Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt	Response time densities in generalised stochastic petrinet models.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF
23	Tim Lewis, Russell J. Haines	Formal verification to enhance evolution of protocols.	GECCO	2009	DBLP DOI BibTeX RDF	formal methods, petri-nets, protocols, genetic programming
23	Josep Carmona 0001, Jordi Cortadella	ILP Models for the Synthesis of Asynchronous Control Circuits.	ICCAD	2003	DBLP DOI BibTeX RDF
23	H. M. W. Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst	XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology.	WES	2002	DBLP DOI BibTeX RDF	WF-net, XRL, PNML, XML, Workflow, enactment, Inter-organizational
23	Haoxun Chen, Hans-Michael Hanisch	Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	condition /event systems, state reachability analysis, Petri nets, hybrid systems, modular modeling
23	Wasfi Al-Khatib, Arif Ghafoor	An approach for video meta-data modeling and query processing.	ACM Multimedia (1)	1999	DBLP DOI BibTeX RDF
23	Gisbert Dittrich	Tools for Modelling with Petri-Net like Nets.	EUROCAST	1989	DBLP DOI BibTeX RDF