Search results for "Object Oriented Petri nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Vladimír Janousek, Sárka Kvetonová	Object-Oriented Petri Nets-Based Modeling of Resources in Project Engineering.	EUROCAST	2009	DBLP DOI BibTeX RDF	Object oriented Petri net, simulation, optimization, modeling, monitoring
2	Radek Kocí, Vladimír Janousek	System Design with Object Oriented Petri Nets Formalism.	ICSEA	2008	DBLP DOI BibTeX RDF
2	Jindian Su, Shanshan Yu, Heqing Guo	Formal Description and Verification of Web Service Composition Based on OOPN.	ICIC	2008	DBLP DOI BibTeX RDF	Object Oriented Petri Nets, Web Service Composition, Formal Description
2	Huiran Liu, Zhibin Jiang, Richard Y. K. Fung	An extended object-oriented Petri nets for modeling and analysis automated re-entrant manufacturing systems.	SMC	2004	DBLP DOI BibTeX RDF
2	Milan Ceska, Ludek Hasa, Tomás Vojnar	Partial-Order Reduction in Model Checking Object-Oriented Petri Nets.	EUROCAST	2003	DBLP DOI BibTeX RDF
2	Hongyi Shi, Aihua Ren	An Object-Oriented Petri Nets Based Integrated Development Environment for Grid-Based Applications.	GCC	2003	DBLP DOI BibTeX RDF
2	Milan Ceska, Vladimír Janousek, Tomás Vojnar	Analysis and Verification Queries over Object-Oriented Petri Nets.	EUROCAST	2001	DBLP DOI BibTeX RDF
2	Omer F. Rana, Matthew S. Shields	Performance Analysis of Java Using Petri Nets.	HPCN	2000	DBLP DOI BibTeX RDF	Performance Analysis and Prediction, Object Oriented Petri nets
2	Milan Ceska, Vladimír Janousek, Tomás Vojnar	Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.	EUROCAST	1999	DBLP DOI BibTeX RDF
1	Yan-Pei Liu, Yuesheng Gu, Jun Chen	A New Control Structure Model Based on Object-oriented Petri Nets.	JNW	2012	DBLP DOI BibTeX RDF
1	Aladdin Masri, Thomas Bourdeaud'huy, Armand Toguyéni	Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Huiran Liu, Zhibin Jiang, Richard Y. K. Fung	Performance modeling, real-time dispatching and simulation of wafer fabrication systems using timed extended object-oriented Petri nets.	Computers & Industrial Engineering	2009	DBLP DOI BibTeX RDF
1	Aladdin Masri, Thomas Bourdeaud'huy, Armand Toguyéni	A Component Modular Modeling Approach Based on Object Oriented Petri Nets for the Performance Analysis of Distributed Discrete Event Systems.	ICNS	2009	DBLP DOI BibTeX RDF
1	Radek Kocí, Vladimír Janousek	Simulation Based Design of Control Systems Using DEVS and Petri Nets.	EUROCAST	2009	DBLP DOI BibTeX RDF
1	Radek Kocí, Vladimír Janousek, Frantisek Zboril Jr.	Object Oriented Petri Nets — Modelling Techniques Case Study.	EMS	2008	DBLP DOI BibTeX RDF
1	Zdenek Mazal, Radek Kocí, Vladimír Janousek, Frantisek Zboril	PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets.	ISDA	2008	DBLP DOI BibTeX RDF
1	Hua Xu, Peifa Jia	A Fuzzy Timed Object-Oriented Petri Net for Multi-Agent Systems.	ISNN	2008	DBLP DOI BibTeX RDF
1	Ching-Huey Wang, Feng-Jian Wang	An Object-Oriented Modular Petri Nets for Modeling Service Oriented Applications.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Xiaoning Feng, Qun Liu, Zhuo Wang	AUV Modeling and Analysis using a Colored Object-Oriented Petri Net.	IMSCCS	2006	DBLP DOI BibTeX RDF	Colored Object-Oriented Petri Net (COOPN), Colored Petri Net Modeling Language (CPN ML), substitution transition, reachable tree
1	Luis Pedro, Levi Lucio, Didier Buchs	Principles for System Prototype and Verification Using Metamodel Based Transformations.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
1	Cássio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton Serey Guerrero	A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids.	SEFM	2006	DBLP DOI BibTeX RDF
1	Didier Buchs, Luis Pedro, Levi Lucio	Formal Test Generation from UML Models.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
1	Toshiyuki Miyamoto, Sadatoshi Kumagai	A Survey of Object-Oriented Petri Nets and Analysis Methods.	IEICE Transactions	2005	DBLP DOI BibTeX RDF
1	Levi Lucio, Luis Pedro, Didier Buchs	A Test Language for CO-OPN Specifications.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
1	Zhenhua Yu, Yuanli Cai, Ruifeng Wang, Jiuqiang Han	pi-Net ADL: An Architecture Description Language for Multi-agent Systems.	ICIC	2005	DBLP DOI BibTeX RDF
1	David Hurzeler	Network Structure and Traffic Modeling and Simulation with CO-OPN.	RISE	2005	DBLP DOI BibTeX RDF
1	Cássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo	Model checking in object-oriented Petri nets.	SMC	2004	DBLP DOI BibTeX RDF
1	Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk	An Extensible Editor and Simulation Engine for Petri Nets: Renew.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler	Prototyping Object Oriented Specifications.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Boleslaw Mikolajczak, Artur Ottlik	Specification of Distributed Systems with Actors Using Object Oriented Petri Nets.	Intelligent Information Systems	2002	DBLP BibTeX RDF
1	Michael Duvigneau, Daniel Moldt, Heiko Rölke	Concurrent Architecture for a Multi-agent Platform.	AOSE	2002	DBLP DOI BibTeX RDF
1	Milan Ceska, Vladimír Janousek, Tomás Vojnar	Generating and using state spaces of object-oriented Petri nets.	Comput. Syst. Sci. Eng.	2001	DBLP BibTeX RDF
1	Stephan Philippi	Modeling and Inheritance of Behaviour in Object-Oriented Systems. (PDF / PS)	IV	2001	DBLP DOI BibTeX RDF
1	Marie-Claude Gaudel	Testing from Formal Specifications, a Generic Approach.	Ada-Europe	2001	DBLP DOI BibTeX RDF
1	Daniel Moldt, Rüdiger Valk	Object Oriented Petri Nets in Business Process Modeling.	Business Process Management	2000	DBLP DOI BibTeX RDF
1	Didier Buchs, Nicolas Guelfi	A Formal Specification Framework for Object-Oriented Distributed Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	algebraic Petri nets, distributed systems, Formal specifications, concurrency, object-orientation, refinement, algebraic specifications, subtyping
1	Rémi Bastide, Ousmane Sy, Philippe A. Palanque	Formal Support for the Engineering of CORBA-based Distributed Object Systems. (PDF / PS)	DOA	1999	DBLP DOI BibTeX RDF
1	M. Adamou, S. N. Zerhouni, A. Bourjault	Hierarchical modelling and control of flexible assembly systems using object-oriented Petri nets.	Int. J. Computer Integrated Manufacturing	1998	DBLP DOI BibTeX RDF
1	Peter Ziegler, Helena Szczerbicka	Modelling of Business Processes Using Object-Oriented Petri Nets.	ESM	1998	DBLP BibTeX RDF
1	Milan Ceska, Vladimír Janousek, Tomás Vojnar	PNtalk - a Computerized Tool for Object Oriented Petri Nets Modelling.	EUROCAST	1997	DBLP DOI BibTeX RDF
1	Didier Buchs, Nicolas Guelfi	Formal Development of Actor Programs Using Structured Algebraic Petri Nets.	PARLE	1993	DBLP DOI BibTeX RDF	Formal program development, actor languages semantics, algebraic abstract data types, high-level Petri nets, modular specification