scientific article; zbMATH DE number 4094830

MaRDI QIDQ3821597zbMATH OpenFDO

Authors Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri

Publication date 1988

zbMATH Keywords

abstract data typesalgebraic specificationhigh-level Petri netsformal specification languagehigh-level netsOBJ2concurrent system modellingcontrol structure modellingsuperposed automata

Mathematics Subject Classification ID

Data structures (68P05) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Petri nets and algebraic specifications
• Integrated Formal Methods
• scientific article; zbMATH DE number 1686278
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 4030998

Cited in

(10)

• Petri nets over ontological graphs: conception and application for modelling tasks of robots
• On the abstraction of coloured Petri Nets
• Petri net modules in the transformation-based component framework
• Petri nets and algebraic specifications
• Software modeling and analysis using a hierarchical object-oriented Petri net
• From coloured Petri nets to object Petri nets
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• The consistent use of names and polymorphism in the definition of object Petri nets
• scientific article; zbMATH DE number 1686278 (Why is no real title available?)
• Petri nets for the design and operation of manufacturing systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3821597)