Results 241 to 250 of about 21,375,197 (296)

Editorial: Robotics software engineering. [PDF]

Front Robot AI
Ciccozzi F, Malavolta I, Timperley C, Angerer A, Hoffmann A.   +4 more
europepmc   +1 more source

Advances and Challenges in 3D Bioprinting of Cartilage Organoids: From Material Innovation to Functional Regeneration. [PDF]

Int J Nanomedicine
Han Z, Huang J, Qiu X.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

High-level algebraic Petri nets

Information and Software Technology, 1995
Abstract In this paper, a formal method for specifying and verifying concurrent and distributed systems is presented. The formal method has adapted and extended the recent research results in integrating Petri nets with algebraic specifications by incorporating guarded functions explicitly into the net definition, and offers a new technique for ...
Chieh-ying Kan, Xudong He
openaire   +2 more sources

High-level hybrid Petri nets: a definition

Proceedings of 35th IEEE Conference on Decision and Control, 2002
The paper presents a model which provides a simple graphical representation of hybrid systems and takes advantage of the modular structure of Petri nets in giving a compact description of systems composed of interacting subsystems, both time-continuous and discrete-event.
GIUA, ALESSANDRO, USAI, ELIO
openaire   +2 more sources

Modelling Mobility in High-level Petri Nets

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007
We propose a structural translation of terms from a variant of the KLAIM process algebra which includes arbitrary tuples of data values as well as conditionals into behaviourally equivalent high-level Petri nets. This defines a semantics for mobility allowing one to deal directly with concurrency and causality.
Raymond Devillers, Hanna Klaudel, Maciej Koutny   +2 more
openaire   +1 more source

From high-level Petri nets to SystemC

SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483), 2004
The paper introduces an approach for realizing high-level Petri net-models in SystemC. The presented approach contributes to an existing methodology for the Petri net-based design of distributed embedded real-time systems. It is intended to be a vehicle for realizing Petri net-components in hardware.
Carsten Rust, Achim Rettberg, Kai Gossens   +2 more
openaire   +2 more sources

Conflict handling in high level Petri Nets

Microprocessing and Microprogramming, 1993
Abstract The main new result of the research work reported in the paper is a methodology for detecting and signalizing conflicts in high level Petri Nets applied in simulating complex systems.
A. Jávor, Á. Vigh
openaire   +2 more sources

General refinement for high level petri nets

1997
The algebra of M-nets, a high level class of labelled Petri nets, was introduced in the Petri Box Calculus in order to cope with the size problem of the low level nets, especially if applied as semantical domain for parallel programming languages.
Raymond Devillers, Hanna Klaudel, Robert-C. Riemann   +2 more
openaire   +2 more sources

Generalised Composition Operations for High-level Petri Nets

Fundamenta Informaticae, 1999
We propose generic schemes for basic composition operations (sequential composition, choice, iteration, and refinement) for high-level Petri nets. They tolerate liberal combinations of place types (equal, disjoint, intersecting) and, owing to a parameterised scheme of type construction, allow for weak and strong versions of compositions.
Eike Best, Alexander Lavrov
openaire   +2 more sources