International Workshop on
Modeling and Business Environments
Milano, Italy, June 24, 2013
a satellite event of
Petri Nets 2013
Contact e-mail: modbe13_at_informatik_dot_uni-hamburg_dot_de
Some of the best papers from the workshop will be invited for publication in a volume of the journal sub line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and will go through a new round of reviewing, as standard practice for journal papers.
ToPNoC volumes of Petri Net conferences' workshops in the Springer LNCS series are contained in volumes 5100, 5460, 5800, 6550, 6900 and 7400.
While ModBE'13 (Modeling and Business Environments) will take place as a satellite event of Petri Nets 2013 other modeling techniques than Petri nets and their means are explicitly welcome. Furthermore, experts from the application domain will challenge the technical and conceptual solutions. ModBE'13 shall provide a forum for researchers from interested communities to investigate, experience, compare, contrast and discuss solutions for modeling in business environments. During the workshop a part of the available time is reserved for a group wise discussion of challenging questions.
- formal methods
- representation of formal models by intuitive modeling concepts
- guidelines for the construction of system models
- representative examples
- process-, service-, state-, event-, component-, organization-, object- and agent-oriented approaches
- adaption, integration, and enhancement of concepts from other disciplines
- views and abstractions of systems
- model-driven architecture, model-driven development
- modeling software landscapes
- web service-based software development
- modeling paradigms and their implications
- special modeling concepts, such for mobility, distribution, embedding, flexibility
- social concepts, such as norms, rules, contracts, communication, co-ordination, co-operation
- self-reflective models
- relations to other fields, such as artificial intelligence, human-computer-interaction, simulation, robotics, organizational theories, sociology, psychology
Petri nets for business environments
- prototyping, simulation, animation, code generation, execution, testing, efficient implementation
- verification based on dynamical and structural methods (e.g. model checking, invariants, reduction rules, model transformation)
- use of theoretical results from Petri net theories
- (semi-)formal methods
- Petri net variants and their semantics
- covering concepts such as concurrency, non-determinism, correctness, mobility, distribution etc.
- Petri net concepts (dynamic net structures, extensions etc.)
Business processes and workflows
- modeling notations, language, techniques (Petri nets, BPMN, BPEL, eEPCs, etc.)
- complementary enterprise-, data-, role-, resource-, people-, contract-, application-centric modeling notations
- process verification, validation, execution and simulation
- formal semantics
- theoretical foundations of processes
- process management (systems)
- adaptivity, exceptions, context-awareness
- process ontologies
- process mining
- inter- and intra-organizational processes
- human and social perspectives of process modeling
- technological perspectives, such as Grid, Cloud, Web services
- embedding of processes in organizations: governance, compliance, business strategies
- formal methods
Web service technologies
- usage of Web services for business environments
- Web services, grid, cloud as technologies for business environments
- Petri nets as underlying semantics for Web technology concepts
- formal methods
- Petri net methods, techniques and tools for designing social concepts, networks, media and infrastructures
- standards for business environments
- protocol specification
- computing architectures
- service specification, composition, discovery, monitoring and control
- Tools, case studies and applications in the fields mentioned above
ProceedingsThe workshop proceedings for ModBE'13 will be available online at
It will be available from 09.07.13 onwards.
- Ernesto Damiani and Paolo Ceravolo: Knowledge and Business Intelligence Technologies in Cross-Enterprise Environments for Italian Advanced Mechanical Industry (SESAR Lab, Department of Computer Science, Università degli Studi di Milano, Italy)
Today's industry is pushed by the competitive pressure to revise the business model by opening the organizational boundaries to suppliers, clients and partners.
As a side effect, knowledge sharing within the market increases and organizations may lose control on strategical knowledge that can be exploited by competitors.
For this reason process monitoring today cannot fail in controlling the collaboration activities established inside and outside the organization.
KITE.it is a project, founded by the italian Ministry of Economic Development, aimed at proposing a methodological and technological framework to support the italian mechanical industry in adopting advanced business network approached. The Kite framework is aimed at driving the management process in the identification of the business values creating the network and in supporting the strategical analysis by monitoring both the operational and collaborative processes.
The metric system was designed to integrate in a unified analysis metrics insisting on the strategical, operational and collaborative level. From the technological point of view this is achieved by decoupling the monitoring format from the execution logs that can be integrated in the Kite model from heterogeneous data sources.
Further Invited Speakers
- Andrea Omicini and Stefano Mariani: Coordination for Situated MAS: Towards an Event-driven Architecture(Alma Mater Studiorum -- Università di Bologna, Italy)
Complex software systems modelled as multi-agent systems (MAS) are characterised by activities that are generated either by agents, or by the environment in its most general acceptation --- that is, environmental resources and the spatio-temporal fabric.
Modelling and engineering complex multi-agent systems (MAS) -- such as pervasive, adaptive, and situated MAS -- requires then to properly handle diverse classes of events: agent operations, resource events, spatio-temporal situation.
In this talk, first we devise out the requirements for a software architecture for an agent-based middleware based on boundary artefacts, then we sketch a concrete architecture based on the TuCSoN middleware for MAS coordination.
- BioPPN'13(Department of Molecular Biotechnologies and Life Sciences, University of Torino, Italy)
Raffaele Calogero: Dreaming about models: a biologist’s perspective
For more information please see BioPPN'13 website
- All invited talks are joint sessions of the Petri Nets 2013 satellite workshops.
- Bernhard Bauer (Germany)
- Olivier Boissier (France)
- Fabian Büttner (France)
- Jean-Michel Bruel (France)
- Christine Choppy (France)
- Ernesto Damiani (Italy)
- Patrick Delfmann (Germany)
- Susanna Donatelli (Italy)
- Joaquín Ezpeleta Mateo (Spain)
- Walid Fdhila (Austria)
- Michael Felderer (Austria)
- Luciano García-Bañuelos (Estonia)
- Holger Giese (Germany)
- Paolo Giogini (Italy)
- Vincent Hilaire (France)
- Lom Messan Hillah (France)
- Viviana Mascardi (Italy)
- Maristella Matera (Italy)
- Florian Matthes (Germany)
- Jan Mendling (Austria)
- Daniel Moldt (Germany) (Chair)
- Ambra Molesini (Italy)
- Berndt Müller (United Kingdom)
- Andreas Oberweis (Germany)
- Andrea Omicini (Italy)
- Sietse Overbeek (Germany)
- Alexei Sharpanskykh (The Netherlands)
- Christophe Sibertin-Blanc (France)
- Carla Simone (Italy)
- Ingo Timm (Germany)
- Ferucio Laurentiu Tiplea (Rumania)
- Adelinde Uhrmacher (Germany)
- Ulrich Ultes-Nitsche (Switzerland)
- Wamberto Vasconcelos (United Kingdom)
- Jan Martijn van der Werf (The Netherlands)
- Mathias Weske (Germany)
- Manuel Wimmer (Austria)
Information about how to reach the workshop / conference site and about hotels can be found at the Petri Nets 2013 Travel pages.
The program committee invites submissions of full contributions (up to 20 pages) or short contributions (up to 5 pages). Ongoing work (up to 2 pages) can also be presented in a special poster session.
Please note that for full contributions up to 15 pages are recommended if the paper should be considered for the journal publication.
Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (see http://www.springer.de/comp/lncs/authors.html). Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission in PDF format please use the online conference management system at
Login or create a new account and then upload your paper. Later you will be able to see your reviews there.
The papers will be peer reviewed by at least three members of the PC. Accepted contributions will be included in the workshop proceedings, which will be published online.
In case of any problems please contact us by email at modbe13_at_informatik_dot_uni-hamburg_dot_de.
Some of the best papers from the workshop will be invited for publication in a volume of the journal sub-line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and will go through a new round of reviewing, as standard practice for journal papers.