scientific article; zbMATH DE number 4094830

zbMATH Open0668.68068MaRDI QIDQ3821597FDOQ3821597

Authors: Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• 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)