|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 79 occurrences of 34 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 81 | Pedro Álvarez 0001, José A. Bañares, Joaquin Ezpeleta |
Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm.  |
ICSOC  |
2005 |
DBLP DOI BibTeX RDF |
Service Composition and Coordination, Formal Methods for Service-Oriented Architectures, Nets-within-Nets paradigm, Petri nets |
| 74 | Michael Köhler 0001, 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 |
| 61 | Michael Köhler 0001, Daniel Moldt, Heiko Rölke |
Modelling the Structure and Behaviour of Petri Net Agents. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
modelling, multi agent system, agent, Petri net, concurrency, structure, behaviour, reference net, nets within nets |
| 57 | 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 |
| 56 | Rüdiger Valk |
Object Petri Nets: Using the Nets-within-Nets Paradigm. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
| 55 | JiDong Ge, Haiyang Hu, Ping Lu, Hao Hu 0001, Jian Lü 0001 |
Translation of Nets Within Nets in Cross-organizational Software Process Modeling. |
ISPW |
2005 |
DBLP DOI BibTeX RDF |
|
| 54 | 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 |
| 52 | Javier Fabra, Pedro Álvarez 0001, José A. Bañares, Joaquin Ezpeleta |
A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems. |
Business Process Management |
2006 |
DBLP DOI BibTeX RDF |
SOA and Process Management, Horizontal protocols, Nets-within-Nets paradigm, Petri nets, Formal models in BPM |
| 52 | Michael Köhler-Bußmeier |
Hornets: Nets within Nets Combined with Net Algebra. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
| 47 | Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke |
Modeling Dynamic Architectures Using Nets-Within-Nets. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
| 47 | Michael Köhler 0001, Berndt Farwer |
Object Nets for Mobility. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
object nets, Petri nets, Mobile agents, nets-within-nets, name spaces |
| 32 | 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 |
| 32 | 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 |
| 32 | Michael Köhler 0001, Heiko Rölke |
Web Service Orchestration with Super-Dual Object Nets. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
super-dual nets, Petri nets, refinement, duality, nets-within-nets |
| 32 | 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 |
| 32 | 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 |
| 19 | Sofia Hustiu, Eva Robillard, Joaquin Ezpeleta, Cristian Mahulea, Marius Kloetzer |
Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Michael Köhler-Bussmeier, Lorenzo Capra |
Robustness: A natural Definition based on Nets-within-Nets. |
PNSE@Petri Nets |
2023 |
DBLP BibTeX RDF |
|
| 19 | Lorenzo Capra, Michael Köhler-Bußmeier |
Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. |
SAC |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Lorenzo Capra, Michael Köhler-Bussmeier |
Modelling Adaptive Systems with Nets-Within-Nets in Maude. |
ENASE |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Lorenzo Capra, Michael Köhler-Bußmeier |
Modelling Adaptive Systems with Maude Nets-within-Nets. |
WorldCIST (3) |
2023 |
DBLP DOI BibTeX RDF |
|
| 19 | Roberta Bardini, Alfredo Benso, Stefano Di Carlo, Gianfranco Politano, Alessandro Savino |
Using Nets-Within-Nets for Modeling Differentiating Cells in the Epigenetic Landscape. |
IWBBIO |
2016 |
DBLP DOI BibTeX RDF |
|
| 19 | Marco Mascheroni, Fabio Farina |
Nets-Within-Nets Paradigm and Grid Computing. |
Trans. Petri Nets Other Model. Concurr. |
2012 |
DBLP DOI BibTeX RDF |
|
| 19 | Frank Heitmann, Michael Köhler-Bußmeier |
P- and T-Systems in the Nets-within-Nets-Formalism. |
Petri Nets |
2012 |
DBLP DOI BibTeX RDF |
|
| 19 | Frédéric Cristini, Catherine Tessier |
Nets-within-Nets to Model Innovative Space System Architectures. |
Petri Nets |
2012 |
DBLP DOI BibTeX RDF |
|
| 19 | Yacine Kissoum, Ramdane Maamri, Zaïdi Sahnoun |
Modeling Smart Home Using the Paradigm of Nets within Nets. |
AIMSA |
2012 |
DBLP DOI BibTeX RDF |
|
| 19 | Marco Mascheroni, Fabio Farina |
Nets-Within-Nets Paradigm and Grid Computing. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
| 19 | Yacine Kissoum, Zaïdi Sahnoun, Kamel Barkaoui |
An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm. |
RCIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 19 | Xiao-Hui Hu, Xing-She Zhou 0001 |
Modeling Mobility Agents in Supervisory and Controlling Systems Based on Nets within Nets. |
ICARCV |
2006 |
DBLP DOI BibTeX RDF |
|
| 12 | Luca Bernardinello, Nicola Bonzanni, Marco Mascheroni, Lucia Pomello |
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. |
Workshop on Membrane Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 12 | João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo |
Turing Universality of Neural Nets (Revisited). |
EUROCAST |
1997 |
DBLP DOI BibTeX RDF |
recursive function theory, modularity, Neural computation |
| 8 | Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello |
Modelling Mobility with Petri Hypernets. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license