Petri net semantics for B(PN)2 with procedures

International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings

Volumn , Issue , 1997, Pages 15-27

  Fleischhack, Hans ^a   Grahlmann, Bernd ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER OPERATING PROCEDURES; PARALLEL ALGORITHMS; PARALLEL PROCESSING SYSTEMS; STATE SPACE METHODS;

BASIC PETRI NET PROGRAMMING NOTATION; COMPOSITIONAL DENOTATIONAL PETRI NET SEMANTICS; PROGRAMMING ENVIRONMENT BASED ON PETRI NETS (PEP);

PETRI NETS;

EID: 0030644573     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)