Cybersecurity is an increasingly important challenge for computer systems. In this work,
cyberattacks were modeled using an extension of the well-known Petri net formalism. That …

Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …

As supply chains become more dynamic, there is a need for a sense-and-respond capability
to react to events in a real-time manner. In this paper, we propose Petri nets extended with …

Design of modern digital hardware systems and of complex software systems is almost
always connected with parallelism. For example, execution of an object-oriented p-gram can …

We present an event structure semantics for contextual nets, an extension of P/T Petri nets
where transitions can check for the presence of tokens without consuming them (read-only …

As today's most complex computing environment, the Internet confronts IT researchers,
system designers, and application developers with completely new challenges and, as a …

We propose rewriting logic as a unifying framework for a wide range of Petri nets models.
We treat in detail place/transition nets and important extensions of the basic model by …

Based on Y. Shoham's paradigm, called Agent-Oriented Programming (AOP), multi-agent-
systems are presented as a specialization of distributed, Object-Oriented systems. Equipped …

In order to guarantee the correctness of business processes, not only control-flow errors but
also data-flow errors should be considered. The control-flow errors mainly focus on …

In this paper, we study selected aspects of determinism in the control part of a cyber-physical
system (CPS) that is specified by a Petri net-based model. In particular, the control …