Search Sciweavers | Sciweavers

57 search results - page 3 / 12

» Petri Algebras

click to vote

AMAST
2008
Springer

102views Software Engineering» more AMAST 2008»

Petri Nets Are Dioids

13 years 7 months ago

Download www.math.unipd.it

In a seminal paper Montanari and Meseguer showed that an algebraic interpretation of Petri nets in terms of commutative monoids can be used to provide an elegant characterisation o...

Paolo Baldan, Fabio Gadducci

claim paper

Read More »

click to vote

FUIN
2002

94views more FUIN 2002»

A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems

13 years 5 months ago

Download hal.archives-ouvertes.fr

This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...

Hanna Klaudel, Franck Pommereau

claim paper

Read More »

click to vote

CDC
2009
IEEE

169views Control Systems» more CDC 2009»

Modeling and control of elementary 2D-Traffic systems using Petri nets and minplus algebra

13 years 10 months ago