|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings, pp. 185-197, 2005, Springer, 3-540-30817-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 121-139, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, pp. 224-241, 2001, Springer, 3-540-42252-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, pp. 209-213, 2004, Springer, 3-540-21305-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lectures on Concurrency and Petri Nets ![In: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], pp. 819-848, 2003, Springer, 3-540-22261-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPW ![In: Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers, pp. 360-375, 2005, Springer, 3-540-31112-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Daniel Moldt, Heiko Rölke |
Pattern Based Workflow Design Using Reference Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings, pp. 246-260, 2003, Springer, 3-540-40318-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, pp. 209-224, 2006, Springer, 3-540-38901-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings, pp. 243-262, 2009, Springer, 978-3-642-02423-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke |
Modeling Dynamic Architectures Using Nets-Within-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings, pp. 148-167, 2005, Springer, 3-540-26301-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Michael Köhler 0001, Berndt Farwer |
Object Nets for Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 244-262, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings, pp. 37-48, 2008, Springer, 978-3-540-87804-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings, pp. 340-342, 2007, Springer, 978-3-540-75253-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, pp. 263-280, 2007, Springer, 978-3-540-73093-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1157-1158, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 1464-1465, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.08772, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Michael Köhler-Bussmeier, Lorenzo Capra |
Robustness: A natural Definition based on Nets-within-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE@Petri Nets ![In: Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), June 27, 2023, Lisbon, Portugal., pp. 70-87, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pp. 188-191, 2023, ACM, 978-1-4503-9517-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Lorenzo Capra, Michael Köhler-Bussmeier |
Modelling Adaptive Systems with Nets-Within-Nets in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE ![In: Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, Prague, Czech Republic, April 24-25, 2023., pp. 487-496, 2023, SCITEPRESS, 978-989-758-647-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Lorenzo Capra, Michael Köhler-Bußmeier |
Modelling Adaptive Systems with Maude Nets-within-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WorldCIST (3) ![In: Information Systems and Technologies - WorldCIST 2023, Volume 3, Pisa, Italy, April 4-6, 2023., pp. 178-189, 2023, Springer, 978-3-031-45647-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWBBIO ![In: Bioinformatics and Biomedical Engineering - 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings, pp. 315-321, 2016, Springer, 978-3-319-31743-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Marco Mascheroni, Fabio Farina |
Nets-Within-Nets Paradigm and Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency V, pp. 201-220, 2012, Springer, 978-3-642-29071-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Frank Heitmann, Michael Köhler-Bußmeier |
P- and T-Systems in the Nets-within-Nets-Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings, pp. 368-387, 2012, Springer, 978-3-642-31130-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Frédéric Cristini, Catherine Tessier |
Nets-within-Nets to Model Innovative Space System Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings, pp. 348-367, 2012, Springer, 978-3-642-31130-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Yacine Kissoum, Ramdane Maamri, Zaïdi Sahnoun |
Modeling Smart Home Using the Paradigm of Nets within Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications - 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings, pp. 286-295, 2012, Springer, 978-3-642-33184-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Marco Mascheroni, Fabio Farina |
Nets-Within-Nets Paradigm and Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD/Petri Nets Workshops ![In: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010, pp. 267-283, 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Yacine Kissoum, Zaïdi Sahnoun, Kamel Barkaoui |
An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: Proceedings of the Third IEEE International Conference on Research Challenges in Information Science, RCIS 2009, Fès, Morocco, 22-24 April 2009, pp. 207-216, 2009, IEEE, 978-1-4244-2864-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: Ninth International Conference on Control, Automation, Robotics and Vision, ICARCV 2006, Singapore, 5-8 December 2006, Proceedings, pp. 1-4, 2006, IEEE, 1-4244-0341-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, pp. 124-137, 2007, Springer, 978-3-540-77311-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings, pp. 361-366, 1997, Springer, 3-540-63811-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers, pp. 28-44, 2004, Springer, 3-540-25327-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|