A unified high-level Petri net formalism for time-critical systems

IEEE Transactions on Software Engineering

Volumn 17, Issue 2, 1991, Pages 160-172

  Ghezzi, Carlo ^a   Mandrioli, Dino ^a   Morasca, Sandro ^a   Pezze, Maura ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - ALGORITHMIC LANGUAGES; MATHEMATICAL TECHNIQUES - PETRI NETS;

CONCURRENT SYSTEMS; FORMAL SPECIFICATIONS; TIME PETRI NETS; TIME-CRITICAL SYSTEMS;

COMPUTER SYSTEMS, DIGITAL;

EID: 0026103655     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.67597     Document Type: Article

References (36)