Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

ICALP
2000
Springer

favoriteEmaildiscussreport

115views Programming Languages» more ICALP 2000»

Algebraic Models for Contextual Nets

13 years 8 months ago

Algebraic Models for Contextual Nets

Download eprints.ecs.soton.ac.uk

Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net behaviors.

Roberto Bruni, Vladimiro Sassone

Real-time Traffic

Contextual Nets | ICALP 2000 | Individual Token Philosophy | Place/transition Petri Nets | Programming Languages |

claim paper

Related Content

» Algebraic Theories for Contextual Prenets

» Two Algebraic Process Semantics for Contextual Nets

» McMillans Complete Prefix for Contextual Nets

» On Nets Algebras and Modularity

» Simulating Algebraic HighLevel Nets by Parallel Attributed Graph Transformation

» Modelling of Process of Electronic Signature with Petri Nets and Max Plus Algebra

» Modeling and control of elementary 2DTraffic systems using Petri nets and minplus algebra

» On the Model of Computation of PlaceTransition Petri Nets

» A relevanceextended multidimensional model for a data warehouse contextualized with docume...

Post Info
More Details (n/a)

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	ICALP
Authors	Roberto Bruni, Vladimiro Sassone

Comments (0)