Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24--28, 1996. Proceedings (Q1815394)

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1492.68015]. Indexed articles: \textit{Agha, Gul A.}, Modeling concurrent systems: actors, nets, and the problem of abstraction and composition, 1-10 [Zbl 1418.68130] \textit{Murata, Tadao}, Temporal uncertainty and fuzzy-timing high-level Petri nets, 11-28 [Zbl 1418.68152] \textit{Valmari, Antti}, Compositionality in state space verification methods, 29-56 [Zbl 1418.68155] \textit{Barkaoui, Kamel; Pradat-Peyre, Jean-François}, On liveness and controlled siphons in Petri nets, 57-72 [Zbl 1418.68131] \textit{Benalycherif, Mohamed-Lyes; Girault, Claude}, Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets, 73-92 [Zbl 1418.68132] \textit{Biliński, Krzysztof; Dagless, Erik L.}, High level synthesis of synchronous parallel controllers, 93-112 [Zbl 1418.68133] \textit{Busi, Nadia; Pinna, G. Michele}, Non sequential semantics for contextual P/T nets, 113-132 [Zbl 1418.68136] \textit{Donatelli, Susanna; Franceschinis, Giuliana}, The PSR methodology: integrating hardware and software models, 133-152 [Zbl 1418.68007] \textit{German, Reinhard; van Moorsel, Aad P. A.; Qureshi, Muhammad A.; Sanders, William H.}, Expected impulse rewards in Markov regenerative stochastic Petri nets, 172-191 [Zbl 1418.68140] \textit{Haddad, Serge; Moreaux, Patrice}, Asynchronous composition of high level Petri nets: a quantitative approach, 192-211 [Zbl 1418.68141] \textit{He, Xudong}, A formal definition of hierarchical predicate transition nets, 212-229 [Zbl 1418.68144] \textit{Hiraishi, Kunihiko}, Reduced state space representation for unbounded vector state spaces, 230-248 [Zbl 1418.68145] \textit{Bæk Jørgensen, Jens; Høyer Mortensen, Kjeld}, Modelling and analysis of distributed program execution in BETA using coloured Petri nets, 249-268 [Zbl 1418.68041] \textit{Kemper, Peter}, Reachability analysis based on structured representations, 269-288 [Zbl 1418.68146] \textit{Kindler, Ekkart; Walter, Rolf}, Arc-typed Petri nets, 289-306 [Zbl 1418.68147] \textit{Knaup, Werner}, A new iterative numerical solution algorithm for a class of stochastic Petri nets, 327-345 [Zbl 1418.68148] \textit{Kondratyev, Alex; Kishinevsky, Michael; Taubin, Alexander; Ten, Sergei}, A structural approach for the analysis of Petri nets by reduced unfoldings, 346-365 [Zbl 1418.68149] \textit{Kovalyov, Andrei}, An \(O(|S|\times|T|)\)-algorithm to verify if a net is regular, 366-379 [Zbl 1418.68150] \textit{Lakos, Charles}, The consistent use of names and polymorphism in the definition of object Petri nets, 380-399 [Zbl 1418.68151] \textit{Recalde, Laura; Teruel, Enrique; Silva, Manuel}, \(\{\mathrm{SC}\}^\ast\mathrm{ECS}\): a class of modular and hierarchical cooperating systems, 440-459 [Zbl 1418.68153] \textit{Sunesen, Kim; Nielsen, Mogens}, Behavioural equivalence for infinite systems -- partially decidable!, 460-479 [Zbl 1418.68154] \textit{van Oosten, Jaap}, Topological aspects of traces, 480-496 [Zbl 1418.68156] \textit{Varshavsky, V. I.; Marakhovsky, V. B.}, Asynchronous control device design by net model behavior simulation, 497-515 [Zbl 1418.68008] \textit{Vernadat, François; Azéma, Pierre; Michel, François}, Covering step graph, 516-535 [Zbl 1418.68157] \textit{Yuan, Jun; Liu, Lilin; Dong, Zhanqiu}, Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks, 536-548 [Zbl 1418.68010]