|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kamila Agata Barylska, Edward Ochmanski |
Hierarchy of persistency with respect to the length of actions disability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 125-137, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Michal Knapik, Wojciech Penczek |
SMT-based parameter synthesis for L/U automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 77-92, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Thomas Wagner 0003 |
Agentworkflows for Flexible Workflow Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 199-214, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf |
When Can We Trust a Third Party? - A Soundness Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 47-59, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Agata Janowska, Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny |
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 15-31, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg |
Modeling and Analyzing Wireless Sensor Networks with VeriSensor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 60-76, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Dominic Dibbern |
Porting the Renew Petri Net Simulator to the Operating System Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 267-268, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Wolfgang Reisig |
What Should we Teach About Petri Nets? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 11, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Jan Bolte |
SonarEditor: A Tool for Multi-Agent-Organizations Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 269-270, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Julian Burkhart, Michael Haustermann |
PetriPad A Collaborative Petri Net Editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 182-196, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Michael Westergaard, Dirk Fahland, Christian Stahl |
Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 32-46, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Anna Dedova, Laure Petrucci |
From Code to Coloured Petri Nets: Modelling Guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 109-124, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Toshiyuki Miyamoto, Yasuwo Hasegawa |
A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 222-236, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Sofiane Bendoukha, Thomas Wagner 0003 |
Cloud Transition: Integrating Cloud Calls into Workflow Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 215-216, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Robert Lorenz 0001, Markus Huber 0006, Christoph Etzel, Dan Zecha |
SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 237-252, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier |
Model-Driven Middleware Support for Team-Oriented Process Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 93-108, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Radek Kocí, Vladimír Janousek |
Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 253-266, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello |
Local state refinement on Elementary Net Systems: an approach based on morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 141-155, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Lawrence Cabac, Michael Duvigneau, Daniel Moldt (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Luca Bernardinello, Francesco Adalberto Bianchi |
A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 217-221, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Thomas Irgang, Andreas Harrer, Robin Bergenthum |
MuPSi - a multitouch Petri net simulator for transition steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 171-181, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Nicolás Cardozo, Jorge Vallejos, Sebastián González, Kim Mens, Theo D'Hondt |
Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, pp. 156-170, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Nejm Saadallah, Benoit Daireaux |
A Goal Based Approach on top of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 193-195, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Artur Meski, Agata Pólrola, Wojciech Penczek, Bozena Wozna-Szczesniak, Andrzej Zbrzezny |
Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 72-91, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Christine Choppy, Jörg Desel, Laure Petrucci |
Specialisation and Generalisation of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 109-123, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Weiyi Wu, Yao Zhang, Shengyuan Wang, Yuan Dong |
PNTM Integration of Petri Nets and Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 196-199, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Kent Inge Fagerland Simonsen |
On the use of Pragmatics for Model-based Development of Protocol Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 179-190, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Michael Westergaard |
Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 57-71, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Victor Khomenko |
Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 9, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Shengyuan Wang, Weiyi Wu, Yao Zhang, Yuan Dong |
Transitions as Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 136-151, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya |
Design, Modelling and Analysis of a Workflow Reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 10-24, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Marcin Hewelt, Thomas Wagner 0003, Lawrence Cabac |
Integrating Verification into the PAOSE Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 124-135, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Ekkart Kindler |
Modelling Local and Global Behaviour: Petri Nets and Event Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 42-56, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci |
Extending PNML Scope: the Prioritised Petri Nets Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 92-106, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Debjyoti Bera, Kees M. van Hee, Michiel van Osch, Jan Martijn E. M. van der Werf |
A Component Framework where Port Compatibility Implies Weak Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 152-166, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Tobias Betz, Lawrence Cabac, Matthias Güttler |
Improving the Development Tool Chain in the Context of Petri Net-Based Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 167-178, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Michael Duvigneau, Daniel Moldt, Kunihiko Hiraishi (eds.) |
Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Michael Westergaard, Henricus M. W. (Eric) Verbeek |
Efficient Implementation of Prioritized Transitions for High-level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011, pp. 27-41, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|