Search results for "PNSE"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Kamila Agata Barylska, Edward Ochmanski	Hierarchy of persistency with respect to the length of actions disability.	PNSE	2012	DBLP BibTeX RDF
1	Michal Knapik, Wojciech Penczek	SMT-based parameter synthesis for L/U automata.	PNSE	2012	DBLP BibTeX RDF
1	Thomas Wagner 0003	Agentworkflows for Flexible Workflow Execution.	PNSE	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.	PNSE	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.	PNSE	2012	DBLP BibTeX RDF
1	Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg	Modeling and Analyzing Wireless Sensor Networks with VeriSensor.	PNSE	2012	DBLP BibTeX RDF
1	Dominic Dibbern	Porting the Renew Petri Net Simulator to the Operating System Android.	PNSE	2012	DBLP BibTeX RDF
1	Wolfgang Reisig	What Should we Teach About Petri Nets?	PNSE	2012	DBLP BibTeX RDF
1	Jan Bolte	SonarEditor: A Tool for Multi-Agent-Organizations Modelling.	PNSE	2012	DBLP BibTeX RDF
1	Julian Burkhart, Michael Haustermann	PetriPad A Collaborative Petri Net Editor.	PNSE	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.	PNSE	2012	DBLP BibTeX RDF
1	Anna Dedova, Laure Petrucci	From Code to Coloured Petri Nets: Modelling Guidelines.	PNSE	2012	DBLP BibTeX RDF
1	Toshiyuki Miyamoto, Yasuwo Hasegawa	A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography.	PNSE	2012	DBLP BibTeX RDF
1	Sofiane Bendoukha, Thomas Wagner 0003	Cloud Transition: Integrating Cloud Calls into Workflow Petri Nets.	PNSE	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.	PNSE	2012	DBLP BibTeX RDF
1	Matthias Wester-Ebbinghaus, Michael Köhler-Bußmeier	Model-Driven Middleware Support for Team-Oriented Process Management.	PNSE	2012	DBLP BibTeX RDF
1	Radek Kocí, Vladimír Janousek	Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study.	PNSE	2012	DBLP BibTeX RDF
1	Luca Bernardinello, Elisabetta Mangioni, Lucia Pomello	Local state refinement on Elementary Net Systems: an approach based on morphisms.	PNSE	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	PNSE	2012	DBLP BibTeX RDF
1	Luca Bernardinello, Francesco Adalberto Bianchi	A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt.	PNSE	2012	DBLP BibTeX RDF
1	Thomas Irgang, Andreas Harrer, Robin Bergenthum	MuPSi - a multitouch Petri net simulator for transition steps.	PNSE	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.	PNSE	2012	DBLP BibTeX RDF
1	Nejm Saadallah, Benoit Daireaux	A Goal Based Approach on top of Petri Nets.	PNSE	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.	PNSE	2011	DBLP BibTeX RDF
1	Christine Choppy, Jörg Desel, Laure Petrucci	Specialisation and Generalisation of Processes.	PNSE	2011	DBLP BibTeX RDF
1	Weiyi Wu, Yao Zhang, Shengyuan Wang, Yuan Dong	PNTM Integration of Petri Nets and Transactional Memory.	PNSE	2011	DBLP BibTeX RDF
1	Kent Inge Fagerland Simonsen	On the use of Pragmatics for Model-based Development of Protocol Software.	PNSE	2011	DBLP BibTeX RDF
1	Michael Westergaard	Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets.	PNSE	2011	DBLP BibTeX RDF
1	Victor Khomenko	Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis.	PNSE	2011	DBLP BibTeX RDF
1	Shengyuan Wang, Weiyi Wu, Yao Zhang, Yuan Dong	Transitions as Transactions.	PNSE	2011	DBLP BibTeX RDF
1	Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya	Design, Modelling and Analysis of a Workflow Reconfiguration.	PNSE	2011	DBLP BibTeX RDF
1	Marcin Hewelt, Thomas Wagner 0003, Lawrence Cabac	Integrating Verification into the PAOSE Approach.	PNSE	2011	DBLP BibTeX RDF
1	Ekkart Kindler	Modelling Local and Global Behaviour: Petri Nets and Event Coordination.	PNSE	2011	DBLP BibTeX RDF
1	Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci	Extending PNML Scope: the Prioritised Petri Nets Experience.	PNSE	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.	PNSE	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.	PNSE	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	PNSE	2011	DBLP BibTeX RDF
1	Michael Westergaard, Henricus M. W. (Eric) Verbeek	Efficient Implementation of Prioritized Transitions for High-level Petri Nets.	PNSE	2011	DBLP BibTeX RDF

Publications at "PNSE"( http://dblp.L3S.de/Venues/PNSE )