The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
The importance of nutritional guidance grows as nutritional problems, such as obesity and type-2 diabetes, are becoming more common. Nutritional guidance is carried out by mapping ...
Petri Heinonen, Marjo Mannelin, Hannu Iskala, Aki ...
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...