Search results for "high-level petri nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Daniel Moldt, Jan Ortmann	DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.	FASE	2004	DBLP DOI BibTeX RDF	web service, workflow, business process, high-level Petri nets, Renew, reference nets, nets within nets, DAML-S, process ontology
3	Victor Khomenko, Maciej Koutny	Branching Processes of High-Level Petri Nets.	TACAS	2003	DBLP DOI BibTeX RDF	model checking, Verification, high-level Petri nets, unfolding
3	Timo Latvala	Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.	ICATPN	2001	DBLP DOI BibTeX RDF	Model checking, fairness, high-level Petri Nets, LTL
2	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	Modelling Mobility in High-level Petri Nets.	ACSD	2007	DBLP DOI BibTeX RDF	KLAIM, compositional translation, behavioural consistency, mobility, Petri nets, process algebra
2	Björn Wagner, Andreas Dinges, Paul Müller	Dataflow orchestration of image processing algorithms using high-level petri nets.	HIS	2007	DBLP DOI BibTeX RDF
2	Jörg R. Müller, Eckehard Schnieder	Duality in high level petri-nets: a basis to do diagnoses.	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
2	Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Benjamin Schleinzer	Plugin-Agents as Conceptual Basis for Flexible Software Structures.	CEEMAS	2007	DBLP DOI BibTeX RDF	plugin-agents, multi-agent systems, High-level Petri nets, plugins, Renew, reference nets, Nets-within-nets, Mulan
2	Wen-Li Dong, Hang Yu, Yu-Bing Zhang	Testing BPEL-based Web Service Composition Using High-level Petri Nets.	EDOC	2006	DBLP DOI BibTeX RDF
2	Martin Alt, Sergei Gorlatch, Andreas Hoheisel, Hans Werner Pohl	Using High-Level Petri Nets for Hierarchical Grid Workflows.	e-Science	2006	DBLP DOI BibTeX RDF
2	Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu	Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
2	Sami Evangelista	High Level Petri Nets Analysis with Helena.	ICATPN	2005	DBLP DOI BibTeX RDF
2	Christine Reese, Jan Ortmann, Sven Offermann, Daniel Moldt, Kolja Markwardt, T. Carl	Fragmented Workflows Supported by an Agent Based Architecture.	AOIS	2005	DBLP DOI BibTeX RDF	distributed workflow enactment service, Capa, agents, high-level Petri nets, Renew, Distributed workflows
2	Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz	A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets.	ACSD	2004	DBLP DOI BibTeX RDF
2	Claus Schröter, Victor Khomenko	Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings.	CAV	2004	DBLP DOI BibTeX RDF
2	Daniel Moldt, Jan Ortmann	A Conceptual and Practical Framework for Web-Based Processes in Multi-Agent Systems.	AAMAS	2004	DBLP DOI BibTeX RDF	web service, multi-agent system, workflow, business process, High-level Petri nets, OWL-S, RENEW, reference nets, nets within nets
2	Lawrence Cabac, Daniel Moldt	Formal Semantics for AUML Agent Interaction Protocol Diagrams.	AOSE	2004	DBLP DOI BibTeX RDF	Capa, net components, agents, operational semantics, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols
2	Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen	Fuzzy Rule Base Systems Verification Using High-Level Petri Nets.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	rules reasoning, rule verification, Petri nets, formalism, high-level Petri nets, fuzzy rules, certainty factors
2	Elisabeth Pelz, Hans Fleischhack	Compositional High Level Petri Nets with Timing Constraints - A Comparison.	ACSD	2003	DBLP DOI BibTeX RDF
2	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
2	Michael Köhler, Daniel Moldt, Heiko Rölke	Modelling Mobility and Mobile Agents Using Nets within Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	mobility, agent, high-level Petri nets, mobile agent system, Renew, nets within nets, Mulan
2	Daniel Moldt, Heiko Rölke	Pattern Based Workflow Design Using Reference Nets.	Business Process Management	2003	DBLP DOI BibTeX RDF	workflow, patterns, IDE, high-level Petri nets, workflow patterns, Renew, Reference nets, nets within nets
2	Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi	Automatic Formal Model Generation and Analysis of SDL.	SDL Forum	2003	DBLP DOI BibTeX RDF	state space explosion problem, SDL, reachability analysis, high-level Petri nets
2	Luciano Baresi, Mauro Pezzè	On Formalizing UML with High-Level Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
2	Marko Mäkelä	Optimising Enabling Tests and Unfoldings of Algebraic System Nets.	ICATPN	2001	DBLP DOI BibTeX RDF	reachability analysis, unification, high-level Petri nets, unfolding
2	Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi	Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.	ICATPN	2000	DBLP DOI BibTeX RDF	DSS1, SDL, reachability analysis, high-level Petri nets, protocol verification, ISDN
2	Charles Lakos	Composing Abstractions of Coloured Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Refinement, Abstraction
2	Eike Best, Alexander Lavrov	Weak and Strong Composition of High-Level Petri-Nets.	CONCUR	1999	DBLP DOI BibTeX RDF
2	Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre	Petri Net Based Behavioural Specification of CORBA Systems.	ICATPN	1999	DBLP DOI BibTeX RDF	behavioural specification, Distributed systems, CORBA, high-level Petri nets
2	Jörg Desel, Ekkart Kindler	Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	verification, Petri nets, Distributed algorithms, temporal logic
2	Wolfgang Weitz	Workflow Modeling for Internet-Based Commerce: An Approach Based on High-Level Petri Nets.	Trends in Distributed Systems for Electronic Commerce	1998	DBLP DOI BibTeX RDF
2	Kathi Fisler, Claude Girault	Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.	ICATPN	1998	DBLP DOI BibTeX RDF	Protocol design and verification, model checking, distributed shared memory, high level Petri nets, memory consistency
2	Nabil Hameurlain, Christophe Sibertin-Blanc	Finite Symbolic Reachability Graphs for High-Level Petri Nets.	APSEC	1997	DBLP DOI BibTeX RDF
2	Andreas Oberweis, Peter Sander	Information System Behavior Specification by High-Level Petri Nets.	ACM Trans. Inf. Syst.	1996	DBLP DOI BibTeX RDF
2	Libero Nigro, Francesco Pupo	Modeling and Analysing DART Systems Through High-Level Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	distributed systems, real time, Petri nets, animation, object-orientation, scheduling analysis, executable specifications
2	Xudong He	A method for analyzing properties of hierarchical predicate transition nets. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	hierarchical predicate transition nets, hierarchical high level Petri nets, distributed systems modelling, hierarchical predicate transition Petri nets, temporal induction techniques, hybrid reasoning technique, net structural reasoning, behavioral reasoning, first order logic reasoning, formal method, Petri nets, distributed processing, inference mechanisms, formal logic, safety properties, liveness properties
2	Patrick Coscas, Gilles Fouquier, Agnes Lanusse	Modelling actor programs using Predicate/Transition nets.	PDP	1995	DBLP DOI BibTeX RDF	actor programs, translation scheme, PRAL-M, PTN, visualizing, parallel programming, Petri nets, data structures, data structures, debugging, parallel machines, formalism, high-level Petri nets, concurrent computation, Predicate/Transition nets
2	Blaise Muganga, François Pacull, Karim Mazouni, Armel-David Wolff	Visual Programming of Fault-Tolerant Distributed Applications. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	SystemSpecs, GARF, Petri nets, distributed processing, software tools, distribution, replication, programming environments, programming environments, visual programming, visual programming, software fault tolerance, high level Petri nets, fault-tolerant distributed applications, application functionalities
2	Wil M. P. van der Aalst, Kees M. van Hee	Framework for business process redesign. (PDF / PS)	WETICE	1995	DBLP DOI BibTeX RDF	business process reengineering efforts, Petri net based framework, Petri nets, business data processing, high-level Petri nets, systems re-engineering, business process redesign, corporate modelling
2	Rémi Bastide, Philippe A. Palanque	A Petri Net based Environment for the Design of Event-driven Interfaces.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Key-words User Interface, Design, High-level Petri nets, Computer tools for nets
2	Peter Buchholz	Hierarchical High Level Petri Nets for Complex System Analysis.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
2	José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel	Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF	Petri net implementation, Rule based systems, Matching algorithms, Higher-level net models
2	Bernd J. Krämer, Luqi, Valdis Berzins	Compositional Semantics of a Real-Time Prototyping Language.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time prototyping language, PSDL, data flow notation, application-orientation timing, control constraints, algebraic high-level Petri nets, concurrency concepts, real-time systems, formal specification, Petri nets, synchronization, specification languages, abstract data types, abstract data types, formal semantics, algebraic specifications, software prototyping, hard real-time systems, compositional semantics, timing behavior
2	Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona	Scheduling Hard Real Time Systems Using High-Level Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
2	Kees M. van Hee, Lou J. Somers, Marc Voorhoeve	Z and High Level Petri Nets.	VDM Europe	1991	DBLP DOI BibTeX RDF
2	Robert Valette, Babou Bako	Software Implementation of Petri nets and compilation of rule-based systems.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Petri net Implementation, Comparison with rule-based approach, high-level Petri nets
2	Kurt Jensen, Erik Meineche Schmidt	Pascal semantics by a combination of denotational semantics and high-level Petri nets.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
1	Slobodan Ribaric, Tomislav Hrkac	A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level Petri nets.	Inf. Syst.	2012	DBLP DOI BibTeX RDF
1	Madjid Tavana, Timothy E. Busch, Eleanor L. Davis	Modeling Operational Robustness and Resiliency with High-Level Petri Nets.	IJKBO	2011	DBLP DOI BibTeX RDF
1	Fatemeh Omrani, Ali Harounabadi, Vahid Rafe	An Adaptive Method Based on High-Level Petri Nets for E-Learning.	JSEA	2011	DBLP DOI BibTeX RDF
1	Dianxiang Xu	A Tool for Automated Test Code Generation from High-Level Petri Nets.	Petri Nets	2011	DBLP DOI BibTeX RDF
1	Su Liu, Reng Zeng, Xudong He	PIPE+ - A Modeling Tool for High Level Petri Nets.	SEKE	2011	DBLP BibTeX RDF
1	Juan Carlos Vidal, Manuel Lama, Alberto Bugarín	OPENET: Ontology-based engine for high-level Petri nets.	Expert Syst. Appl.	2010	DBLP DOI BibTeX RDF
1	Marius Brezovan, Dumitru Dan Burdescu, Eugen Ganea, Liana Stanescu	High-Level Petri Nets with Object-Orientation - A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism.	IDC	2010	DBLP DOI BibTeX RDF
1	Hassan Reza, Feifei Gu, Bahram Shafai	Toward Model Based Testing: Combining AADLS with High Level Petri Nets.	Software Engineering Research and Practice	2010	DBLP BibTeX RDF
1	Yi-Chun Chang, Ying-Chia Huang, Chih-Ping Chu	B2 model: A browsing behavior model based on High-Level Petri Nets to generate behavioral patterns for e-learning.	Expert Syst. Appl.	2009	DBLP DOI BibTeX RDF
1	Claudia Ermel, Tony Modica, Enrico Biermann, Hartmut Ehrig, Kathrin Hoffmann	Modeling multicasting in communication spaces by reconfigurable high-level Petri nets.	VL/HCC	2009	DBLP DOI BibTeX RDF
1	David Taylor-Fuller, Susan J. Lincke	The development of a graphic multidimensional Markov Chain modeler to diagram large state spaces.	SpringSim	2009	DBLP DOI BibTeX RDF	Markov Chain, modeling tool
1	Juan Carlos Vidal, Manuel Lama, Eduardo Sánchez, Alberto Bugarín, Adrán Novegil	OPENET LD: An Ontology-Based Petri Net Engine to Execute IMS LD Units of Learning.	ICALT	2009	DBLP DOI BibTeX RDF
1	Ekkart Kindler, Laure Petrucci	Towards a Standard for Modular Petri Nets: A Formalisation.	Petri Nets	2009	DBLP DOI BibTeX RDF	Modular Petri Nets, Standardisation, High-Level Nets
1	Nabila Salmi, Patrice Moreaux, Malika Ioualalen	Performance evaluation of Fractal component-based systems.	Annales des Télécommunications	2009	DBLP DOI BibTeX RDF	CBS, SWN, Synchronous composition, Asynchronous composition, Modelling, Performances, Interaction, Component
1	V. A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina	Modeling and verification of the SDL-specified communication protocols using high-level Petri nets.	Programming and Computer Software	2008	DBLP DOI BibTeX RDF
1	Wallace A. Pinheiro, Geraldo Xexéo, Jano Moreira de Souza	Autonomic Patterns: Modelling Data Killing Patterns Using High-Level Petri Nets.	ICAS	2008	DBLP DOI BibTeX RDF
1	Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He	Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin.	AST	2008	DBLP DOI BibTeX RDF
1	Viktor Horvath, Till Dörges	From security patterns to implementation using petri nets.	SESS	2008	DBLP DOI BibTeX RDF	modelling, multi-agent systems, agent-oriented software engineering, high-level petri nets, security patterns, model driven software engineering, model driven security
1	Gabriel Ciobanu, Maciej Koutny	Modelling and Verification of Timed Interaction and Migration.	FASE	2008	DBLP DOI BibTeX RDF	compositional translation, behavioural consistency, mobility, process algebra, high-level Petri nets, timers
1	Lawrence Cabac, Till Dörges, Michael Duvigneau, Daniel Moldt, Christine Reese, Matthias Wester-Ebbinghaus	Agent Models for Concurrent Software Systems.	MATES	2008	DBLP DOI BibTeX RDF	net components, Paose, modeling, multi-agent systems, agents, High-level Petri nets, Renew, reference nets, nets-within-nets
1	Junhua Ding, Lian Mo, Xudong He	An approach for specification construction using property-preserving refinement patterns.	SAC	2008	DBLP DOI BibTeX RDF	software architecture, refinement, property-preserving
1	Stefan Klink, Yu Li, Andreas Oberweis	INCOME2010 - a toolset for developing process-oriented information systems based on petri nets.	SimuTools	2008	DBLP DOI BibTeX RDF	XML nets, software toolset, SOA, petri nets, information systems
1	Helene Schilke, Achim Rettberg, Florian Dittmann	Towards a Petri Net Based Approach to Model and Synthesise Dynamic Reconfiguration for FPGAs.	DELTA	2008	DBLP DOI BibTeX RDF	Model-based Design Flow, FPGA, Petri-net, Dynamic Reconfiguration
1	Paulo Leitão, J. Marco Mendes, Armando W. Colombo	Decision support system in a service-oriented control architecture for industrial automation.	ETFA	2008	DBLP DOI BibTeX RDF
1	Jing Liu, Xinming Ye, Jun Zhang 0001, Jun Li	Security Verification of 802.11i 4-Way Handshake Protocol.	ICC	2008	DBLP DOI BibTeX RDF
1	Cui Jin-hong, Wang Xu	Formalization and Verification of Inter-organizational Workflow Modeling for E-Commerce.	ISECS	2008	DBLP DOI BibTeX RDF
1	Klaus Marius Hansen, Weishan Zhang, Mads Ingstrup	Towards Self-Managed Executable Petri Nets.	SASO	2008	DBLP DOI BibTeX RDF
1	Reng Zeng, Jianling Liu, Xudong He	A Formal Specification of Mondex Using SAM.	SOSE	2008	DBLP DOI BibTeX RDF
1	Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau	Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF	formal specification, Petri nets, process algebras, security protocols
1	Maraike Schellmann, Jürgen Vörding, Sergei Gorlatch	Systematic Parallelization of Medical Image Reconstruction for Graphics Hardware.	Euro-Par	2008	DBLP DOI BibTeX RDF
1	Thomas Karle, Andreas Oberweis	Collaborative Model Driven Software Development for SOA-Based Systems.	UNISCON	2008	DBLP DOI BibTeX RDF
1	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	A compositional Petri net translation of general pi -calculus terms.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Compositional translation, Mobility, Petri nets, Process algebra, ?-Calculus
1	Li Peng	Modelling Data Transformation Processes Using High-Level Petri Nets.	ICEIS	2007	DBLP BibTeX RDF
1	Khouloud Boukadi, Chirine Ghedira, Zakaria Maamar, Djamal Benslimane	Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets.	ICEIS	2007	DBLP BibTeX RDF
1	Elisabeth Pelz, Dietmar Tutsch	Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Franck Pommereau	Versatile boxes: a multi-purpose algebra of high-level Petri nets.	SCSC	2007	DBLP DOI BibTeX RDF	algebra of Petri nets, threads, exceptions
1	Marius Brezovan, Eugen Ganea	Object-Oriented High Level Petri Nets as a Formal Language for Modelling and Design Multi-Agent Systems.	IDC	2007	DBLP DOI BibTeX RDF
1	Hassan Reza, Emanuel S. Grant	A method to test concurrent systems using architectural specification.	The Journal of Supercomputing	2007	DBLP DOI BibTeX RDF	Hierarchical Predicate Transition Nets (HPrTNs), Software architecture, Software testing, Architectural Description Languages (ADLs), Concurrent systems
1	Stephan Philippi	Automatic code generation from high-level Petri-Nets for model driven systems engineering.	Journal of Systems and Software	2006	DBLP DOI BibTeX RDF
1	Berndt Farwer, Mauricio Varea	Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets.	Fundam. Inform.	2006	DBLP BibTeX RDF
1	Jun-Ming Su, Shian-Shyong Tseng, Chia-Yu Chen, Jui-Feng Weng, Wen-Nung Tsai	Constructing SCORM compliant course based on High-Level Petri Nets.	Computer Standards & Interfaces	2006	DBLP DOI BibTeX RDF
1	Philipp Hügelmeyer, Timo Steffens, Thomas Zöller	Specifying and simulating modern warfare scenarios with ITSimBw.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz	Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language).	ACSD	2006	DBLP DOI BibTeX RDF
1	Feng Tian, Renhou Li	A Fuzzy Critical Path Method based Scheduling Approach for Collaboration Process.	CSCWD	2006	DBLP DOI BibTeX RDF
1	Paulo Leitão, Armando W. Colombo	Petri net based Methodology for the Development of Collaborative Production Systems.	ETFA	2006	DBLP DOI BibTeX RDF
1	Andreas Glausch, Wolfgang Reisig	How Expressive Are Petri Net Schemata?.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves	PN Standardisation: A Survey.	FORTE	2006	DBLP DOI BibTeX RDF
1	Juan Carlos Vidal, Manuel Lama, Alberto Bugarín	A Workflow Modeling Framework Enhanced with Problem-Solving Knowledge.	KES	2006	DBLP DOI BibTeX RDF	ontologies, workflows, problem-solving methods
1	Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky	On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda
1	Hassan Reza	A Methodology for Architectural Design of Concurrent and Distributed Software Systems.	The Journal of Supercomputing	2006	DBLP DOI BibTeX RDF	concurrent and distributed systems, HPrTN patterns, software architecture, petri nets, design patterns, architectural description languages (ADLs)
1	Raymond R. Devillers, Hanna Klaudel	Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets.	Fundam. Inform.	2005	DBLP BibTeX RDF
1	Martin Alt, Andreas Hoheisel, Hans Werner Pohl, Sergei Gorlatch	A Grid Workflow Language Using High-Level Petri Nets.	PPAM	2005	DBLP DOI BibTeX RDF
1	Michael Köhler, Jan Ortmann	Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets.	CIMCA/IAWTIC	2005	DBLP BibTeX RDF
1	Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke	Multi-agent concepts as basis for dynamic plug-in software architectures.	AAMAS	2005	DBLP DOI BibTeX RDF	modeling, multi-agent systems, components, high-level Petri nets, renew, reference nets, nets-within-nets, dynamic software architectures, plug-in architectures, mulan